1. Home
  2. Flashcards
  3. Preview

Logical10

  1. Rules of inference:
    the rules that permit valid inferences from statements assumed as premises

    • MT
    • MP
    • DS
    • HS....
  2. Natural Deduction
    A method of proving the validity of a deductive argument by using the rules of inference
  3. Rule of Replacement:
    The rule that logically equivalent expressions may replace each other.

    • We can infer from A (horseshoe --B any of the following...
    • A horseshoe B
    • --A horseshoe --B
    • --(A horseshoe --B)
    • A horseshoe ----B ; by replacement
Author
faulkebr
ID
118310
Card Set
Logical10
Description
chapter 10
Updated

  1. Home
  2. Flashcards
  3. Preview