classical logic (Q13423): Difference between revisions

@@ Property / subclass of @@
+logical system
@@ Property / subclass of: logical system / rank @@
+Normal rank
@@ Property / part of @@
+logic
@@ Property / part of: logic / rank @@
+Normal rank
@@ Property / has quality @@
+principle of excluded middle
@@ Property / has quality: principle of excluded middle / rank @@
+Normal rank
@@ Property / has quality @@
+double negative elimination
@@ Property / has quality: double negative elimination / rank @@
+Normal rank
@@ 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