Meowajdjdj
Answered

Welcome to Westonci.ca, where curiosity meets expertise. Ask any question and receive fast, accurate answers from our knowledgeable community. Join our platform to connect with experts ready to provide precise answers to your questions in various areas. Explore comprehensive solutions to your questions from knowledgeable professionals across various fields on our platform.

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

We hope this information was helpful. Feel free to return anytime for more answers to your questions and concerns. We hope you found what you were looking for. Feel free to revisit us for more answers and updated information. Discover more at Westonci.ca. Return for the latest expert answers and updates on various topics.