Questão em destaque · Q4199977
Melissa e Caio estão estudando lógica clássica de primeira ordem. Melissa afirmou para Caio que as fórmulas ∀𝑥 (𝑃(𝑥) ⇒ 𝑄(𝑥)) ⇒ (∀𝑥 𝑃(𝑥) ⇒ ∀𝑥 𝑄(𝑥)) e ∃𝑥 (𝑃(𝑥) ∨ 𝑄(𝑥)
IMAIS · Prefeitura de Santos · 2023 · Operador
Resolva a questão abaixo e continue estudando com o banco de questões.
P4199977
ID: 4199977
Raciocínio LógicoAssunto: Proposições
Banca: IMAIS
Ano: 2023
Nível: Médio
Melissa e Caio estão estudando lógica clássica de primeira ordem. Melissa afirmou para Caio que as fórmulas ∀𝑥 (𝑃(𝑥) ⇒ 𝑄(𝑥)) ⇒ (∀𝑥 𝑃(𝑥) ⇒ ∀𝑥 𝑄(𝑥)) e ∃𝑥 (𝑃(𝑥) ∨ 𝑄(𝑥)) ⇔ (∃𝑥 𝑃(𝑥) ∨ ∃𝑥 𝑄(𝑥)) são sempre válidas. Sobre essa afirmação, Caio acertadamente disse que
Responda à questão para liberar o gabarito e as estatísticas.
Carregando plataforma de questões...