RL - 07 - Quantificadores

RL - 07 - Quantificadores

1. Quantificadores transformam sentenças abertas em proposições, passíveis de julgarmos se são V ou F.

2. Quantificador universal

   • ∀
     • Lê-se "qualquer que seja" ou "para todo"
       • (∀ x, x E N) (x + 3 = 5); "Qualquer x, x elemento de N, tem se x + 3 = 5. FALSO!
   • Conjunto

3. Quantificadores existenciais

   • ∃
     • Lê-se "existe pelo menos um", "algum"
       • (∃ x, x E N) (x + 3 = 5); "Existe pelo menos um x, x elemento de N, tal que x + 3 = 5. VERDADEIRO!
     • Conjunto
   • ∃|
     • Lê-se "existe um único"
       • (∃| x, x E N) (x + 3 = 5); "Existe um único x, x elemento de N, tal que x + 3 = 5. VERDADEIRO!
     • Conjunto

Images and files in the map