Quantificadores
Aprenderemos, agora, os símbolos para representar o quantificador universal e existencial. Depois, veremos como negar proposições quantificadas.
Quantificadores.
Traduza para a língua falada:
x (C(x) B(x).) Onde C(x): ser catarinense; B(x): ser brasileiro.
Negação de proposições quantificadas.
Essas definições são bem intuitivas. Veja, se existe um elemento x no domínio D da função proposicional p tal que p(x) seja falsa, então com certeza dizer que todo elemento x em D, p(x) é falso. De modo análogo, se não existe elemento x em D tal que p(x) seja verdadeira, então nenhum elemento em D torna p verdadeira, ou seja, todo elemento de D torna p falsa.