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.

Printable View

- Oct 17th 2008, 01:14 PMcaptainjapanProofs
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. - Oct 17th 2008, 02:32 PMPlato

You fill in the reasons. - Oct 17th 2008, 02:56 PMSoroban
Hello, captainjapan!

. Alternate definition of implication (ADI)

Quote:

Prove by direct proof, using only equivalence and inference rules.

Remember to name each rule used.

. .

- Oct 17th 2008, 03:18 PMPlato