Fri 9 Aug, 2013 04:31 pm
I am doing some Logics and I have truth tables done but I am stumped when it comes to proofs?
Use the Proof method to determine whether the following argument form is valid. (2 points)
1. (~p v q) & ~(q & ~r). Given. p
2. r → p . Given p
SHOW: p ↔ r
If you could give me any assistance that would be really helpful.