Questão
ID 1067533Disciplina: Raciocínio Lógico
Assunto: Simbologia dos Quantificadores Lógicos
Ano: 2023 Banca: IMAIS - Instituto Mais Órgão: Prefeitura Municipal de Santos
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