Validating Statements ( if and only if ) In order to prove the statement “ p if and only if q ”, we need to show .
o o
If p is true , then q is true and If q is true , then p is true
Validate by contradiction We assume that p is not true i . e . ∼p is true . Then , we arrive at some result which contradicts our assumption . Therefore , we conclude that p is true .