Question

# An implication p → q can be validated by proving that  ∼q → ∼p.True False

Solution

## The correct option is A True This is the method of contrapositive for validating and implication. We know that contrapositive of an implication p→q is given by ∼ q→ ∼ q. In this method we assume that ∼ q is true and we prove that ∼ p is true. This is possible because an implication and its contrapositive are logically equivalent.

Suggest corrections