Meowajdjdj
Answered

Westonci.ca is the premier destination for reliable answers to your questions, brought to you by a community of experts. Our platform provides a seamless experience for finding precise answers from a network of experienced professionals. Join our Q&A platform to connect with experts dedicated to providing accurate answers to your questions in various fields.

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

Thanks for using our platform. We're always here to provide accurate and up-to-date answers to all your queries. 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.