SOLUTION: Use truth tables to test the validity of the argument. p → ~q q → ~p ∴ p ∨ q

Algebra ->  Proofs -> SOLUTION: Use truth tables to test the validity of the argument. p → ~q q → ~p ∴ p ∨ q       Log On


   

Question 588757: Use truth tables to test the validity of the argument.
p → ~q
q → ~p
∴ p ∨ q
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
p q ~p ~q p -> ~q q -> ~p p v q
T T F F F F T
T F F T T T T
F T T F T T T
F F T T T T F


Notice how in the columns "p -> ~q" and "q -> ~p" the last row has T and T, but the conclusion is false.

Recall that if you have an argument with all true premises, but a false conclusion, then the argument is invalid.

So the argument is invalid.