Todos os alunos de matemática são, também, alunos de inglês, mas nenhum aluno de inglês é aluno de história. Todos os alunos de português são também alunos de informática, e alguns alunos de informática são também alunos de história. Como nenhum aluno de informática é aluno de inglês, e como nenhum aluno de português é aluno de história, então:

Em um grupo de amigas, todas as meninas loiras são, também, altas e magras, mas nenhuma menina alta e magra tem olhos azuis. Todas as meninas alegres possuem cabelos crespos, e algumas meninas de cabelos crespos têm também olhos azuis. Como nenhuma menina de cabelos crespos é alta e magra, e como neste grupo de amigas não existe nenhuma menina que tenha cabelos crespos, olhos azuis e seja alegre, então:

Seja a∈R. Sabe-se que o sistema de equações lineares abaixo

possui uma única solução. Pode-se afirmar que:

O sistema linear  é indeterminado para

A proposição composta que substitui corretamente o ponto de interrogação é

Considere as afirmações abaixo.

É verdade o que se afirma APENAS em

Numa proposição composta s, aparecem as proposições simples p, q e r.

Sua Tabela-Verdade é

Usando a conjunção (∧), a disjunção (∨) e a negação (∼), pode-se construir sentenças equivalentes a s. Uma dessas sentenças é

Numa ilha dos mares do sul convivem três raças distintas de ilhéus: os zel(s) só mentem, os del(s) só falam a verdade e os mel(s) alternadamente falam verdades e mentiras − ou seja, uma verdade, uma mentira, uma verdade, uma mentira −, mas não se sabe se começaram falando uma ou outra.

Nos encontramos com três nativos, Sr. A, Sr. B, Sr. C, um de cada uma das raças.

Observe bem o diálogo que travamos com o Sr. C

Nessas condições, é verdade que os senhores A, B e C são, respectivamente,

Numa sala de 30 alunos, 17 foram aprovados em Matemática, 10 em História, 9 em Desenho, 7 em Matemática e em História, 5 em Matemática e Desenho, 3 em História e Desenho e 2 em Matemática, História e Desenho. Sejam:

Os valores de v, w , x, y, z s ão, respectivamente,

No universo U, sejam P, Q, R, S e T propriedades sobre os elementos de U. (K(x) quer dizer que o elemento x de U satisfaz a propriedade K e isso pode ser válido ou não).

Para todo x de U considere válidas as premissas seguintes:

É verdade que