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;
20 Cards in this Set
- Front
- Back
symbol for negation |
tilde |
|
symbol for conjunction |
dot |
|
symbol for disjunction |
wedge |
|
symbol for conditional |
horseshoe |
|
symbol for biconditional |
triple bar |
|
a conjunction will only be ___ when... |
true, when each conjunct is true |
|
a disjunction will only be ___ when... |
false, when each disjunct is false |
|
a conditional will be ___ when... |
false, when the antecedent is true and the consequent is false |
|
a biconditional is ___ when... |
true, both p and q have the same truth values |
|
contingent statements are what? |
neither necessarily true not necessarily false |
|
noncontingent statements are? |
either always true (tautology) or always false (self-contradictory) |
|
logical equivalence |
when 2 truth-functional statements have identical truth tables under the main operator |
|
modus ponens form |
|
|
modus tollens form |
|
|
hypothetical syllogism form |
|
|
disjunctive syllogism form |
|
|
constructive dilemma form |
|
|
simplification form |
|
|
conjunction form |
|
|
addition form |
|