Você está na página 1de 5

----------------------- Page 1-----------------------

Lgica e Teoria de Conjuntos


SNTESE
1. Proposies
Uma Proposio uma expresso qual se pode atribuir um valor lgico verdadeiro ou

Negao Conjuno
Disjuno
p ~p p q p q
p q p q
V F V V V
V V V

V F V
F V V F F

F V V
F V F

F F F
F F F
Propriedades Conjuno
Disjuno
Comutatividade (p q) (q p)
(p q) (q p)
Associatividade ((p q) r) (p (q r)) ((p q) r
(p (q r))
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
Lei da dupla negao: ~(~p) p
Primeiras leis de De Morgan
((p q)) (p q)
((p q)) (p q)
Implicao
Equivalncia
p q p q
p q p q
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
----------------------- Page 2-----------------------
TEMA I Lgica e Teoria de Conjuntos
SNTESE
Princpio do terceiro excludo: (p p) V
Princpio de no contradio: (p p) F
Transitividade: [((p q) (q r)) (p r)] V
Relao da implicao com a disjuno e negao: (p q) (p q)
Negao da implicao: (~(p q)) (p q)
Implicao contrarrecproca: (p q) ((q) (~p))
Prioridades das operaes lgicas
Numa expresso com vrias operaes lgicas, devem-se efetuar, por e
sta ordem:
1. a negao;
2. a conjuno e a disjuno;
3. a implicao e a equivalncia.
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.
Expresso proposicional x = a
Proposio
ou condio substituindo x
p(a)
p(x)
por um objeto a
Uni
versais todas as concretizaes das variveis
do origem a uma proposio verdadeira.
Possveis
No universais se pelo menos uma
Expresses con
cretizao das variveis der origem a uma
proposicionais pr
oposio verdadeira e uma concretizao der
ou condies
origem a uma proposio falsa.
Impossveis todas as concreti
zaes das
variveis do origem a uma propos
io falsa.
Sejam p(x), u(x) e i(x) condies definidas num conjunto U, ta
is 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
----------------------- Page 3-----------------------

Sntese
A negao de uma condio universal uma condio impossvel.
Se p(x) q(x) uma condio universal, ento p(x) condio suficiente para que se verif
e q(x) e
q(x) condio necessria para que se verifique p(x).
O quantificador universal representa-se pelo smbolo .
O quantificador existencial representa-se pelo smbolo .
A relao entre os quantificadores de uma condio e a classificao dessa mesma condio p
ser resumida neste diagrama:
uma proposio verdadeira.
p(x) uma condio universal.
x U, p(x)
uma proposio falsa. Existe um
p(x) no uma
contraexemp
lo condio universal.
uma proposio verdadeira.
p(x) uma condio possvel.
x U: p(x)
uma proposio falsa.
p(x) uma condio impossvel.
Segundas leis de De Morgan
( x U, p(x)) x U: p(x)
~( x U: p(x)) x U, ~p(x)
A um subconjunto de B se x, x A x B.
Escreve-se A B.

B
A
Implicao Incluso
entre condies de conjuntos

Princpio da dupla incluso: A = B se e s se A B e B A .


Interseo de A com B: A B = {x : x A x B}

A B
Conjuno Interseo
A B

de condies de conjuntos

3
----------------------- Page 4-----------------------
TEMA I Lgica e Teoria de Conjuntos
SNTESE
Reunio de A com B: A B = {x : x A x B}

U
A
B
Disjuno
Reunio
de condies
de conjuntos
A B


Complementar de um conjunto A : A = {x U: x A}

U
Negao
Complementar A
A
de condio
do conjunto

Diferena entre A e B: A \B = {x A : x B}
U

A
B
Se B A, designa-se por complementar de B em A .

A\B