Saturday, November 26, 2005

More on Logic



Here are a few other argument forms:

Modus Tollens
P-->Q (Read as "If P, then Q)
~Q (Not Q)
Therefore, ~P

Disjunctive Syllogism
Either P or Q
~P
Therefore, Q

Hypothetical Syllogism
P-->Q
Q-->R
Therefore, P-->R

2 Comments:

Blogger wiploc said...

Modus Tollens

You wanted that to be "Therefore, ~P" didn't you?

crc

10:21 PM  
Blogger chris said...

Oh, man!! Thanks for catching that, Charlie. How embarassing.

3:35 PM  

Post a Comment

<< Home