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
Distributividade da
disjuno em relao
conjuno
Equivalncia
pq
pq
V
1
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)
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
x U, p(x)
uma proposio falsa.
Existe um
contraexemplo
p(x) no uma
condio universal.
x U: p(x)
uma proposio falsa.
Implicao
entre condies
fi
Incluso
de conjuntos
Conjuno
de condies
fi
Interseo
de conjuntos
AB
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
U
A
A\B