Prove by direct proof, using only equivalence and inference rules. Remember to name each rule used. 1. (p ^ q) → r 2. p ^ ¬ r Therefore ¬q.
Follow Math Help Forum on Facebook and Google+
You fill in the reasons.
Hello, captainjapan! . Alternate definition of implication (ADI) Prove by direct proof, using only equivalence and inference rules. Remember to name each rule used. . .
Originally Posted by Soroban . Alternate definition of implication (ADI) In almost all standard logic textbooks the property is known as Material Implication (Impl.).
View Tag Cloud