Um sorteio foi realizado entre cinco amigos: Alisson, Bruno, Carlos, Diego e Eric e apenas um foi contemplado. Deseja-se saber quem foi o vencedor; cada um deles afirmou:

• Alisson: “Não venci o sorteio”;

• Bruno: “Carlos é o vencedor”;

• Carlos: “Eric é o vencedor”;

• Diego: “Alisson disse a verdade”; e,

• Eric: “Bruno mentiu”.

Considerando que apenas um dos amigos mentiu e que todos os outros disseram a verdade, pode-se concluir que o vencedor do sorteio é:

Em raciocínio lógico, dadas duas proposições p e q, forma-se uma proposição composta de p com q, acrescentando o conectivo “e” (“^”) entre as duas, representada por “p e q” (“p ^ q”), denominada conjunção das proposições p e q. Considere as proposições p e q:

p: “Três é maior que um.”;

q: “Dois é diferente de 3.”.]

Nesse caso, utilizando uma simbologia matemática e o enunciado exposto, a conjunção “p ^ q” pode ser descrita como