Logic
1. Construct a truth table for the statement.
q ∨ (p → ∼r)
2. (a) translate the argument into symbolic form and (b) determine if the argument is valid or invalid.
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.
Logic