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:
[math]\forall[/math]x (C(x)[math]\longrightarrow[/math] B(x).)[br][br]Onde C(x): ser catarinense; B(x): ser brasileiro.
Negação de proposições quantificadas.
[justify] 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.[/justify]