Escolar Documentos
Profissional Documentos
Cultura Documentos
Apontamentos Extras.
Apontamentos Extras.
todo especial e, mesmo assim, a maioria da pl atéia continua dormindo. (Edu Francisco Teixe ira).
FICHA DE APOIO.
Disciplina: Matemática.
Unidade Temática: Introdução à l ógica matemática.
Tema: Q U A N T I F I C A D O R E S .
Objectivos:
Aplicar quantificadores na tradução de expressões correntes em expressões quantificadas e vice-versa;
Aplicar as Leis de De Morgan na resolução de problemas.
Uma expressão algébrica ou com variável é uma expressão que tem pelo menos uma variável.
Chama-se condição ou expressão proposicional a toda a expressão com variáveis que se pode transformar
numa proposição, quando são substituidas as variáveis por valores, nos respectivos domínios. Em geral, as
equações e as inequações são condições.
Classificação de condições.
Condição possível é aquela que pode acontecer (pode ser verdadeira) no domínio dado. Exemplo: 𝑥 + 1 = 0
é uma condição possível em ℤ.
Condição impossível é aquela que nunca ocorre (é sempre falsa) no domínio considerado. Exemplo:
𝑥 + 1 = 0 é uma condição impossível em ℕ.
Condição universal é aquela que acontece sempre (é sempre verdadeira) no domínio considerado. Exemplo:
𝑥 2 ≠ −1 é uma condição universal em ℝ.
Quantificadores.
Além das operações lógicas já estudadas, podemos ainda considerar mais duas, as quais se aplicam apenas nas
expressões com variáveis: quantificador universal e quantificador existencial.
Quantificador universal.
Elaborado por: ARONE, João Matangue; Matemática 11a Classe; Trimestre I; Ano de 2018; Página 1
A verdade alivia mais do que machuca. E estará sempre acima de qualquer falsidade como o óleo sobre a água.
( Miguel de Cervantes ).
Para dizer em linguagem corrente que esta proposição é universal escreve-se: “ Todo o número natural é maior
ou igual que zero”.
Ao símbolo ∀ denomina-se quantificador universal, que lê-se: qualquer que seja ou para todo o … ou para
qualquer … ou para cada … .
Exemplo: Sendo 𝐶 = {1; 3; 5}, dizer que: 1 é ímpar ∧ 3 é ímpar ∧ 5 é ímpar, é o mesmo que dizer: “ todo o
elemento de 𝐶 é ímpar” ou, simbolicamente, ∀𝑥 ∈ 𝐶: 𝑥 é ímpar.
Quantificador existencial.
Ao símbolo ∃ dá-se o nome de quantificador existencial. ∃ lê-se “ existe pelo menos um”.
Exemplo: A partir da condição possível em ℝ: 𝑥 + 1 = 0 pode afirmar-se: “ Existe pelo menos um número
real que verifica a condição 𝑥 + 1 = 0”.
2𝑥 − 1 = 0, condição possível em ℝ.
∃𝑥 ∈ ℝ: 2𝑥 − 1 = 0, proposição verdadeira.
𝑥 2 + 1 = 0, condição impossível em ℝ.
∃𝑥 ∈ ℝ: 𝑥 2 + 1 = 0, proposição falsa.
Quantificação múltipla.
Consideremos, em ℝ, a condição: 𝑦 = 𝑥.
Para obtermos uma proposição a partir desta condição, temos de utilizar dois quantificadores (quantificação
múltipla).
∀𝑥, 𝑦 ∈ ℝ: 𝑦 = 𝑥. Em linguagem corrente: quaisquer dois números reais são iguais (proposição falsa).
∃𝑥, 𝑦 ∈ ℝ: 𝑦 = 𝑥. Em linguagem corrente: existem pelo menos dois números reais que são iguais (proposiçã o
verdadeira).
Em linguagem corrente: Para todo número real existe pelo menos um número real igual a ele. (proposição
verdadeira).
Elaborado por: ARONE, João Matangue; Matemática 11a Classe; Trimestre I; Ano de 2018; Página 2
Se os seus esforços forem vistos com indiferença, não desanime; também o Sol, ao nascer, dá um espetáculo
todo especial e, mesmo assim, a maioria da pl atéia continua dormindo. (Edu Francisco Teixe ira).
2. ∃𝑥 ∈ ℝ, ∀𝑦 ∈ ℝ: 𝑥 = 𝑦.
Em linguagem corrente: existe pelo menos um número real que é igual a todos os outros números reais
(proposição falsa).
Quando se utilizam quantificadores diferentes e se troca a sua ordem, obtêm-se proposições diferentes que
podem ter ou não o mesmo valor lógico.
TAREFAS.
Negar que uma condição é universal equivale a afirmar que nem todos os elementos a verificam, isto é, que
há pelo menos um que não a verifica.
Exemplo:
Em geral:
Exemplos:
1. ∀𝑥 ∈ 𝑇, 𝑥 estuda Matemática
2. ∃𝑥 ∈ 𝑇, 𝑥 é inteligente.
Elaborado por: ARONE, João Matangue; Matemática 11a Classe; Trimestre I; Ano de 2018; Página 3
A verdade alivia mais do que machuca. E estará sempre acima de qualquer falsidade como o óleo sobre a água.
( Miguel de Cervantes ).
Operação Negação
∨ ∧
∀ ∃
⟹ ⟺
> ≤
< ≥
= ≠
∈ ∉
⊃ ⊈
⊂ ⊉
Exercícios:
Ver e resolver outros exercícios sobre quantificadores que estão na ficha do grupo de disciplina de
matemática, disponível na reprografia.
Elaborado por: ARONE, João Matangue; Matemática 11a Classe; Trimestre I; Ano de 2018; Página 4