If the canteen is full, then we can go for a walk.
We can go for a walk and we will not get thirsty.
∴ If we go for a walk, then the canteen is not full.

Question

If the canteen is full, then we can go for a walk. 
We can go for a walk and we will not get thirsty. 
∴ If we go for a walk, then the canteen is not full.

anonymous · Answer

here is what I got for it can someone help me 




P= if the canteen is full.
Q= we can go for a walk.

symbolic form is p->q [(p->q) conditional ~q]->
~q
?~p

valid

truth table 

P l ql [(p->q) conditional ~q]->~p
t t t t t f f t f
t f t f f t t t f
f t f t t f f t t 
f f f t f t t t t