Magna Concursos
Questões
Planos
Entrar
Entrar
Criar Conta
Respondida
3938625
Ano:
2025
Disciplina:
Raciocínio Lógico
Banca:
UNIVASF
Orgão:
UNIVASF
Provas:
Químico
Provas
×
Lógica Proposicional
Quantificadores Lógicos
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
)))
Resolver
Comentários
0
×
Cadernos
×
Flashcards
×
Estatísticas
×
Reportar um erro
×
Provas
Questão presente nas seguintes provas
Químico
50 Questões
Resolver Prova
Publicar
Responder
Qual o problema da questão?
Selecione uma opção
Questão Desatualizada
Questão Repetida
Gabarito Errado
Outros Motivos
Mensagem
Enviar
Acessar
Criar Conta
Acesse sua Conta
Google
Facebook
Esqueci minha senha
Acessar
Ainda não tem conta?
Crie uma
!
Crie uma Conta
Criar Conta
Olá, para continuar, precisamos criar uma conta!
É
rápido
e
grátis
.
Google
Facebook
Concordo com os
Termos de Uso
Criar
Já tem uma conta?
Acesse aqui
