Considere que a proposição “Gilda não está grávida” é verdadeira e que a proposição “Marcondes sabe lógica” é falsa. Dessa forma, as proposições “Se Gilda está grávida, então Marcondes não sabe lógica” e “Marcondes sabe lógica ou Gilda está grávida” possuem, respectivamente, os seguintes valores lógicos: