Considere a tabela-verdade a seguir.

Ao preencher corretamente a terceira coluna da tabela, o resultado ordenadamente obtido, de cima para baixo, é

Renata tem três amigos — um paulista, um carioca e um gaúcho. Sabe-se que:

• ou Pedro é paulista, ou Henrique é paulista;

• ou Pedro é carioca, ou Mário é gaúcho;

• ou Henrique é gaúcho, ou Mário é gaúcho;

• ou Mário é carioca, ou Henrique é carioca.

Nessas condições, Pedro, Mário e Henrique são, respectivamente,

(1) x ≠ 1 ⟶ x . y ≠ y .

(2) x.y =1

Ao utilizar a regra Modus tollens, a conclusão para o par de premissas apresentadas é a seguinte:

Considere que C é o conjunto de cachorros, que F é o conjunto de animais fiéis e o diagrama a seguir.

O diagrama representa a seguinte proposição: