You are on page 1of 14

CONDIÇÕES

Uma expressão proposicional ou condição é


uma expressão 𝑝(𝑥) envolvendo a variável, tal
que, substituindo 𝑥 por um objeto 𝑎, se obtém a
proposição 𝑝(𝑎).

Exemplo:
3x  1  2 x  5 (CONDIÇÃO)

Substituindo 𝑥 por 2 na condição anterior obtemos uma


proposiçã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:
∀𝒙 ∈ 𝑼, 𝒑 𝒙 .

Dado um conjunto 𝑼, a proposição


∃ 𝒙, 𝒙 ∈ 𝑼 ⟹ 𝒑(𝒙) escreve-se de forma abreviada:
∃𝒙 ∈ 𝑼: 𝒑 𝒙 .
Universal

POSSÍVEL
Não Universal
CONDIÇÃO

IMPOSSÍVEL
Exemplo:
A proposição ∀𝒙 ∈ 𝐈𝐑, 𝒙𝟐 ≥ 𝟎

é VERDADEIRA para qualquer 𝒙 ∈ 𝐈𝐑,então

𝒙𝟐 ≥ 𝟎 é uma CONDIÇÃO UNIVERSAL em 𝐈𝐑

Uma condição 𝑝 𝑥 é UNIVERSAL num conjunto 𝑼


se ∀𝒙 ∈ 𝑼, 𝒑 𝒙 for uma proposição verdadeira.
Exemplo:
A proposição ∃𝒙 ∈ 𝐈𝐍: 𝒙𝟐 = 𝟏𝟔

é verdadeira para pelo menos um 𝒙 ∈ 𝐈𝐍, então

𝒙𝟐 = 𝟏𝟔 é uma CONDIÇÃO POSSÍVEL em 𝐈𝐍

Uma condição 𝑝 𝑥 é POSSÍVEL num conjunto 𝑼 se


∃𝒙 ∈ 𝑼: 𝒑 𝒙 for uma proposição verdadeira.
Exemplo:
A proposição ∃𝒙 ∈ 𝐈𝐑: 𝒙𝟐 = −𝟐𝟓

é FALSA para qualquer 𝒙 ∈ 𝐈𝐑, então

𝒙𝟐 = −𝟐𝟓 é uma CONDIÇÃO IMPOSSÍVEL em 𝐈𝐑

Uma condição 𝑝 𝑥 que não é possível é uma


condição IMPOSSÍVEL.
Sejam: 𝑝(𝑥) uma condição possível;
𝑢(𝑥) uma condição universal;
𝑖(𝑥) uma condição impossível;
𝑞(𝑥) uma condição qualquer.

Propriedades das Propriedades das


disjunções conjunções
𝑞(𝑥) ∨ 𝑝(𝑥) ⟺ 𝑝(𝑥)
𝑞 𝑥 ∧𝑢 𝑥 ⟺𝑞 𝑥
𝑞 𝑥 ∨𝑢 𝑥 ⟺𝑢 𝑥
𝑞(𝑥) ∧ 𝑖(𝑥) ⟺ 𝑖 𝑥
𝑞(𝑥) ∨ 𝑖(𝑥) ⟺ 𝑞(𝑥)
Seja U o conjunto dos alunos do 10º𝑌. Vamos considerar a proposição:

∀𝑥 ∈ 𝑈, 𝑥 pratica desporto.

Em linguagem corrente: Todos os alunos do 10º𝑌 praticam desporto.

Negação Em linguagem corrente: Não é verdade que todos os alunos


do 10º𝑌 praticam desporto.

Em linguagem simbólica:

∃𝑥 ∈ 𝑈: 𝑥 não pratica desporto.

~ ∀𝒙, 𝒑 𝒙 ⟺ ∃𝒙: ~𝒑 𝒙
Seja U o conjunto dos alunos do 10º𝑌. Vamos considerar a proposição:

∃𝑥 ∈ 𝑈 : 𝑥 usa chapéu.

Em linguagem corrente: Há pelo menos um aluno do 10º𝑌 que usa chapéu.

Negação Em linguagem corrente: Nenhum aluno do 10º𝑌 usa chapéu.

Em linguagem simbólica:

∀𝑥 ∈ 𝑈, 𝑥 não usa chapéu.

~ ∃𝒙: 𝒑 𝒙 ⟺ ∀𝒙, ~𝒑(𝒙)


~ ∀𝑥, 𝑝 𝑥 ⟺ ∃𝑥: ~𝑝 𝑥

~ ∃𝑥: 𝑝 𝑥 ⟺ ∀𝑥, ~𝑝(𝑥)


Proposição p Proposição ~p
Todos os alunos da turma Existe pelo menos um
têm 15 anos aluno da turma que não tem
15 anos
Existe pelo menos um Todos os alunos da turma
aluno da turma que não tem têm manual.
manual.
Todos os números naturais Existe pelo menos um
são pares número natural que não é
par.
 A negação de uma condição universal é
uma condição impossível.
~𝑢(𝑥) ⟺ 𝑖(𝑥)

 A negação de uma condição impossível é


uma condição universal.
~𝑖(𝑥) ⟺ 𝑢(𝑥)