First post
8. Negue cada uma das sentenças a seguir:
(a) ∃x∀y, p(x, y).
(b) ∀x∀y, p(x, y).
(c) ∃y∃x∀z, p(x, y, z).
Dúvida: 1) Como se lê o que esta escrito em cada alternativa? 2) Qual regra se usa...
Última msg
a) Existe um x, para todo y, tal que x alguma coisa y
Esse alguma coisa é o predicado p.
Façamos p = admira.
Existe um x, para todo y, tal que x admira y.
Ou seja, existe um x que admira todo y.
A...