Se Frederico é francês, então Alberto não é alemão. Ou Alberto é alemão, ou Egídio é espanhol. Se Pedro não é português, então Frederico é francês. Ora, nem Egídio é espanhol nem Isaura é italiana. Logo:

Se Luís estuda História, então Pedro estuda Matemática. Se Helena estuda Filosofia, então Jorge estuda Medicina. Ora, Luís estuda História ou Helena estuda Filosofia. Logo, segue-se necessariamente que:

A negação da afirmação condicional "se estiver chovendo, eu levo o guarda-chuva" é:

Se Pedro é inocente, então Lauro é inocente. Se Roberto é inocente, então Sônia é inocente. Ora, Pedro é culpado ou Sônia é culpada. Segue-se logicamente, portanto, que:

Chama-se tautologia a toda proposição que é sempre verdadeira, independentemente da verdade dos termos que a compõem. Um exemplo de tautologia é:

Três amigos − Luís, Marcos e Nestor − são casados com Teresa, Regina e Sandra (não necessariamente nesta ordem). Perguntados sobre os nomes das respectivas esposas, os três fizeram as seguintes declarações:

Nestor: "Marcos é casado com Teresa"

Luís: "Nestor está mentindo, pois a esposa de Marcos é Regina"

Marcos: "Nestor e Luís mentiram, pois a minha esposa é Sandra"

Sabendo-se que o marido de Sandra mentiu e que o marido de Teresa disse a verdade, segue-se que as esposas de Luís, Marcos e Nestor são, respectivamente:

Um crime foi cometido por uma e apenas uma pessoa de um grupo de cinco suspeitos: Armando, Celso, Edu, Juarez e Tarso. Perguntados sobre quem era o culpado, cada um deles respondeu:

Armando: "Sou inocente"

Celso: "Edu é o culpado"

Edu: "Tarso é o culpado"

Juarez: "Armando disse a verdade"

Tarso: "Celso mentiu"

Sabendo-se que apenas um dos suspeitos mentiu e que todos os outros disseram a verdade, pode-se concluir que o culpado é: