p | q | p -> q | q | p |
T | T | T | T | T |
T | F | F | F | T |
F | T | T | T | F |
F | F | T | F | F |
The only thing promised in this condition statement is that if it is raining then we will close the window
:
just because we close the window doesnt necessarily mean it is raining. It might or might not be raining
:
basically if p is the statement it is raining and q is we will close the window
:
We are given... if p then q or p->q. We are asked does q -> p
truth table
:
p q (p->q) -> (q->p)
______________________
T T T T T
T F F T T
F T T F F
F F T T T
:
therefore the statement is invalid