Alguns Greens são Bartons Alguns Bartons são Lasters e Arns Nem todo Laster é Arn, mas todo Arn é Laster Nenhum Green é Laster
Então, é necessariamente incorreto:







Fábio, Gildo, Heitor e Igor são quatro amigos que possuem salários distintos. Sabe-se que:
Assim, é necessariamente verdade que
Considere os conteúdos das variáveis x, y e z a seguir:
x = 2
y = 1
z = -1
Julgue os resultados das seguintes expressões lógicas