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;
26 Cards in this Set
- Front
- Back
)
|
"if, then"
|
|
v
|
"or"
|
|
.
|
"and"
|
|
=
|
equivalence
|
|
~
|
not
|
|
tautology
|
arguments that come out of T independently of the truth of its parts
|
|
Tautology
|
last column all T
|
|
Self-contradictory argument
|
last column all F
|
|
Paradox
|
2 apparantly sound lines of reasoning lead to incompatible conclusions
-contradict reason itself |
|
Modus Ponens (symbolic logic)
|
p ⊃ q
p ∴ q |
|
Modus Tollens (symbolic logic)
|
p ⊃ q
~q ∴ ~p |
|
Constructive Dilemma
|
(p ⊃ q) • (r ⊃ s)
p ∨ r ∴ q ∨ s |
|
Destructive Dilemma
|
(p ⊃ q) • (r ⊃ s)
~q ∨~s ∴ ~p ∨~r |
|
Simplification
|
p • q
∴ p -if p and q are both true then p is true |
|
Addition
|
p
∴ p ∨ q -if assume p then p or q is true; only one has to be true and at least p is |
|
Hypothetical Sylogism
|
p ⊃ q
q ⊃ r ∴ p ⊃ r q = middle term |
|
Disjunctive Syllogism
|
p ∨ q
~p ∴ q -one has to be true; both can't be false |
|
Conjuction
|
p
q ∴ p • q |
|
Propositions do 2 things...
|
Connect or Separate concepts
"is" or "is not" |
|
Valid
|
Argument set up in right way where a conclusion logically follows
|
|
Sound argument
|
Valid and true conclusion
|
|
Sub contraries
|
both can be T
both can't be F if T; the other is U if F; the other is T |
|
Strong Disjunctive
|
Either, or
-one is T -on is F |
|
Conditional/Hypothetical
|
"if, then"
|
|
Fill in
|
"and"
"or" "either, or" "if, then" |
|
Fill in
|
"Necessary and sufficient"
|