CONDIÇÕES

E
CONJUNTOS
Continuação de lógica bivalente
 Condição

■ Uma expressão proposicional ou condição é uma expressão

envolvendo uma variável , tal que, substituindo por um objeto ,
se obtém uma proposição .

■ Exemplo: ,
 Quantificadores
■ Universal
Dada uma condição , é uma proposição verdadeira quando e apenas quando se obtém uma
proposição verdadeira sempre que se substitui em por um objeto arbitrário
Dado um conjunto , a proposição escreve-se de forma abreviada . Esta proposição é verdadeira
quando e apenas quando se obtém uma proposição verdadeira sempre que se substitua em por um
elemento de .
Exemplo:
Existencial
Dada uma condição , é uma proposição verdadeira se e somente se, para pelo menos um objeto , é
verdadeira.
Dado um conjunto , a proposição escreve-se de forma abreviada . Esta proposição é verdadeira
quando e apenas quando para pelo menos um objeto é verdadeira.
Exemplo:
 Classificação de condições
■ Condição universal Condições num
– Uma condição é universal se a dado universo
proposição for verdadeira
– Uma condição é universal num
conjunto U se for uma proposição
verdadeira Possíveis Impossíveis
■ Condição possível e condição impossível
– Uma condição é possível se a
proposição for verdadeira
– Uma condição é possível num Não
conjunto U se for uma proposição
Universais universais
verdadeira
– Uma condição que não é possível é
uma condição impossível
 Alguns exemplos
■ Em :
– Condição universal

– Condição impossível

– Condição possível (não universal)

 Segundas leis de De Morgan
■ Dada uma condição :
– A negação da proposição é a proposição .
Ou seja: . Com conjunto:
– A negação da proposição é a proposição .
Ou seja: . Com conjunto:

Exemplos: Todas as pessoas da sala tem cabelo curto.

(Negação) Pelo menos uma pessoa não tem cabelo curto.

Pelo menos uma pessoa da sala escreve à caneta.

(Negação) Nenhuma pessoa da sala escreve à caneta.
(Alternativa)Todas as pessoas da sala não escreve à caneta.
 Negação de uma implicação

A negação desta proposição é:

Ou ainda:

Que por sua vez é equivalente a: (pelas leis de De Morgan)

Escrito de outra forma:

(contraexemplo)
Todos os símbolos neste slide são números
A v 2 @ 6
% f
4 ] [
{ } ç ;
& 5 !
g #
$ )
( *
 Conjuntos
Seja A o conjunto dos números naturais menores que 5.

■ Conjunto representado em extensão

■ Conjunto representado em compreensão

– , utiliza a condição .

■ Dada uma condição e um conjunto , diz-se que ou é o conjunto definido por em ou o

conjunto-solução de em .

■ Igualdade de conjuntos: Dados dois conjuntos A e B,

se e somente se
 A
■ Interseção de conjuntos B

■ Reunião de conjuntos
A
B

■ Inclusão de conjuntos
– Dados conjuntos A e B, diz-se que A está contido em B ou A é
subconjunto de B quando: .
■ Diferença de conjuntos
– Chama-se diferença entre A e B (A\B) ao conjunto dos elementos de A que
não pertencem a B
 Dupla implicação

■ Princípio da dupla inclusão

– Dados dois conjuntos e , se e somente se e .

■ Contrarrecíproco