Template:Formal logic

(Difference between revisions)
Jump to: navigation, search
 
(better redlink)
Line 5: Line 5:
  
 
|group1=[[Three classic laws]]
 
|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
 
|group2=Logical constructions

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)
Personal tools
Namespaces
Variants
Actions
wiki navigation
IronChariots.Org
Toolbox