Card Set Information
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