Existem símbolos que são
capazes de quantificar elementos, chamados de quantificadores. São empregados
no estudo da lógica e da álgebra.
São classificados em dois tipos, quantificador universal
e quantificador existencial.
Estes dois, representados
por:
∀ - Para todo (refere-se a todos elementos de um
conjunto)
∃
- Existe algum (refere-se
à algum elemento existente no conjunto)
∃!
– Existe um único
(refere-se à somente um elemento do conjunto)
Exercícios
a)
(∀
x
E
R) (x<1234)
Resposta: Sentença
falsa, pois o símbolo “para todo” não corresponde com a condição de x <
1234.
b)
(∃ x E R) (X<9124)
Resposta: Sentença
verdadeira, pois o símbolo “existe algum” corresponde com a condição de x <
9124.
c)
(∃! x E R) (x=13)
Resposta: Sentença
verdadeira, pois o símbolo “existe um único” corresponde com a condição de x =
13.
d)
(∃! x E R) (x>25)
Resposta: Sentença
falsa, pois o símbolo “existe um único” não corresponde com a condição de x
> 25.
e)
(∀ x E R) (x=10)
Resposta: Sentença
falsa, pois o símbolo “para todo” não corresponde com a condição de x = 10.
Nenhum comentário:
Postar um comentário