Considere o conjunto universo dos deputados e os predicados a seguir: ...

Considere o conjunto universo dos deputados e os predicados a seguir: p(x): x é favorável à matéria. q(x): ...


📖 Texto associado

No que se refere a lógica de primeira ordem e lógica de argumentação, julgue o seguinte item.

Considere o conjunto universo dos deputados e os predicados a seguir:
p(x): x é favorável à matéria.
q(x): x vota favorável.
Nesse caso, a frase “Existe deputado que não é favorável à matéria e sua votação não é favorável.” pode ser escrita, em representação simbólica, como ∃ x ¬(p(x) → q(x)).

Utilizamos cookies e tecnologias semelhantes para aprimorar sua experiência. Política de Privacidade.