Item:Q13423: Difference between revisions

← Older edit

@@ 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