SOLUTION: determine which of the following statements is a tautology p ^ (p->q) or (p->q) <-> [(~p) v q]

Algebra ->  Geometry-proofs -> SOLUTION: determine which of the following statements is a tautology p ^ (p->q) or (p->q) <-> [(~p) v q]      Log On


   

Question 723703: determine which of the following statements is a tautology
p ^ (p->q)
or
(p->q) <-> [(~p) v q]
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!




is NOT a tautology. You cannot replace in a logical proof with because of the case where both and are false and is true.

But since the contrapositive of a conditional statement always has the same truth value as the original statement, can replace . It can also replace for that matter since all three statements are logically equivalent.

John

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