Anda di halaman 1dari 4

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

pq

pq

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
elemento neutro

(p V) (V p) p
V o elemento neutro

(p F) (F p) p
F o elemento neutro

Existncia de
elemento absorvente

(p F) (F p) F
F o elemento absorvente

(p V) (V p) V
V o elemento absorvente

Idempotncia

(p p) p

(p p) p

Distributividade da
conjuno em relao
disjuno

(p (q r)) ((p q) (p r))

Distributividade da
disjuno em relao
conjuno

(p (q r)) ((p q) (p r))

Lei da dupla negao: ~(~p) p


Primeiras leis de De Morgan
((p q)) (p q)
((p q)) (p q)
Implicao

Equivalncia

pq

pq

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 proposio quando se substituem essas variveis por objetos do domnio considerado.
Expresso proposicional
ou condio
p(x)

x=a
substituindo x
por um objeto a

Proposio
p(a)

Universais todas as concretizaes das variveis


do origem a uma proposio verdadeira.
Possveis
Expresses
proposicionais
ou condies

No universais se pelo menos uma


concretizao das variveis der origem a uma
proposio verdadeira e uma concretizao der
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 universal 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
contraexemplo

uma proposio verdadeira.

p(x) no uma
condio universal.

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.
U

Implicao
entre condies

fi

Incluso
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

Conjuno
de condies

fi

Interseo
de conjuntos

AB

TEMA I Lgica e Teoria de Conjuntos

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

Disjuno
de condies

fi

Reunio
de conjuntos

AB

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

Negao
de condio

fi

Complementar
do conjunto

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


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

U
A

A\B

Anda mungkin juga menyukai