Question

Prove that the conditional proposition p->q and its contrapositive ~q ->~p are logically equivalent using the truth table.

Answer 1

Answer to Question #85907 – Math – Discrete Mathematics

Question

Prove that the conditional proposition $p \to q$ and its contrapositive $\sim q \to \sim p$ are logically equivalent using the truth table.

Solution

For a possible set of values P and Q, the truth value of both P implies Q and Negation Q implies Negation P is the same. It means they are logically equivalent.

Answer provided by https://www.AssignmentExpert.com