Considere as proposiçôes a seguir:

*p: Alfa é o primeiro;
*q: Beta é o segundo;
*r: Gama é o terceiro.

A melhor tradução para a linguagem corrente da proposição qv~r ↔ ~(p^~q) é

a

Beta é o segundo e Gama não é o terceiro se, e somente se, Alfa não é o primeiro e Beta não é o segundo.

b

Beta é o segundo ou Gama não é o terceiro se, e somente se, Alfa não é o primeiro e Beta não é o segundo.

c

Beta é o segundo e Gama não é o terceiro se, e somente se, Alfa não é o primeiro ou Beta não é o segundo.

d

Beta não é o segundo e Gama não é o terceiro se, e somente se, Alfa não é o primeiro ou Beta é o segundo.

e

Beta é o segundo ou Gama não é o terceiro se, e somente se, Alfa não é o primeiro ou Beta é o segundo.

Próxima Questão