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 |