Get the answers you need at Westonci.ca, where our expert community is dedicated to providing you with accurate information. Our platform provides a seamless experience for finding reliable answers from a knowledgeable network of professionals. Experience the convenience of finding accurate answers to your questions from knowledgeable experts on our platform.

Given the conditional statement ~p -> q which statement is logically equivalent?​

Sagot :

Any implication is logically equivalent to its contrapositive. In other words,

¬pq   ⇔   ¬qp

(¬ means the same thing as ~, "not")

To prove this: recall that

pq   ⇔   ¬pq

This is because pq is true if p is false, or both p and q are true, i.e.

pq   ⇔   ¬p ∨ (pq)

Disjunction (∨ or "or") distributes over conjunction (∧ or "and"), so that

pq   ⇔   (¬pp) ∧ (¬pq)

but ¬pp is always true, or a tautology, so we're just left with ¬pq.

Then

¬pq   ⇔   pq

…   ⇔   qp

…   ⇔   ¬(¬q) ∨ p

…   ⇔   ¬qp

Thanks for stopping by. We are committed to providing the best answers for all your questions. See you again soon. We hope this was helpful. Please come back whenever you need more information or answers to your queries. We're glad you chose Westonci.ca. Revisit us for updated answers from our knowledgeable team.