Meowajdjdj
Answered

Explore Westonci.ca, the top Q&A platform where your questions are answered by professionals and enthusiasts alike. Discover comprehensive answers to your questions from knowledgeable professionals on our user-friendly platform. Our platform offers a seamless experience for finding reliable answers from a network of knowledgeable professionals.

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

Sagot :

LammettHash

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

¬p ⇒ q   ⇔   ¬q ⇒ p

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

To prove this: recall that

p ⇒ q   ⇔   ¬p ∨ q

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

p ⇒ q   ⇔   ¬p ∨ (p ∧ q)

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

p ⇒ q   ⇔   (¬p ∨ p) ∧ (¬p ∨ q)

but ¬p ∨ p is always true, or a tautology, so we're just left with ¬p ∨ q.

Then

¬p ⇒ q   ⇔   p ∨ q

…   ⇔   q ∨ p

…   ⇔   ¬(¬q) ∨ p

…   ⇔   ¬q ⇒ p

Thank you for choosing our platform. We're dedicated to providing the best answers for all your questions. Visit us again. We hope you found this helpful. Feel free to come back anytime for more accurate answers and updated information. Find reliable answers at Westonci.ca. Visit us again for the latest updates and expert advice.