Siteadmin, Check users, nsTeam1RO, nsTeam1RW, nsTeam1_talkRO, nsTeam1_talkRW, oversight, Administrators
30,650
edits
Changes
Jump to navigation
Jump to search
Line 23:
Line 23: − +
→Rules of inference: 2nd rule had it exactly backwards
#Therefore, B.
#Therefore, B.
#If not A, then not B.
#If not B, then not A.
#Not B
#Not B
#Therefore, not A.
#Therefore, not A.
[[category:logic]]
[[category:logic]]