Questões de Concurso

UNIVASF

Concurso: UNIVASF
Cargo: Químico
Ano: 2025

Ano:

2025

Banca:

UNIVASF - CONCURSOS

Cargo:

Químico

Disciplina: Raciocínio Lógico

FC1269077

notificar erro

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)))