Siteadmin, Check users, nsTeam1RO, nsTeam1RW, nsTeam1_talkRO, nsTeam1_talkRW, oversight, Administrators
30,650
edits
Changes
Jump to navigation
Jump to search
Line 16:
Line 16: + + + + + + + + + +
Two of the several rules of inference
The key element here is the inference from ''All men are mortal'' to ''whoever is not mortal is not a man'' (see [[Syllogism]]s)
The key element here is the inference from ''All men are mortal'' to ''whoever is not mortal is not a man'' (see [[Syllogism]]s)
==Rules of inference==
#If A, then B.
#A
#Therefore, B.
#If A, then B.
#Not B
#Therefore, not A.