The flashcards below were created by user
on FreezingBlue Flashcards.
Rules of inference:
the rules that permit valid inferences from statements assumed as premises
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