Se os valores lógicos de duas proposições forem iguais, então o conectivo entre as duas proposições cujo valor lógico é sempre falso é denominado:

Gabarito

Errado

Comentário do professor

A disjunção exclusiva (também chamada de XOR) é o conectivo lógico que vale verdadeiro exatamente quando as duas proposições têm valores lógicos diferentes. Em outras palavras, \(p \oplus q\) é verdadeira se uma, e somente uma, das proposições for verdadeira.

Pode ser expressa por \(p \oplus q \equiv (p \land \neg q) \lor (\neg p \land q)\). Assim, quando as duas partes têm o mesmo valor lógico — ambas verdadeiras ou ambas falsas — cada parcela \( (p \land \neg q)\) e \((\neg p \land q)\) fica falsa, tornando a disjunção completa sempre falsa.

Portanto, se os valores lógicos de duas proposições são iguais, o conectivo cujo valor é sempre falso nessa situação é a disjunção exclusiva.