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.

Answer 1

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