Template:Formal logic

From Iron Chariots Wiki

(Difference between revisions)

Jump to: navigation, search

Latest revision as of 15:22, 15 January 2011

v · d

Formal logic

Three classic laws	Law of identity · Law of noncontradiction · Law of the excluded middle
Logical constructions	Antecedent · Consequent · Premise · Conclusion · Dichotomy
Logical operators	Negation (not) · Conjunction (and) · Disjunction (or) · Material implication (if then) · Biconditional (if and only if)

@@ Line 5: / Line 5: @@
 |group1=[[Three classic laws]]
-|list1=''[[Law of identity]]'' · ''[[Law of noncontradiction]]'' · ''[[law of excluded middle]]''
+|list1=''[[Law of identity]]'' · ''[[Law of noncontradiction]]'' · ''[[Law of the excluded middle]]''
 |group2=Logical constructions