Term
Modus ponens – affirming the antecedent |
|
Definition
If a then b; a, thus b. Example: If it rains, then it snows. It rains, therefore it snows |
|
|
Term
Modus tollens - denying the consequent |
|
Definition
If a then b; not b, thus not a. Ex: If it rains, then it is humid. It is not humid, thus it doesn’t ra |
|
|
Term
|
Definition
If a then b, if b then c; Thus,if a then c. EX: If it rains it is humid. If it is humid then it’s cloudy. Thus, if it rains it is cloudy |
|
|
Term
|
Definition
Either a or b; not a, thus b. Ex: Either I will go to a movie or study. I don’t go to a movie, therefore I will study |
|
|
Term
|
Definition
Combonation of any of the other forms |
|
|
Term
|
Definition
Either a or b, but not both; if a, then not b. Ex: ii. Either I will stay home or I will see a movie, but not both. I stay home, thus I didn’t see a movie |
|
|
Term
|
Definition
If a then b and if c then d; a or c, thus b or d EX: If I study I will test well and if I party I will do badly. Either I will study or I will party. Thus I will either do well or I will do badly on the test. |
|
|
Term
|
Definition
All as are Bs, all Bs are Cs; thus all As are Cs EX: All humans are mammals, and all mammals are animals. Thus, all humans are animals |
|
|
Term
|
Definition
All as are Bs; X is an A thus X is a b. EX: All humans are mortal. Socrates is a human, thus Socrates is mortal |
|
|