Escolar Documentos
Profissional Documentos
Cultura Documentos
Resumo Tema I PDF
Resumo Tema I PDF
SNTESE
1. Proposies
Uma Proposio uma expresso qual se pode atribuir um valor lgico verdadeiro ou falso.
p ~p p q pq p q pq
V F V V V V V V
F V V F F V F V
F V V
F V F
F F F
F F F
Comutatividade (p q) (q p) (p q) (q p)
Existncia de (p V) (V p) p (p F) (F p) p
elemento neutro V o elemento neutro F o elemento neutro
Existncia de (p F) (F p) F (p V) (V p) V
elemento absorvente F o elemento absorvente V o elemento absorvente
Idempotncia (p p) p (p p) p
Distributividade da
conjuno em relao (p (q r)) ((p q) (p r))
disjuno
Distributividade da
disjuno em relao (p (q r)) ((p q) (p r))
conjuno
p q pq p q pq
V V V V V V
V F F V F F
F V V F V F
F F V F F V
1
TEMA I Lgica e Teoria de Conjuntos
SNTESE
Princpio de no contradio: (p p) F
2. Condies e conjuntos
Uma Expresso proposicional ou condio uma expresso com variveis que se transforma numa pro-
posio quando se substituem essas variveis por objetos do domnio considerado.
Sejam p(x), u(x) e i(x) condies definidas num conjunto U, tais que u(x) designa uma condio uni-
versal e i(x) designa uma condio impossvel. Tem-se que:
p(x) i(x) i(x)
p(x) u(x) p(x)
p(x) i(x) p(x)
p(x) u(x) u(x)
2
Sntese
A relao entre os quantificadores de uma condio e a classificao dessa mesma condio pode
ser resumida neste diagrama:
A um subconjunto de B se x, x A x B.
Escreve-se A B.
fi
B
A
Implicao Incluso
entre condies de conjuntos
Conjuno
de condies fi Interseo
de conjuntos
AB
3
TEMA I Lgica e Teoria de Conjuntos
SNTESE
fi
U
A B
Disjuno Reunio
de condies de conjuntos
AB
Complementar de um conjunto A: A = {x U: x A}
fi
U
Negao Complementar A A
de condio do conjunto