Use LEFT and RIGHT arrow keys to navigate between flashcards;
Use UP and DOWN arrow keys to flip the card;
H to show hint;
A reads text to speech;
17 Cards in this Set
- Front
- Back
Proposition |
A thought expressed by a declarative statement (Can be true or false) |
|
Atomic Proposition |
A proposition that does not contain a logical operator (Does not contain: if, not, or, and) |
|
Argument |
A group of propositions, one of which, the conclusion or contention, is supposed to be supported by the other steps/premises. |
|
Deductive Arguments |
Premises are supposed to guarantee the truth of the conclusion |
|
Inductive Argumnents |
The premises are supposed to make the conclusion probable. |
|
Valid Argument |
An argument is valid if and only if the following statement is true: - If all the premises are (or were) true, then the conclusion would have to be true, too. An argument is valid if and only if the following statement is impossible: - All the premises are true, and yet at the same time the conclusion is false. |
|
Sound Argument |
An argument is sound if and only if: - The argument is valid - All of the premises are true |
|
Good Argument |
An argument that is either valid or strong, with plausible premises that are true, do not beg the question, and are relevant to the conclusion. |
|
Begging the Question |
A fallacy in which the premises include the claim that the conclusion is true or assume that the conclusion is true. (Circular Reasoning) |
|
Modus Ponens |
- A -- B - A - (Therefore) B |
|
Modus Tollens |
- A -- B - ~A - (Therefore) ~B |
|
Disjunctive Syllogism |
- A v B - ~ A - (Therefore) B |
|
Hypothetical Syllogism |
- A -- B - B -- C - (Therefore) A -- C |
|
Reductio ad Absurdum |
To prove A: - Assume ~ A - Carefully reason from ~ A to something known to be false (B) - Point out that B is false - We've gone wrong somewhere and the only reason is to blame the assumption - So ~~ A - So A |
|
Constructive Dilema |
- If S1 then S3 and if S2 then S4 - Either S1 or S2 - (Therefore) Either S3 or S4 |
|
Logical Operators |
Arrow: If/then ^: And V: Or ~: Not |
|
Only If |
- S only if F - S -- F |