Dadas três proposições lógicas p, q e r, tem-se que r → [(~p) ˄ (~q)] se, e somente se,