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:

A secretária disse ao advogado:

“Fechei a janela e não mexi nos papéis”.

Algum tempo depois, o advogado descobriu que o que disse a secretária não era verdade.

É correto concluir que a secretária:

Sandro, Cláudio e Valter trabalham na mesma empresa e torcem por times diferentes: um é flamenguista, outro é vascaíno, e outro é tricolor.

Sabendo que Cláudio é vascaíno, é correto concluir que:

Considere a sentença:

“Se Arlindo é baixo, então Arlindo não é atleta.”

Assinale a opção que apresenta a sentença logicamente equivalente à sentença dada.