classical logic (Q13423): Difference between revisions

@@ Property / has quality @@
+law of noncontradiction
@@ Property / has quality: law of noncontradiction / rank @@
+Normal rank
@@ Property / has quality @@
+principle of explosion
@@ Property / has quality: principle of explosion / rank @@
+Normal rank
@@ Property / has quality @@
+monotonicity of entailment
@@ Property / has quality: monotonicity of entailment / rank @@
+Normal rank
@@ Property / has quality @@
+Idempotency of entailment
@@ Property / has quality: Idempotency of entailment / rank @@
+Normal rank
@@ Property / has quality @@
+commutativity of conjunction
@@ Property / has quality: commutativity of conjunction / rank @@
+Normal rank

Latest revision as of 18:03, 21 July 2023