Formula q_294 (Q203): Difference between revisions

Latest revision as of 13:00, 20 April 2020

No description defined

Language	Label	Description	Also known as
English	Formula q_294	No description defined

q_294

0 references

\lnot P\to A_{1}\to \ ...\ \to A_{n}\to P

0 references

@@ Property / arqmath formula id @@
+q_294
@@ Property / arqmath formula id: q_294 / rank @@
+Normal rank
@@ Property / Defining formula @@
+ $\lnot P\to A_{1}\to \ ...\ \to A_{n}\to P$ 
\lnot P  \to A_1 \to\ ... \ \to A_n \to P
@@ Property / Defining formula: $\lnot P\to A_{1}\to \ ...\ \to A_{n}\to P$ / rank @@
+Normal rank