click below
click below
Normal Size Small Size show me how
phil 7
phil
Term | Definition |
---|---|
The following is an accurate truth table for a conjunction p q p & q ___________________________ T T T T F F F T F F F F | true |
The name of the following argument form is p → q q → r therefore, p → r | Hypothetical Syllogism |
If just one statement in a conjunction is false, the whole conjunction is still true. | false |
This rule of replacement—[(p & q) → r)] ≡ [p → (q → r)]—is called | contraposition |
The four logical connectives are... | Conditionals, disjunctions, negations, and conjunctions |
The name of the following rule of replacement is (p & q) ≡ (q & p) (p v q) ≡ (q v p) | commutation |
The following is the truth table for x y z x → y y→z x → z _________________________________________________________________ T T T T T T T T F T F F T F T F T T T F F F T F F T T T T T F T F T F T F F T T T T F F F T T T | conditional |
Here is an accurate truth table for the following argument: a & b ~a ∴ b a b a & b ~a b _____________________________________________________ | true |
The following is an accurate truth table for a conditional: p q p → q ___________________________ T T T T F F F T T F F T | true |
“He supported the revolution, and he was arrested without being charged” is a conjunction. | true |
The symbolic form of “Aiming that loaded gun at someone is not a good idea” is | ~P |
Here is an accurate truth table for the following argument: p → q ∴ p → (p & q) p q p & q p → q p → (p & q) ______________________________________________________ T T T T T T F F F F F T F T T F F F T T | true |
Propositional logic is the branch of deductive reasoning that deals with the logical relationships among | statements |
“If the Yankees win, they will be in the World Series” is a | Conditional |
The truth table for a two-variable argument has eight rows. | false |
The following truth table is for which symbolized argument: a b a & b a _______________________________________ T T T T T F F T F T F F F F F F | a&b ∴ a |
The symbolic form of modus tollens is p v q ~p ∴ q | false |
In a disjunction, even if one of the statements is false, the whole disjunction is still | true |
The steps in a proof are expressed as | truth tables |
A double negation is the same thing as no negation. | true |
In a conditional statement, the first part is the antecedent and the second part is the | consequent |
The following is the truth table for p q p → q ~p ~q ____________________________________________________ T T T F F T F F F T F T T T F F F T T T | Modus Tollens |
Logical equivalence is indicated by the symbol /. | true |
“Either I walk home, or I drive Ralph’s car” is a conditional. | false |
In a truth table for a two-variable argument, the first guide column has the following truth values: | TTFF |