TEMA I Lgica e Teoria de Conjuntos

SNTESE

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

Negao Conjuno Disjuno

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

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 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 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 esta 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 p(a)
p(x) substituindo x
por um objeto a

Universais todas as concretizaes das variveis

do origem a uma proposio verdadeira.
Possveis
No universais se pelo menos uma
Expresses concretizao das variveis der origem a uma
proposicionais proposio verdadeira e uma concretizao der
ou condies origem a uma proposio falsa.

Impossveis todas as concretizaes das

variveis do origem a uma proposio falsa.

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 negao de uma condio universal uma condio impossvel.

Se p(x) q(x) uma condio universal, ento p(x) condio suficiente para que se verifique 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 pode
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
contraexemplo 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.

fi
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}

U
A B

Conjuno
de condies fi Interseo
de conjuntos
AB

3
 TEMA I Lgica e Teoria de Conjuntos

SNTESE

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

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

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