SOLUTION: Translate into symbolic form and test by truth table the validity of the argument. State if “valid” or “not valid” with appropriate explanations. If I do n

Algebra ->  Conjunction -> SOLUTION: Translate into symbolic form and test by truth table the validity of the argument. State if “valid” or “not valid” with appropriate explanations. If I do n      Log On


   

Question 1141017: Translate into symbolic form and test by truth table the validity of the argument. State if “valid” or “not valid” with appropriate explanations.
If I do not go to gym, then I will not arrive tired.
I go to gym.
_______________________________________
Therefore, I will arrive tired.
Answer by MathLover1(20855) About Me  (Show Source):
You can put this solution on YOUR website!
If I do not go to gym, then I will not arrive tired.
I go to gym.
----------------------------------------------------------------------
Therefore, I will arrive tired.

Not Valid, because all ending results are not True
P|Q|~p|~q|(~p->~q)|(~p->~q)/\p|[(~p->~q)/\p]->q|
T|T|F|F|...............T......................T.........................T..........
F|F|T|T|...............T......................F.........................T..........
F|T|T|F|................F.....................F........................T.............
F|F|F|T|...............T......................T.........................F.........
Not Valid
P=>q can be true with p being false