SOLUTION: symbolize the following argument and then use a truth table to determine whether the argument is valid or invalid. 1. Valerie will go out if and only if she does not have homewor

Algebra ->  Proofs -> SOLUTION: symbolize the following argument and then use a truth table to determine whether the argument is valid or invalid. 1. Valerie will go out if and only if she does not have homewor      Log On


   



Question 147503: symbolize the following argument and then use a truth table to determine whether the argument is valid or invalid.
1. Valerie will go out if and only if she does not have homework.
Valerie did not go out
Therefore, Valerie had homework.
p= (for me) Valerie will go out q= She does not have homework.
premise 1 p<--q premise 2 = p^~q conclusion = p <--> ^~q

Is that correct?

Answer by stanbon(75887) About Me  (Show Source):
You can put this solution on YOUR website!
symbolize the following argument and then use a truth table to determine whether the argument is valid or invalid.
1. Valerie will go out if and only if she does not have homework.
Valerie did not go out
Therefore, Valerie had homework.
p= (for me) Valerie will go out q= She does not have homework.
premise 1 p<-->q premise 2 = p' conclusion q'
-------------------------
[(p<-->q) and p']---> q'
..T..T.T...F..F....T..F
..T..F.T...F..F....T..F
..F..F.F...F..T....T..T
..F..T.F...T..T....T..T
=============================
It is a valid argument; it is True under all conditions for p and q
=============================
Cheers,
Stan H.
============================