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 é

Analise os seguintes argumentos:

I. Se estudasse todo o conteúdo, então seria aprovado em Estatística. Fui reprovado em Estatística. Concluímos que não estudei todo o conteúdo.

II. Todo estudante gosta de Geometria. Nenhum atleta é estudante. Concluímos que ninguém que goste de Geometria é atleta.

III. Toda estrela possui luz própria. Nenhum planeta do sistema solar possui luz própria. Concluímos que nenhuma estrela é um planeta.

Considerando os argumentos I, II e III, é CORRETO afirmar que

Considere a afirmação: Se um carro não tem gasolina então não anda. Considere, agora, as afirmações seguintes:

I. Se um carro tem gasolina então anda.

II. Se um carro não anda então não tem gasolina.

III. Se um carro anda então tem gasolina.

É/são logicamente equivalente(s) à afirmação dada: