matA10 lgica e teoria de conjuntos

Proposies
Uma proposio toda a expresso p suscetvel de ser verdadeira ou falsa.
Uma proposio verdadeira tem o valor lgico de V ou 1 (verdade).
Uma proposio falsa tem o valor lgico de F ou 0 (falsidade).
Operaes com proposies
Negao Conjuno Disjuno
p ~ p p q pq p q p q
V F V V V V V V
F V V F F V F V
F V F F V V
F F F F F F

Implicao Equivalncia Disjuno exclusiva

p q pq p q pq p q p q
V V V V V V V V F
V F F V F F V F V
F V V F V F F V V
F F V F F V F F F

Propriedades das operaes lgicas

Princpio da no contradio Princpio do terceiro excludo
p ~ pF p ~ pV

Comutatividade Associatividade
pq q p pq q p p q r p q r p q r p q r
Elemento neutro Elemento absorvente
pV p pF p pF F pV V

Distributividade Leis de De Morgan

p q r p q p r ~ p q ~ p ~ q ~ p q ~ p ~ q

p q r p q p r

Implicao e disjuno Negao da implicao

p q ~ p q ~ p q p ~ q

Implicao contrarrecproca Transitividade da implicao

p q ~ q ~ p p q q r p r
Dupla implicao Dupla negao
p q q p p q ~ ~ p p
Operao lgica e expresses

Operao Expresso Operao Expresso

Negao ~ no Implicao se ento
no verdade que
Conjuno e se e somente se
Equivalncia
Disjuno ou se e s se

www.matematicaonline.pt 1/2
geral@matematicaonline.pt
 matA10 lgica e teoria de conjuntos

Expresso proposicional ou condio

Uma expresso proposicional ou condio uma expresso p x envolvendo a varivel x, tal que, substituindo a varivel
por um objeto a, obtm-se uma proposio p a .
Quantificadores
Quantificador universal:
Se p x uma condio universal em U, a expresso x U , p x uma proposio verdadeira.
Quantificador existencial:
Se p x uma condio possvel em U, a expresso x U , p x uma proposio verdadeira.
Condies
Impossveis Representao
Condies No universais x U , p x x, x U p x

Possveis x U : p x x : x U p x
Universais

Propriedades
Se p x uma condio qualquer, u x uma condio Negao de uma condio
A negao de uma condio impossvel uma condio
universal e i x uma condio impossvel, verifica-se:
universal.
p x u x u x p x u x p x A negao de uma condio universal uma condio
p x i x p x p x i x i x impossvel.
~ x U , p x x U : ~ p x
~ x U : p x x U , ~ p x
Segundas leis de De Morgan Negao de uma implicao
~ x, p x x : ~ p x ~ x, p x q x x : p x ~ q x
~ x : p x x, ~ p x
Dupla implicao Contrarrecproco
x, p x q x q x p x x, p x q x x, p x q x x, ~ q x ~ p x
Contraexemplo
Para provar que x U , p x uma proposio falsa, basta apresentar um contraexemplo, isto , a U , tal que p a
falsa.
Conjuntos e condies

Condies definidas em U Relaes entre conjuntos-soluo em U

a x A
b x B
~ a x negao A complementar
a x b x conjuno A B interseo
a x b x disjuno A B reunio (ou unio)
a x b x implicao A B incluso
a x b x equivalncia A B igualdade

A B x : x A x B A B x, x A x B

A B x : x A x B A BB A A B
Se B A , ento A \ B B o complementar de B em A
A \ B x, x A x B

www.matematicaonline.pt 2/2
geral@matematicaonline.pt