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