Questão 08 - (INSTITUTO AOCP/2018) Dada a disjunção exclusiva “Ou Carlos é advogado ou Luíza é professora”, a sua negação será dada por R: “Carlos ...

Questão 08 - (INSTITUTO AOCP/2018) Dada a disjunção exclusiva “Ou Carlos é
advogado ou Luíza é professora”, a sua negação será dada por
R: “Carlos é advogado se, e somente se, Luíza é professora”.
Comentário: a sentença do enunciado se trata de uma disjunção exclusiva, no
formato ???? ⊻ , cujas componentes são:????
: Carlos é advogado.????
: Luíza é professora.????
A negação da sentença do enunciado é diretamente dada por:
~(???? ⊻ ): Não é verdade que ou Carlos é advogado ou Luíza é professora.????
De acordo com as equivalências notáveis bicondicionais, sabemos que é válida a relação
a seguir:
~( )???? ↔ ???? ⇔ ???? ????⊻
Desse modo, podemos reescrever a proposição composta negada no formato
bicondicional, conforme exposto em sequência:
: Carlos é advogado se, e somente se, Luíza é professora.???? ↔ ????