SOLUTION: determine which of the following statements is a tautology
p ^ (p->q)
or
(p->q) <-> [(~p) v q]
Algebra.Com
Question 723703: determine which of the following statements is a tautology
p ^ (p->q)
or
(p->q) <-> [(~p) v q]
Answer by solver91311(24713) (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
RELATED QUESTIONS
Is (p v q) → (~q → p) a... (answered by jim_thompson5910)
Determine whether the statement is a tautology, a self-contradiction, or neither.( p ? q... (answered by jim_thompson5910)
Determine whether the statement is a tautology, self-contradiction or neither
(p ^ ~q) (answered by jim_thompson5910)
construct the truth table for each of the following statements.... (answered by MathLover1)
If p is false and q is true, determine the truth value of the following:
a) ~(p ^... (answered by Edwin McCravy,Aldorozos)
Can you prove/show that the following is a tautology, without using a truth table: [(p v... (answered by MathLover1)
Use truth tables to determine if the following arguments are valid.
a) p-> (q V r)
p (answered by solver91311)
Determine which of the following three statements are equivalent.
(a) not r or (answered by Edwin McCravy)
Determine whether the statement is a self-contradiction, an implication, a tautology... (answered by Edwin McCravy)
