mostrar texto associado
Represente-se por ¬A a proposição composta que é a negação da proposição A, isto é, ¬A é falso quando A é verdadeiro e ¬A é verdadeiro quando A é falso. Desse modo, as proposições "Se ¬A então ¬B" e "Se A então B" têm valores lógicos iguais.