Conservapedia

Changes

Formal logic (view source)

Revision as of 01:23, December 11, 2008

170 bytes added ,  01:23, December 11, 2008
→‎Rules of inference: add a couple, label rules
Line 18: Line 18:     
==Rules of inference==
 
==Rules of inference==
−
 
+
Modus Ponens:
 
#If A, then B.
 
#If A, then B.
 
#A
 
#A
 
#Therefore, B.
 
#Therefore, B.
   −
#If not B, then not A.
+
Modus Tollens:
 +
#If A, then B.
 
#Not B
 
#Not B
 
#Therefore, not A.
 
#Therefore, not A.
    +
Disjunctive Syllogism:
 +
#A or B
 +
#Not A
 +
#Therefore, B
 +
 +
Hypothetical Syllogism (or Chain Argument):
 +
#If A, then B
 +
#If B, then C
 +
#Therefore, if A, then C
 
[[category:logic]]
 
[[category:logic]]
StevenK
9

edits

Retrieved from "https://www.conservapedia.com/Special:MobileDiff/583388"