Logical10

Card Set Information

Author:
faulkebr
ID:
118310
Filename:
Logical10
Updated:
2011-11-21 11:30:52
Tags:
Methods Deduction
Folders:

Description:
chapter 10
Show Answers:

Home > Flashcards > Print Preview

The flashcards below were created by user faulkebr on FreezingBlue Flashcards. What would you like to do?


  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

What would you like to do?

Home > Flashcards > Print Preview