Assinale a alternativa que contém a representação em lógica de predicados para a proposição abaixo: Todo
mundo que tem carro tem multas. Alguém tem carro e moto. Todo mundo que não tem veículos não tem moto. Portanto, alguém tem veículo e multas.Considere: C(x): x tem carro, T(x): x tem multa, M(x): x tem moto, V(x): x tem veículo.
a) (∀x)[T(x) → C(x)]∧(∃x)[C(x)∧M(x)]∧ (∃x)(V(x)′ → M(x)′)→ (∃x)[V(x)∧T(x)]
b) (∀x)[C(x) ∧T(x)]∧(∃x)[C(x)∧M(x)]∧ (∀x)(V(x)′ → M(x)′)→ (∀x)[V(x)∧T(x)]
c) (∀x)[C(x) → T(x)]∧(∃x)[C(x)∧M(x)]∧ (∀x)(V(x)′ → M(x)′)→ (∃x)[V(x)∧T(x)]
d) (∀x)[C(x)∧ T(x)]∧(∃x)[C(x)∧M(x)]∧ (∀x)(M(x)′ → V(x)′)→ (∀x)[V(x)∧T(x)]
e) (∀x)[C(x) ∧T(x)]∧(∃x)[C(x)∧M(x)]∧ (∀x)(M(x)′ → V(x)′)→ (∃x)[V(x)∧T(x)]
1 Resposta
Clique aqui para adicionar a sua resposta.
Mais perguntas de Informática
Informática
A informática é uma área em constante evolução e desenvolvimento. Para aproveitar ao máximo os benefícios desta área, é importante manter-se...
vitoriaheleen - há 2 anos
Informática
A informática é uma área importante que está cada vez mais presente em nossas vidas. Se você deseja aprender mais sobre ela, aqui estão algumas...
Jsydhsjsksndbdhydehehehdhhdh - há 2 anos
Informática
A informática é uma área em constante evolução, com novas tecnologias surgindo a todo momento. Para se manter informado e atualizado, é...
Gabrielpereira Caio - há 2 anos
Informática
A informática é a ciência que estuda o armazenamento, a recuperação, a transmissão e a manipulação de informações. Ela se baseia na...
Jjjjkkkkk - há 2 anos
Informática
A Informática é uma área de conhecimento que se dedica ao estudo, aplicação e desenvolvimento de tecnologias de computação. Ela abrange diversas...
RafaelLima Tainaraie - há 2 anos
Informática
A informática é uma área de estudo que abrange a tecnologia da computação e seus usos na vida cotidiana. Ela está envolvida em quase todos os...
Gui Alisont Alison - há 2 anos
Informática
nicolle5189
(∀x)[C(x) → T(x)]∧(∃x)[C(x)∧M(x)]∧ (∀x)(V(x)′ → M(x)′)→ (∃x)[V(x)∧T(x)]
Explicação:
(geral) carro implica me multa. (específico) carro e moto E (geral) não veículo implica não moto. Conclusão (implica) (específico) veículo e multa...