Home
Flashcards
Preview
Logical10
Home
Get App
Take Quiz
Create
Rules of inference:
the rules that permit valid inferences from statements assumed as premises
MT
MP
DS
HS....
Natural Deduction
A method of proving the validity of a deductive argument by using the rules of inference
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
2011-11-21T16:30:52Z
Home
Flashcards
Preview