Dadas duas proposições p e q, a equivalência lógica da implicação  será dada por