SOLUTION: Use truth tables to determine if the following arguments are valid. a) p-> (q V r) p ^ ~r ___________ ____ therefore it is ~q b)p V ~q p -> q ___________ ____ the

Algebra.Com
Question 790154: Use truth tables to determine if the following arguments are valid.
a) p-> (q V r)
p ^ ~r
________________
therefore it is ~q
b)p V ~q
p -> q
________________
therefore p <-> q

Answer by solver91311(24713)   (Show Source): You can put this solution on YOUR website!

p | q | r | ~q | ~r | q v r | p => (q v r) | p ^ ~r

T   T   T   F    F      T        T             F
T   T   F   F    T      T        T             T
T   F   T   T    F      T        T             F
T   F   F   T    T      F        F             T
F   T   T   F    F      T        T             F
F   T   F   F    T      T        T             F
F   F   T   T    F      T        T             F
F   F   F   T    T      F        T             F

Where p => (q v r) and p ^ ~r are both true, ~q is false.  Invalid argument.

John

Egw to Beta kai to Sigma
My calculator said it, I believe it, that settles it
The Out Campaign: Scarlet Letter of Atheism


RELATED QUESTIONS

If p is false and q is true, determine the truth value of the following: a) ~(p ^... (answered by Edwin McCravy,Aldorozos)
I'm stuck on the following question: Use truth tables to establish whether the following... (answered by solver91311)
Determine the truth value of the following statement if (a) p is true, q is false, and r (answered by solver91311)
Determine the truth value of the following statement if (a) p is true, q is false, and r (answered by solver91311)
P is True, q and r are False- find the truth value. a) (p ^ ~q) ^ r b)... (answered by Edwin McCravy)
Is this a valid argument, what is the solution. (p→q)→r ~p V q ________ (answered by Edwin McCravy)
If(~P->Q)->(PvR)is false, what are the truth values of P,Q and... (answered by jim_thompson5910)
Let p, q, and r represent the following statements. p: Jamie is on the train q:... (answered by Theo)
Verify the following if and only if statements using truth tables: 1) ~ (P ^ Q) <=> (~P) (answered by ptfile)