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