Questão de Raciocínio Lógico — Fundamentos de Lógica — UNIVASF - CONCURSOS 2025
Raciocínio LógicoFundamentos de Lógica
- Código
- qg627517
- Banca
- UNIVASF - CONCURSOS
- Órgão
- UNIVASF
- Ano
- 2025
- Nível
- Superior
- Cargo
- CONCURSOS - - Químico
Tomando o universo do discurso como sendo o conjunto de todos os abacates, uma formalização da sentença “Abacates verdes nunca são comprados, a menos que todos os maduros sejam caros.” é
- A∀x(Verde(x) → ¬Comprado(x)) ∨ ∀y(Maduro(y) → Caro(y))
- B∀x(Verde(x) → ¬Comprado(x)) → ∀y(Maduro(y) → Caro(y))
- C∀x(Verde(x) → ¬Comprado(x)) ↔ ∀y(Maduro(y) → Caro(y))
- D∃y(Maduro(y) ∧ Caro(y)) → ∀x(Verde(x) → ¬Comprado(x))
- E¬∀y(Maduro(y) → Caro(y)) → ∀x(Verde(x) ↔ ¬Comprado(x)))