Algebra Proposicional
P/Conjução:
Idempotente o
p^p,p EEEE
comutativa:
p^q ,q^p
Associativa: 1
Pr f
ir pregar
Etautologand
pr g
ir pr gin
Identidade: A¢1=A
Ato a
t é o elemento neutro
prfinho
tautologia (todas as
D
linhas da coluna são
Verdadeiras!)
resp
FIFE
a
préces
(todas as linha da
NO
coluna são FAlsas!)
EFFIE
P/ disjunção:
Idempotente:
pup
Comutativa:
a
EFFIE
pug qup
Associatividade:
8 Vr pulgur
Identidade:
A:1 = A
A:0 = 0
Piet
A+1=1
A+0=A
Absorvente
Üa
neutro
put É A
EFFI
pvc p
HiFi
Distributividade:
(i) p ^ (qV r) , (p ^ q) V (p ^ r)
o
SEPARADOR
(ii) pV (q ^ r) , (pV q) ^ (pV r)
Ex:
ao
SEPARADOR
pr qur Prf Upa
"Carlos estuda e Jorge ouve
música ou lê"
,
"Carlos estuda e Jorge ouve
música ou Carlos estuda
e Jorge lê"
Eca "Chove ou faz vento e frio"
,
"Chove ou faz vento e chove
ou faz frio"
pV (q ^ r) , (pV q) ^ (pV r)
gyn Prf Gen
prf u
per pr qur
PIRI
per
prf
PV q Ir
Prf 1 por
pregar e
Carlos estudo_
ouve musica
Jorge
e lê
(i)
OI
p ^ (qV r) , (p ^ q)V (p ^ r)
SEPARADOR
(ii) pV (q ^ r) , (pV q) ^ (pV r)
3
SEPARADOR
(p ^ q) _ r , (pV r) ^ (qV r)
Absorção:
P
00
(i) p ^ (p _ q) , p
Vip T
TICIEI Tup
VIP F
p
FA F V8 F VCS
E
É
ii) pV (p ^ q) , p
p q prq pu pre
V V V
V F F
F V F F
F E F E
Leis de De Morgan:
» (p ^ q) =» pV » q = p " q
A¢B =A+B
II Do ai
IÇIEI
» (pV q) =» p^ » q = p # q
A+B =A¢B
Ex: "É inteligente e estuda"
» (p ^ q) ,» pV » q
"não é inteligente ou não estuda "
FEDEM
[Link]
FIEED
Ex2: "É médico ou professor”
» (p _ q) ,» p^ » q
"não é médico e não é
professor."
Negação da Condicional
p q NAVE
puf
p g
nupr Nf ping
Negação da Bicondicional
p q p f 118 A
fupuf 1 nqup
1 nqup
p NP V8
q
1 qua
p g puf
NP V8 V NINGUP
V EMP
PANG
Npr g
ping
p g Peng
Apep
V EMP
PANG
p g p ng
F V V V V V F F V
V F F V V V V F
F F V V E V E V
F F V F
F F V E V
3 1 2 1 1 3 2 1
1
8 p
perf p f
puf 1 up up
p 8 EEEE
up
up
puf
V up
Np
Npr ng
V nn
qr
ping genp
f up up
p
f puf
p
ping
Npr ng
Copo
3
8 p g
r prur no
p f a pr
Nr nF
V F F FV
YY Y V V V V F F V
V F F V V V F FV V F
F E V E F V V F
F V V V V F F FU V E V
E V U F F F F F F V E V
F V F V V V F F V
FV F
F V F F F F F F F V UF
1 2 13 1 5 13 21 4 21
Não São Equivalentso O
Sr
V M 43 1
4 1
Ezra
2
p 2 1
243
q
1N
q
pung
1N
pung q
V V F V F F V V V
V V V F V V F F V
F F F V E V V F F
V F V V F F F
F
1 2 1
1 3 2 1 4 3
não são equivalentes
CAPS
5 mostrar
XY
n
VEEIRA EI
q aq p
p
ing p
puf
ing p
puf
V V V F F V V V
V V F V V E V
F V V F F V V F
F F F F V E V F
1 2 1 32 1 1
4
Método Dedutivo
p; q; r; t ! Verdadeira
C! Falsa
P ; Q; R; T ! Tautologias
C ! Contradição
1) (i) c ) p (ii) p ) t
(i) c ) p :
c ! p ,» cV p , tV p , T
(ii) p ) t
p ! t ,» pV t , T
2) p ^ q ) p : (Simpli cação)
p ^ q ! p ,» (p ^ q) _ p ,
(» pV » q) V p , (» pV p) V » q
,T V »q,T
Ler todas as regras
do capítulo 8!
3) p ) pV q : (adição)
p ! (pV q) ,» pV (pV q)
(Modus Ponens)
(modus Tollens)
(Silogismo
disjuntivo)
Simpli cação
Redução Do NÚMERO DE CONECTIVOS
Redução Do NÚMERO DE CONECTIVOS