Filtrar


Questões por página:
Observe as assertivas a seguir, as quais apresentam determinadas proposições:

I. Todos os livros têm autor.
II. Vidas Secas é um livro.
III. Vidas Secas tem autor.

A partir da análise das assertivas quanto à implicação lógica, assinale a alternativa CORRETA.
Considerando que os símbolos ¬, ∧, →, ∀ e ∃ representam negação, conjunção, implicação, quantificador universal e quantificador existencial, respectivamente; considerando, ainda, as informações ∀x(S(x)→A(x)) e ∃x(S(x)∧¬E(x)), ambas verdadeiras, qual das alternativas apresenta uma contradição em relação a essas informações?
Um famoso cantor se apresentou na cidade em que moram os irmãos Carlos, Gustavo e Mariano. Sabe-se que um ou mais de um deles foi à apresentação. Além disso:

• se Carlos não foi à apresentação, então Gustavo foi.
• ou Mariano foi à apresentação ou Gustavo foi, mas não os dois.
• Mariano foi à apresentação.

Logo,
Se Euler foi trabalhar, Newton não foi ao parque. Se Newton não foi ao parque, Gauss foi trabalhar. Se Gauss foi trabalhar, o seu carro quebrou. Ora, o carro de Gauss não quebrou, então
George afirmou que “Se eu tiver muito dinheiro, então abro uma cafeteria”. Do ponto de vista lógico, da afirmação de George é possível concluir corretamente que: