Considere como verdadeiras as sentenças:

1. Se Ana é capixaba, então Bruna é carioca.

2. Se Carla é paulista, então Bruna não é carioca.

3. Se Ana não é capixaba, então Carla não é paulista.

4. Ana é capixaba ou Carla é paulista.

Deduz-se que:

De acordo com a interpretação das fórmulas proposicionais acima e suas tabelas-verdade:

Supondo a verdade das seguintes proposições:

Se Antônio é parlamentar então ele tem gabinete. Antônio tem carro ou ele é professor. Se Antônio é professor, então ele expressa-se com clareza. Antônio não tem gabinete. Se Antônio tem carro, então ele é parlamentar.

Deduzimos a verdade da alternativa:

Considere a seguinte sentença:

“Todo aluno do curso de Informática estuda algum tópico de Matemática Discreta”

e os seguintes predicados:

A(x): x é aluno.

I(x): x é do curso de Informática.

E(x,y): x estuda y.

T(x): x é tópico de Matemática Discreta.

Uma forma de traduzi-la é