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;
37 Cards in this Set
- Front
- Back
__________ do not contain any other statement as a component
|
Simple statements
|
|
A ___________ is one that contains at least one simple statement as a component
|
compound statement
|
|
A ______ represents words like: not, not the case that, it is false that.
|
Tilde (squiggly horizontal line)
Negation |
|
A _____ represents words like: “and”, “also”, “but”, “however”, “yet”, “still”, “moreover”, “although”, and “nevertheless” "both", "additionally", "furthermore".
|
Dot (literally)
conjuction |
|
A _____ represents words like: or, unless.
|
Wedge (v)
disjunction |
|
A _____ represents words like: if… then, “in case,” “provided that,” “given that,” "only if", "implies", "sufficient condition for", "necessary condition for" and “on condition that” are usually translated as “if”.
|
Horseshoe (sideways U)
Conditional |
|
A _____ represents: “if and only if”, "is equivalent to" and “is a sufficient and necessary condition for.”
|
Triple Bar (3 horizontal lines)
Biconditional |
|
F (dot) any =
|
F
|
|
T v F =
|
T
|
|
F v T =
|
T
|
|
F v F =
|
F
|
|
T (shoe) F =
|
F
|
|
F (shoe) T =
|
T
|
|
F (shoe) F =
|
T
|
|
T (triple bar) F =
|
F
|
|
F (triple bar) T =
|
F
|
|
F (triple bar) F =
|
T
|
|
In an implication (shoe), what 4 phrases can be translated as "if" and, therefore, have the antecedent following? What is the one exception?
|
"Given that"
"In case that" "provided that" "On condition that" |
|
A compound statement is said to be _______ if it's true regardless of the truth value of its' components.
|
Tautologous
Logically true |
|
A compound satement is said to be ________ if it is false regardless of the truth values of the components.
|
Self-contradictory
Logically false |
|
Logically equivalent = _______
|
The same truth value on each line
|
|
Contradictory = __________
|
opposite truth value on each line
|
|
Contingent = ________
|
at least one true, and at least one false
|
|
Consistent = _______
|
at least one line on both (or all) tables turns out to be true
|
|
inconsistent = _________
|
there is no line on which both (or all) tables turn out to be true
|
|
What are the only 2 argument forms that are considered as invalid?
|
Affirming the consequent
Denying the antecedent |
|
pvq
- p _____ q What kind of argument for is this and is it valid or invalid. |
Disjunctive syllogism
Valid |
|
p (shoe) q
q (shoe) r ________ p (shoe) r What argument form is this and is it valid or invalid? |
Pure hypothetical syllogism
Valid |
|
p (shoe) q
p ________ q What argument form is this and is it valid or invalid? |
Modus Ponens
Valid |
|
p (shoe) q
-q ________ -p What argument form is this and is it valid or invalid? |
Modus Tollens
Valid |
|
p (shoe) q
q _________ p What argument form is this and is it valid or invalid? |
Affirming the consequent
invalid |
|
p (shoe) q
-p ________ -q What argument form is this and is it valid or invalid? |
Denying the antecedent
invalid |
|
(p (shoe) q) . (r (shoe) s)
p v r ____________________ q v s What argument form is this and is it valid or invalid? |
constructive dilemma
valid |
|
(p (shoe) q) . (r (shoe) s)
-q v -s _____________________ -p v -r What argument form is this and is it valid or invalid? |
destructive dilemma
Valid |
|
p is logically equivalent to --p.
This is an example of a _________ |
double negation
|
|
p v q is logically equivalent to q v p.
This is an example of a _______. |
commutativity
|
|
If an argument has a line on which all of its premises are true and the conclusion is false, then it is ______. if it doesn't have such a line, then it is _______.
|
invalid
Valid |