Exemplo:
3x 1 2 x 5 (CONDIÇÃO)
3 2 1 2 2 5 (PROPOSIÇÃO)
Quantificador Universal : ∀
Dada uma condição 𝑝(𝑥), qualquer que seja 𝒙, 𝒑 𝒙
simbolicamente escreve-se:
∀𝒙, 𝒑 𝒙
Quantificador Existencial: ∃
Dada uma condição 𝑝(𝑥), existe 𝒙 tal que 𝒑 𝒙 ,
simbolicamente escreve-se:
∃𝒙: 𝒑 𝒙
Dado um conjunto 𝑼, a proposição
∀𝒙, 𝒙 ∈ 𝑼 ⟹ 𝒑(𝒙) escreve-se de forma abreviada:
∀𝒙 ∈ 𝑼, 𝒑 𝒙 .
POSSÍVEL
Não Universal
CONDIÇÃO
IMPOSSÍVEL
Exemplo:
A proposição ∀𝒙 ∈ 𝐈𝐑, 𝒙𝟐 ≥ 𝟎
∀𝑥 ∈ 𝑈, 𝑥 pratica desporto.
Em linguagem simbólica:
~ ∀𝒙, 𝒑 𝒙 ⟺ ∃𝒙: ~𝒑 𝒙
Seja U o conjunto dos alunos do 10º𝑌. Vamos considerar a proposição:
∃𝑥 ∈ 𝑈 : 𝑥 usa chapéu.
Em linguagem simbólica: