Q1155 (Q1155): Difference between revisions

@@ Property / math stackexcange post id @@
@@ Property / math stackexcange post id: 412387 / rank @@
+Normal rank
@@ Property / relevant answers @@
@@ Property / relevant answers: 412396 / rank @@
+Normal rank
@@ Property / relevant answers: 412396 / qualifier @@
+Defining formula:  $(\phi \to \psi )\equiv (\lnot \phi \lor \psi )$ 
(\phi \to \psi) \equiv (\lnot\phi \lor \psi)

Latest revision as of 13:00, 20 May 2020