NOES DE LGICA MATEMTICA

VALIDADE DE ARGUMENTO
No incio deste roteiro, mencionamos que nosso principal objetivo a investigao da
validade de ARGUMN!"#$ conjunto de enunciados dos quais um a %"N%&U#'"
e os demais (RM)##A#*
+amos veri,icar como podemos proceder na investigao de certos argumentos de
modo ,ormal *
DEFINIO$ %-amamos ARGUMENTO uma seq./ncia
A1 , A2 ,A3 ,... , An , B 0n 12 de ,3rmulas onde os Ai 01< i < n2 c-amam4se premissas e
a 5ltima ,3rmula B, concluso.
DEFINIO$ Um ARGUMENTO A1 , A2 ,A3 ,... , An , B VLIDO se e somente se,
sendo as premissas verdadeiras a concluso B tambm verdadeira, ou ainda, se e
somente se, a ,3rmula
A1 A2A3 ... An B uma tautologia que ser6 indicado como segue
A1 , A2 , A3 ,... , An | B que se l/ $
7A1 , A2 , A3 ,... , An acarretam B7 ou, 7B decorre de A1 , A2 , A3 ,... , An 7 ou,
7B se dedu8 de A1 , A2 , A3 ,... , An7 ou ainda, 7B se in,ere de A1 , A2 , A3 ,... , An *7
VALIDADE DE UM ARGUMENTO: VERIFICAO POR TABELA
VERDADE.
%om o uso das tabelas verdade su,iciente veri,icar se a ,3rmula
A1 A2A3 ... An B tautologia*
Exemplo$ " argumento p, !, !, v6lido pois a ,3rmula
"p " !# ! # uma tautologia*
" que veri,icamos nas lin-as onde as premissas so verdadeiras que a concluso
tambm verdadeira
0tabela verdade abai9o, lin-a :2*
p ! p

!
!
+ + + + + ; ;
+ + ; + ; + ;
+ ; + + + ; +
+ ; ; V V V V
; + + ; + ; ;
; + ; ; ; + ;
; ; + ; + ; +
; ; ; ; + + +

VALIDADE DE UM ARGUMENTO: DEMONSTRAO
(odemos veri,icar a validade de um argumento atravs de mtodos de demonstrao $
1. DEMONSTRAO DIRETA
2. DEMONSTRAO INDIRETA !ONDI!IONA"
#. DEMONSTRAO INDIRETA $OR A%S&RDO
'. DEMONSTRAO INDIRETA ( )R*ORE DE REF&TAO
1. DEMON$TRA%&O DIRETA
%onsiste em +emons,rar ou +e+u-ir a concluso B a partir das premissas A1 , A2 , A3
,... , An , aplicando as E.&I*A"/N!IAS TA&TO"01I!AS e as RE1RAS DE
INFER/N!IA *
Exemplo $ <emonstrar a validade do argumento p, ! , ! ,
<emonstrao $
=* p premissa
>* ! premissa
?* ! premissa
:* %oncluso 0> e ? $ Mo+us Tollens2
Exemplo $<emonstrar a validade do argumento p , ! , ! ' , ' p
<emonstrao $
=* p premissa
>* ! premissa
?* ! ' premissa
:* p ! =*>* Silo2ismo 3ipo,4,ico
@* ! ' ?* De5. +e implica6o
A* p ' :*@* Silo2ismo 3ipo,4,ico
B* ' p A* !on,raposi6o
C* ' p %oncluso B* Ne2a6o

2. DEMON$TRA%&O INDIRETA ( )ONDI)IONAL
(ara demonstrar a validade de argumentos cuja concluso uma ,3rmula condicional do
tipo B ) , considera4se o an,ece+en,e B, como uma p!*+i''a a,i-ional e o
conse78en,e) ser6 a concluso a ser demonstrada*
<e ,ato, sendo$
1. A1 , A2 , A3 ,... , An , B , ) v6lido ento
2. A1 , A2 , A3 ,... , An , B | ) isto ,
3. ""A1 A2 A3 ... An # B # ) tautologia
.. "A1 A2 A3 ... An # "B )# tautologia 9Impor,a6o e Expor,a6o: e
portanto
/. A1 , A2 , A3 ,... , An | B ) ou ainda,
0. A1 , A2 , A3 ,... , An, B ) v6lido
Exemplo $ <emonstrar a validade do argumento p , ! , ! ' , ' p
<emonstrao $
=* p premissa
>* ! premissa
?* ! ' premissa
:* ' p!*+i''a a,i-ional
@* ! ?*:* Silo2ismo Dis;un,i<o
A* p ! =*>* Silo2ismo 3ipo,4,ico
B* ! p A* !on,raposi6o
C* p %oncluso @*B* Mo+us $onens

3.DEMON$TRA%&O INDIRETA ( 1OR AB$URDO
(ara demonstrar, por absurdo, um argumento A1 , A2 , A3 ,..., An, B considera4se a
negao da conclusoB como p!*+i''a a,i-ional e conclui4se uma ,3rmula 2
0,3rmula ,alsa do tipo 2
<e ,ato, sendo$
1.A1 , A2 , A3 ,..., An , B | 2 v6lido, temos
2.A1 , A2 , A3 ,..., An | B 2 isto ,
3.A1 , A2 , A3 ,..., An | B 2 0De5. implica6o2
..A1 , A2 , A3 ,..., An | B 2 0Ne2a6o2
/.A1 , A2 , A3 ,..., An |B 0$roprie+a+e +e F2 ou ainda,
0.A1 , A2 , A3 ,... , An , B v6lido*
Exemplo $ <emonstrar, po! a3'u!,o, a validade do argumento
p , ! , ! ' , ' p
=*p premissa
>* ! premissa
?* ! ' premissa
:* " ' p# p!*+i''a a,i-ional
@*p ! =*>* Silo2ismo 3ipo,4,ico
A* ! ' ?* De5. +e implica6o
B* p ' @*A* Silo2ismo 3ipo,4,ico
C* ' p B* !on,raposi6o
D* " ' p# " ' p# :* C* Conjuno
=1* 2
NOES DE LGICA MATEMTICA
VALIDADE DE ARGUMENTO
No incio deste roteiro, mencionamos que nosso principal objetivo a investigao da
validade de ARGUMN!"#$ conjunto de enunciados dos quais um a %"N%&U#'"
e os demais (RM)##A#*
+amos veri,icar como podemos proceder na investigao de certos argumentos de
modo ,ormal *
DEFINIO$ %-amamos ARGUMENTO uma seq./ncia
A1 , A2 ,A3 ,... , An , B 0n 12 de ,3rmulas onde os Ai 01< i < n2 c-amam4se premissas e
a 5ltima ,3rmula B, concluso.
DEFINIO$ Um ARGUMENTO A1 , A2 ,A3 ,... , An , B VLIDO se e somente se,
sendo as premissas verdadeiras a concluso B tambm verdadeira, ou ainda, se e
somente se, a ,3rmula
A1 A2A3 ... An B uma tautologia que ser6 indicado como segue
A1 , A2 , A3 ,... , An | B que se l/ $
7A1 , A2 , A3 ,... , An acarretam B7 ou, 7B decorre de A1 , A2 , A3 ,... , An 7 ou,
7B se dedu8 de A1 , A2 , A3 ,... , An7 ou ainda, 7B se in,ere de A1 , A2 , A3 ,... , An *7
VALIDADE DE UM ARGUMENTO: VERIFICAO POR TABELA
VERDADE.
%om o uso das tabelas verdade su,iciente veri,icar se a ,3rmula
A1 A2A3 ... An B tautologia*
Exemplo$ " argumento p, !, !, v6lido pois a ,3rmula
"p " !# ! # uma tautologia*
" que veri,icamos nas lin-as onde as premissas so verdadeiras que a concluso
tambm verdadeira
0tabela verdade abai9o, lin-a :2*
p ! p

!
!
+ + + + + ; ;
+ + ; + ; + ;
+ ; + + + ; +
+ ; ; V V V V
; + + ; + ; ;
; + ; ; ; + ;
; ; + ; + ; +
; ; ; ; + + +

VALIDADE DE UM ARGUMENTO: DEMONSTRAO
(odemos veri,icar a validade de um argumento atravs de mtodos de demonstrao $
1. DEMONSTRAO DIRETA
2. DEMONSTRAO INDIRETA !ONDI!IONA"
#. DEMONSTRAO INDIRETA $OR A%S&RDO
'. DEMONSTRAO INDIRETA ( )R*ORE DE REF&TAO
1. DEMON$TRA%&O DIRETA
%onsiste em +emons,rar ou +e+u-ir a concluso B a partir das premissas A1 , A2 , A3
,... , An , aplicando as E.&I*A"/N!IAS TA&TO"01I!AS e as RE1RAS DE
INFER/N!IA *
Exemplo $ <emonstrar a validade do argumento p, ! , ! ,
<emonstrao $
=* p premissa
>* ! premissa
?* ! premissa
:* %oncluso 0> e ? $ Mo+us Tollens2
Exemplo $<emonstrar a validade do argumento p , ! , ! ' , ' p
<emonstrao $
=* p premissa
>* ! premissa
?* ! ' premissa
:* p ! =*>* Silo2ismo 3ipo,4,ico
@* ! ' ?* De5. +e implica6o
A* p ' :*@* Silo2ismo 3ipo,4,ico
B* ' p A* !on,raposi6o
C* ' p %oncluso B* Ne2a6o

2. DEMON$TRA%&O INDIRETA ( )ONDI)IONAL
(ara demonstrar a validade de argumentos cuja concluso uma ,3rmula condicional do
tipo B ) , considera4se o an,ece+en,e B, como uma p!*+i''a a,i-ional e o
conse78en,e) ser6 a concluso a ser demonstrada*
<e ,ato, sendo$
1. A1 , A2 , A3 ,... , An , B , ) v6lido ento
2. A1 , A2 , A3 ,... , An , B | ) isto ,
3. ""A1 A2 A3 ... An # B # ) tautologia
.. "A1 A2 A3 ... An # "B )# tautologia 9Impor,a6o e Expor,a6o: e
portanto
/. A1 , A2 , A3 ,... , An | B ) ou ainda,
0. A1 , A2 , A3 ,... , An, B ) v6lido
Exemplo $ <emonstrar a validade do argumento p , ! , ! ' , ' p
<emonstrao $
=* p premissa
>* ! premissa
?* ! ' premissa
:* ' p!*+i''a a,i-ional
@* ! ?*:* Silo2ismo Dis;un,i<o
A* p ! =*>* Silo2ismo 3ipo,4,ico
B* ! p A* !on,raposi6o
C* p %oncluso @*B* Mo+us $onens

3.DEMON$TRA%&O INDIRETA ( 1OR AB$URDO
(ara demonstrar, por absurdo, um argumento A1 , A2 , A3 ,..., An, B considera4se a
negao da conclusoB como p!*+i''a a,i-ional e conclui4se uma ,3rmula 2
0,3rmula ,alsa do tipo 2
<e ,ato, sendo$
1.A1 , A2 , A3 ,..., An , B | 2 v6lido, temos
2.A1 , A2 , A3 ,..., An | B 2 isto ,
3.A1 , A2 , A3 ,..., An | B 2 0De5. implica6o2
..A1 , A2 , A3 ,..., An | B 2 0Ne2a6o2
/.A1 , A2 , A3 ,..., An |B 0$roprie+a+e +e F2 ou ainda,
0.A1 , A2 , A3 ,... , An , B v6lido*
Exemplo $ <emonstrar, po! a3'u!,o, a validade do argumento
p , ! , ! ' , ' p
=*p premissa
>* ! premissa
?* ! ' premissa
:* " ' p# p!*+i''a a,i-ional
@*p ! =*>* Silo2ismo 3ipo,4,ico
A* ! ' ?* De5. +e implica6o
B* p ' @*A* Silo2ismo 3ipo,4,ico
C* ' p B* !on,raposi6o
D* " ' p# " ' p# :* C* Conjuno
=1* 2
CELINA ABAR
- 2004 - NOES DE LGICA MATEMTICA
DEMON$TRA%&O INDIRETA 4 )R*ORE DE REF&TAO
)R*ORE DE REF&TAO um mtodo para veri,icar a validade de um argumento,
an6logo E demonstrao por absurdo*(ara testarmos a validade de um argumento
construmos uma lista de ,3rmulas consistindo de suas premissas
A1, A2 , A3 ,... ,An e a negao da sua concluso B que ,ormam a RAI= DA )R*ORE.
A 6rvore continua abai9o com a construo de seus RAMOS por aplicaFes de regras,
que sero especi,icadas abai9o, e gerando novas lin-as na 6rvore* A 6rvore termina
quando as ,3rmulas de seus ramos so$ vari6veis proposicionais, negaFes de vari6veis
proposicionais, ou quando encontrarmos em todos os ramos uma ,3rmula 2.
#e encontrarmos em todos os ramos da 6rvore uma ,3rmula 2, ento a nossa tentativa de
re,utao ,al-ou ou seja, o argumento v6lido* #e em algum ramo da 6rvore no ,oi
possvel encontrar uma ,3rmula 2, ento re,utamos o argumento, isto , o argumento
no v6lido*
Exemplo5 %onstruir uma 6rvore de re,utao para mostrar que$ p | p
4 screvemos a premissa e a negao da concluso$
=* p
>* p
4 #abemos que p verdadeira se, e somente se, p e so ambas verdadeirasG da,
podemos substituir
p por p e gerando as lin-as ?* e :*, respectivamente, e MAR!ANDO " # a
,3rmula p *
9&ma 5>rmula marca+a no po+er? mais ser u,ili-a+a na cons,ru6o +a ?r<ore@@@:
=* p
>* p
?* p
:*
4 %omo p verdadeira se e somente se p verdadeira, marcamos p e
substitumos por p gerando a lin-a @* $
=* p
>* p
?* p
:*
@* p
4 A 6rvore terminou pois das premissas e da negao da concluso obtivemos vari6veis
proposicionais ou negaFes de vari6veis proposicionais* (or outro lado encontramos nas
lin-as ?* e @* uma ,3rmula 2, ou seja, nossa tentativa de re,utao ,al-ou e portanto o
argumento v6lido* )sso ser6 e9presso escrevendo um 6 no ,inal da lista, gerando a
lin-a A e ,ec-ando o 5nico ramo da 6rvore*
=* p
>*p
?* p
:*
@* p
A* 6
A 6rvore de re,utao est6 completa* A nossa busca para uma re,utao do argumento
dado ,al-ou e, portanto, o argumento v6lido*
Exemplo5%onstruir uma 6rvore de re,utao para mostrar que $ p , p |
4 )niciamos a 6rvore escrevendo a lista de ,3rmulas as premissas e a negao da
concluso$
=* p
>* p
?*
4 #abemos que p verdadeira se, e somente se, p verdadeira ou verdadeira*
(ara representar esse ,ato, marcamos p e rami,icamos a 6rvore, gerando a lin-a :
com dois ramos$
=* p
>* p
?*
H I
:* p
4 A 6rvore terminou pois das premissas e da negao da concluso obtivemos vari6veis
proposicionais ou negaFes de vari6veis proposicionais* (or outro lado encontramos
uma ,3rmula 2 em um ramo, nas lin-as >* e :* e no outro ramo, nas lin-as ?* e :*, ou
seja, nossa tentativa de re,utao ,al-ou e portanto o argumento v6lido* )sso ser6
e9presso escrevendo um 6 no ,inal de cada ramo da lista gerando a lin-a @ e ,ec-ando
os dois ramos da 6rvore*
=* p
>* p
?*
H I
:* p
@* 6 6
A 6rvore de re,utao est6 completa* %omo a tentativa de re,utao ,al-ou nos dois
ramos, o argumento dado v6lido*
Exemplo5%onstruir uma 6rvore de re,utao para veri,icar a validade do argumento$
p , p |
=* p
>* p
?*
4 !emos que equivalente a G da, marcamos e escrevemos gerando a lin-a
:* $
=* p
>* p
?*
:*
4 %omo no e9emplo anterior, marcamos p e rami,icamos a 6rvore gerando a lin-a @*
com dois ramos$
=* p
>* p
?*
:*
7 8
@* p
4 A 6rvore terminou e nos dois ramos no -6 contradiFes, ou seja, uma ,3rmula 2*
Neste caso os ramos no sero ,ec-ados e o argumento no v6lido*
RE1RAS $ARA A !ONSTR&O DE &MA )R*ORE DE REF&TAO
As regras para a construo de uma 6rvore de re,utao esto relacionadas com as
tabelas verdade j6 con-ecidas* Ao aplicar uma regra em uma ,3rmula da 6rvore, temos a
observar que $
4 a ,3rmula ser6 marcada " # para evitar aplicaFes repetidas de uma regra em uma
mesma ,3rmula*
4 a aplicao de uma regra deve gerar $ uma ou duas lin-as, um ramo ou dois ramos
con,orme a regra, e ser6 aplicada em todos os ramos abertos 0no ,ec-ados com 62 aos
quais a ,3rmula pertence*
!emos as seguintes regras $
1. RE1RA DA D&$"A NE1AO "# $ Uma ,3rmula do tipo A gera uma linAa e
escrevemos A na lin-a* (rocedemos assim em todos os ramos abertos aos quais a
,3rmula A pertence pois, A verdadeira se e somente se A verdadeira*
2. RE1RA DA !ONB&NO "#$ Uma ,3rmula do tipo A B gera +uas linAas e
escrevemos, em cada lin-a, as ,3rmulas A e B* (rocedemos assim em todos os ramos
abertos aos quais a ,3rmula A B pertence pois, A B assume valor V se, e somente,
as ,3rmulas A * B so verdadeiras*
=* A B
>* A
?* B
#. RE1RA DA DISB&NO "#$ Uma ,3rmula do tipo A B gera uma linAa e +ois
ramos e escrevemos, na lin-a e, em cada ramo, as ,3rmulas A e B respectivamente*
(rocedemos assim em todos os ramos abertos aos quais a ,3rmula A B pertence pois,
A B assume valor V se, e somente, a ,3rmula A verdadeira ou a ,3rmula B
verdadeira*
=*A B
7 8
>* A B
'. RE1RA DA IM$"I!AO "#$ Uma ,3rmula do tipo A B gera uma linAa e
+ois ramos e escrevemos, na lin-a e, em cada ramo, as ,3rmulas A e B
respectivamente* (rocedemos assim em todos os ramos abertos aos quais a ,3rmula
A B pertence pois, A B assume valor V se, e somente, a ,3rmula A verdadeira
ou a ,3rmula B verdadeira*
=* A B
7 8
2. A B
C. RE1RA DA %I IM$"I!AO "# $ Uma ,3rmula do tipo AB gera +uas linAas
e +ois ramos e escrevemos nas lin-as as ,3rmulas A e B em um ramo e as ,3rmulas A
eB no outro ramo* (rocedemos assim em todos os ramos abertos aos quais a ,3rmula
AB pertence pois, AB assume valor V se, e somente, a ,3rmula
"A B# verdadeira ou a ,3rmula " A B# verdadeira*
1.AB
7 8
>*A A
?*B B
D. RE1RA DA NE1AO DA !ONB&NO " #$ Uma ,3rmula do tipo
"A B# gera uma linAa e +ois ramos e escrevemos, na lin-a e, em cada ramo, as
,3rmulas A e B respectivamente* (rocedemos assim em todos os ramos abertos aos
quais a ,3rmula "A B# pertence pois, "A B# assume valor V se, e somente, a
,3rmula A verdadeira ou a ,3rmula B verdadeira*
1. "A B#
7 8
2. A B
E. RE1RA DA NE1AO DA DISB&NO " # $ Uma ,3rmula do tipo
"A B# gera +uas linAas e escrevemos, em cada lin-a, as ,3rmulas A e B*
(rocedemos assim em todos os ramos abertos aos quais a ,3rmula "A B# pertence
pois, "A B# assume valor V se, e somente, as ,3rmulas A*B so verdadeiras*
1. "A B#
2. A
3. B
F. RE1RA DA NE1AO DA IM$"I!AO "# $ Uma ,3rmula do tipo
"A B# gera +uas linAas e escrevemos, em cada lin-a, as ,3rmulas A e B*
(rocedemos assim em todos os ramos abertos aos quais a ,3rmula "A B# pertence
pois, "A B# assume valor V se, e somente, as ,3rmulas A* B so verdadeiras*
1. "A B#
>* A
3. B
G. RE1RA DA NE1AO DA %I IM$"I!AO "#$ Uma ,3rmula do tipo
"AB# gera +uas linAas e +ois ramos e escrevemos nas lin-as as ,3rmulas A e B
em um ramo e as ,3rmulas A e B no outro ramo* (rocedemos assim em todos os ramos
abertos aos quais a ,3rmula "AB# pertence pois, "AB# assume valor V se, e
somente, a ,3rmula "A B# verdadeira ou a ,3rmula "A B# verdadeira*
1."AB#
7 8
2. A A
?* B B
1H. RAMO FE!3ADO $ Um ramo ser6 ,ec-ado se nele e9istem uma ,3rmula A e sua
negao A e escrevemos 6 no ,inal do ramo*
=* A
>* A
?* 6

O%SER*AIESJ
4 As regras dadas para construir 6rvores de re,utao se aplicam em cada lin-a ao
conectivo principal da ,3rmula e no a sub,3rmulas* (or e9emplo,
=* p
>* p =*"# 0)N%"RR!"JJ2
4 No importa a ordem em que as regras so aplicadasG no entanto, mais e,iciente
aplicar as regras, primeiramente, em ,3rmulas que no resultam em rami,icaFes*
4 %ada lin-a gerada deve ser 9u'ti:i-a,a indicando a respectiva lin-a de origem na qual
,oi aplicada a regra e tambm a regra usada*
4 ;3rmula na qual ,oi aplicada alguma regra deve ser marcada " # para evitar
aplicaFes repetidas da mesma*
Exemplos$
=*2 +eri,icar, por meio de 6rvore de re,utao, a validade do argumento$
p ! ', ! ' , p
=* p ! ' 1!*+i''a
>* ! ' 1!*+i''a
?* "p # N*ga;<o ,a )on-lu'<o
:* p ?*" #
@* ?*" #
7 8
A* p "! '# =*" #
B* 60A*:2 7 8
C* ! ' A* " #
7 8 7 8
D* "! '# "! '# >*" #
7 8 8 7 8 8
=1* ! ' 6 ! ' 6 " #
==* 6 = 0D*@2 6 = 0D*@2
0=1*C2 0=1*C2
!emos neste caso dois ramos que no ,ec-aram e, portanto, o argumento no 4 <?li+o*
>*2 %onstruir uma 6rvore de re,utao para veri,icar se a ,3rmula
"p # "p # uma tautologia$
=* ""p # "p ## N*ga;<o ,a )on-lu'<o
>* "p # =* " #
?* "p # =* " #
:* p >* "#
@* >* "#
7 8
A* p ?* " #
B* 6 6
0A*:2 0A*@2
!odos os ramos esto ,ec-adosG assim a ,3rmula v6lida, ou seja, uma ,au,olo2ia*
NOES DE LGICA MATEMTICA
O aprendizado da Lgica auxilia os estudantes no raciocnio, na compreenso de conceitos
bsicos, na verificao formal de programas e melhor os prepara para o entendimento do
contedo de tpicos mais avanados
!ste roteiro constitui uma INTRODUO LGICA ELEMENTAR CLSSICA, procurando
alcanar os ob"etivos gerais e especficos propostos pela disciplina Lgica #atemtica de
$ursos de $i%ncia da $omputao &ue possuem a Lgica #atemtica em seu currculo
O &ue apresentamos a&ui, de modo sucinto, engloba uma parte do contedo da disciplina
LGICA MATEMTICA do curso de $i%ncia da $omputao desta 'niversidade

!speramos estar contribuindo para o seu aprendizado(
PONTIFCIA UNIVERSIDADE CATLICA DE SO PAULO
CENTRO DAS CINCIAS EXATAS E TECNOLOGIA
- CELINA A.A.P. ABAR -
- 200
NOES DE LGICA MATEMTICA
INTRODUO
Neste roteiro, o principal objetivo ser6 a investigao da validade de ARGUMENTO$$
conjunto de enunciados dos quais um a )ON)LU$&O e os demais 1REMI$$A$*
"s argumentos esto tradicionalmente divididos em DEDUTIVO$ e INDUTIVO$*
ARGUMENTO DEDUTIVO5 v6lido quando suas premissas, se verdadeiras, a
concluso tambm verdadeira*
(remissa $ 7!odo -omem mortal*7
(remissa $ 7Koo -omem*7
%oncluso $ 7Koo mortal*7
sses argumentos sero objeto de estudo neste roteiro*
ARGUMENTO INDUTIVO5 a verdade das premissas no basta para assegurar a
verdade da concluso*
(remissa $ 7L comum ap3s a c-uva ,icar nublado*7
(remissa $ 7st6 c-ovendo*7
%oncluso$ 7;icar6 nublado*7
No trataremos do estudo desses argumentos neste roteiro*
As premissas e a concluso de um argumento, ,ormuladas em uma linguagem
estruturada, permitem que o argumento possa ter uma an6lise l3gica apropriada para a
veri,icao de sua validade* !ais tcnicas de an6lise sero tratadas no decorrer deste
roteiro*
NOES DE LGICA MATEMTICA
UMA CLASSIFICAO DA LGICA

Alguns autores dividem o estudo da &3gica em$
L>GI)A INDUTIVA$ 5til no estudo da teoria da probabilidade 0no ser6 abordada
neste roteiro2*
e
L>GI)A DEDUTIVA$ que pode ser dividida em $

L>GI)A )L$$I)A( %onsiderada como o n5cleo da l3gica dedutiva* L o que
c-amamos -oje de %M&%U&" < (R<)%A<"# < =
a
"R<M com ou sem
igualdade e de alguns de seus subsistemas*
!r/s (rincpios 0entre outros2 regem a &3gica %l6ssica$ da IDENTIDADE, da
!ONTRADIO e do TER!EIRO EK!"&LDO os quais sero abordados mais
adiante*
L>GI)A$ )OM1LEMENTARE$ DA )L$$I)A$ %omplementam de algum
modo a l3gica cl6ssica estendendo o seu domnio* 9emplos$ l3gicas modal , deNntica,
epist/mica , etc*
L>GI)A$ N&O ( )L$$I)A$$ Assim caracteri8adas por derrogarem algum ou
alguns dos princpios da l3gica cl6ssica* 9emplos$ paracompletas e intuicionistas
0derrogam o princpio do terceiro e9cludo2G paraconsistentes 0derrogam o princpio da
contradio2G no4alticas 0derrogam o terceiro e9cludo e o da contradio2G no4
re,le9ivas 0derrogam o princpio da identidade2G probabilsticas, polivalentes, ,u88O4
logic, etc***
NOES DE LGICA MATEMTICA
!ESBOO! DO DESENVOLVIMENTO DA LGICA
1ER?ODO ARI$TOT@LI)O 0 ?D1 a*%* a =C:1 d*%*2
A -ist3ria da &3gica tem incio com o ,il3so,o grego ARIST0TE"ES 0?C: 4 ?>>a*%*2
de stagira 0-oje stavo2 na MacedNnia* Arist3teles criou a ci/ncia da &3gica cuja
ess/ncia era a teoria do silogismo 0certa ,orma de argumento v6lido2* #eus escritos
,oram reunidos na obra denominada Organon ou Instrumento da Cincia*
Na Grcia, distinguiram4se duas grandes escolas de &3gica, a (R)(A!L!)%A 0que
derivava de Arist3teles2 e a #!P)%A ,undada por Qeno 0?>A4>A:a*%*2* A escola
#!P)%A ,oi desenvolvida por %risipo 0>C14>@1a*%*2 a partir da escola MGMR)A
0,undada por uclides, um seguidor de #3crates2* #egundo Rneale e Rneale 0O
Desenvolvimento da Lgica2, -ouve durante muitos anos uma certa rivalidade entre os
(eripatticos e os Meg6rios e que isto talve8 ten-a prejudicado o desenvolvimento da
l3gica, embora na verdade as teorias destas escolas ,ossem complementares*
1OTTFRIED MI"3E"M "EI%NI= 0=A:A4=B=A2 merece ser citado, apesar de seus
trabal-os terem tido pouca in,lu/ncia nos >11 anos seguidos e s3 ,oram apreciados e
con-ecidos no sculo S)S *
1ER?ODO BOOLEANO $0 =C:1 a =D=12
)nicia4se com 1EOR1E %OO"E 0=C=@4=CA:2 e A&1&ST&S DE MOR1AN 0=C1A4
=CB=2* (ublicaram os ,undamentos da c-amada Mlgebra da l3gica, respectivamente com
MATHMATICAL A!AL"#I# O$ LO%IC e $O&MAL LO%IC.
1OT"O% FRE1E 0=C:C4=D>@2 um grande passo no desenvolvimento da l3gica com a
obra '%&I$$##CH&I$T de =CBD* As idias de ;rege s3 ,oram recon-ecidas pelos
l3gicos mais ou menos a partir de =D1@* L devido a ;rege o desenvolvimento da l3gica
que se seguiu*
1I&SE$$E $EANO 0=C@C4=D?>2 e sua escola com Turali4;orti, +acca, (ieri, (6doa,
+ailati, etc* Uuase toda simbologia da matem6tica se deve a essa escola italiana*
1ER?ODO ATUAL5 0=D=14 ********2
%om %ERTRAND R&SSE"" 0=CB>4=DB12 e A"FRED NORT3 M3ITE3EAD
0=CA=4=D:B2 se inicia o perodo atual da l3gica, com a obra (&I!CI(IA
MATHMATICA*
DA*ID 3I"%ERT 0=CA>4=D:?2 e sua escola alem com von Neuman, TernaOs,
AcVerman e outros*
N&RT 1ODE" 0=D1A4=DBC2 e A"FRED TARSNI 0=D1>4=DC?2 com suas importantes
contribuiFes*
#urgem as &3gicas no4cl6ssicas $ N.!.A. DA !OSTA com as l3gicas paraconsistentes ,
". A. =ADE3 com a lAgi-a B:uCCDB e as contribuiFes dessas l3gicas para a
)n,orm6tica, no campo da )ntelig/ncia Arti,icial com os #istemas specialistas*
Woje as especialidades se multiplicam e as pesquisas em &3gica englobam muitas 6reas
do con-ecimento*
#aiba mais sobre estes importantes l3gicos e matem6ticos*
NOES DE LGICA MATEMTICA
CLCULO PROPOSICIONAL
%omo primeira e indispens6vel parte da &3gica Matem6tica temos o !)"!&"O
$RO$OSI!IONA" ou !)"!&"O SENTEN!IA" ou ainda !)"!&"O DAS
SENTENAS*
)ON)EITO DE 1RO1O$I%&O
$RO$OSIO$ '*nt*n;a' ,*-la!atiEa' a:i!+atiEa' 0e9presso de uma linguagem2 da
qual ten-a sentido a,irmar que seja verdadeira ou que seja ,alsa*
A lua quadrada*
A neve branca*
Matem6tica uma ci/ncia*
No sero objeto de estudo as sentenas interrogativas ou e9clamativas*
O$ $?MBOLO$ DA LINGUAGEM DO )L)ULO 1RO1O$I)IONAL
*ARI)*EIS $RO$OSI!IONAIS$ letras latinas min5sculas p,,!,',**** para indicar as
proposiFes 0,3rmulas atNmicas2 *
Exemplos$ A lua quadrada $ p
A neve branca $
!ONE!TI*OS "01I!OS$ As ,3rmulas atNmicas podem ser combinadas entre si e,
para representar tais combinaFes usaremos os conectivos l3gicos $
$ * , $ ou , $ '*****nt<o , $ '* * 'o+*nt* '* , $ n<o
Exemplos$
A lua quadrada * a neve branca* $ p 0p e q so c-amados
-on9un-to'2
A lua quadrada ou a neve branca* $ p 0 p e q so c-amados
,i'9un-to'2
$* a lua quadrada *nt<o a neve branca* $ p 0 p o ant*-*,*nt*
e q o -on'*F*nt*2
A lua quadrada '* * 'o+*nt* '* a neve branca* $ p
A lua n<o quadrada* $ p


SLM%O"OS A&KI"IARES $ " # , par/nteses que servem para denotar o 7alcance7 dos
conectivosG
Exemplos$
$* a lua quadrada * a neve branca *nt<o a lua n<o quadrada* $
""p # p#
A lua n<o quadrada '* * 'o+*nt* '* a neve branca* $
"" p# ##
DEFINIO DE F0RM&"A $
=* !oda :A!+ula atG+i-a uma ,3rmula*
>* #e A e B so ,3rmulas ento
"A B# , "A B# , "A B# , "A B# e " A# tambm so ,3rmulas*
?* #o ,3rmulas apenas as obtidas por =* e >* *
"s par/nteses sero usados segundo a seguinte ordem dos conectivos$ , , , , .
%om o mesmo conectivo adotaremos a conveno pela ,i!*ita*
Exemplo$ a ,3rmula p ! p deve ser entendida como
"""p # " !## " p " ###
A$ TABELA$ VERDADE
A l3gica cl6ssica governada por tr/s princpios 0entre outros2 que podem ser
,ormulados como segue$
$rincPpio +a I+en,i+a+eJ !odo objeto id/ntico a si mesmo*
$rincPpio +a !on,ra+i6o5 <adas duas proposiFes contradit3rias 0uma negao da
outra2, uma delas ,alsa*
$rincPpio +o Terceiro ExcluP+oJ <adas duas proposiFes contradit3rias, uma delas
verdadeira*
%om base nesses princpios as proposiFes simples so ou verdadeiras ou ,alsas 4 sendo
mutuamente e9clusivos os dois casosG da di8er que a l3gica cl6ssica bivalente*
(ara determinar o valor 0verdade ou ,alsidade2 das proposiFes compostas
0moleculares2, con-ecidos os valores das proposiFes simples 0atNmicas2 que as
compFem usaremos tabelas4verdade $
=*!abela verdade da 7negao7 $ Xp verdadeira 0,alsa2 se e somente se p ,alsa
0verdadeira2*
p Xp
+ ;
; +
>* !abela verdade da 7conjuno7 $ a conjuno verdadeira se e somente os conjunctos
so verdadeiros*
p q
p
q
+ + +
+ ; ;
; + ;
; ; ;
?* !abela verdade da 7disjuno7 $ a disjuno ,alsa se, e somente, os disjunctos so
,alsos*
p q p q
+ + +
+ ; +
; + +
; ; ;
:* !abela verdade da 7implicao7$ a implicao ,alsa se, e somente se, o antecedente
verdadeiro e o conseq.ente ,also*
p q
p q
+ + +
+ ; ;
; + +
; ; +
@* !abela verdade da 7bi4implicao7$ a bi4implicao verdadeira se, e somente se
seus componentes so ou ambos verdadeiros ou ambos ,alsos
p q p q
+ + +
+ ; ;
; + ;
; ; +
Exemplo$ %onstruir a tabela verdade da ,3rmula $ 00p q2 Xp2 0q p2
p q 00p q2 Xp2 0q p2
+ + + ; ; V +
+ ; + ; ; V ;
; + + + + 2 ;
; ; ; + + 2 ;
NYMR" < &)NWA# < UMA !AT&A4+R<A<$ %ada proposio simples
0atNmica2 tem dois valores + ou ;, que se e9cluem* (ara n atNmicas distintas, -6 tantas
possibilidades quantos so os arranjos com repetio de > 0+ e ;2 elementos n a n*
#egue4se que o n5mero de lin-as da tabela verdade >
n
* Assim, para duas proposiFes
so >
2
Z : lin-asG para ? proposiFes so >
3
Z CG etc*
Exemplo$ a tabela 4 verdade da ,3rmula 00p q2 r2 ter6 C lin-as como segue $
p q r
00p q2 r 2
+ + + + V
+ + ; + 2
+ ; + ; V
+ ; ; ; V
; + + ; V
; + ; ; V
; ; + ; V
; ; ; ; V
NOTA5 7"U S%&U#)+"7 L importante observar que 7ou7 pode ter dois sentidos na
linguagem -abitual$ in-lu'iEo 0disjuno2 07vel72 e *H-lu'iEo 0 7aut72 onde p q
signi,ica 00p q2 0p q22*
p q 00p q2 0p q22
+ + + 2 ; +
+ ; + V + ;
; + + V + ;
; ; ; 2 + ;
NOES DE LGICA MATEMTICA
O CLCULO PROPOSICIONAL E A LGEBRA DOS CON"UNTOS
" %6lculo (roposicional e a Mlgebra dos %onjuntos possuem estruturas semel-antes*
!oda ,3rmula do %6lculo (roposicional determina uma operao correspondente entre
conjuntos $
a negao 0 2 corresponde E complementao 0 I 2,
a conjuno 0 2 corresponde E interseco 0 2 ,
a disjuno 0 2 corresponde E unio 0 2*
As vari6veis proposicionais podem servir como vari6veis simboli8ando conjuntos na
nova e9presso*
Exemplo$ 00 p # p#corresponde a "" p # pI#
(odemos e9pressar, as operaFes entre conjuntos atravs dos DIA1RAMAS DE
E&"ER*ENN 0Ko-n +enn =C?:4=D>?2 que so 5teis na veri,icao de propriedades de
operaFes entre conjuntos, mas no devem ser considerados instrumentos de prova
matem6tica rigorosa* +eri,ique seu con-ecimento com estas operaFes considerando >
conjuntos ou ? conjuntos *
1.)OM1LEMENTA%&O $ pIque corresponde E NEGA%&O 5p
p J p
1 + ;
2 ; +
onde as lin-as 0=2 e 0>2 da tabela correspondem Es regiFes 0=2 e 0>2 do diagrama
respectivamente*
2*UNI&O $ p que corresponde E DI$KUN%&O5 p
p
p p

1 + + +
2 + ; +
3 ; + +
. ; ; ;
as lin-as 0=2, 0>2, 0?2 e 0:2 da tabela correspondem Es regiFes 0=2, 0>2, 0?2 e 0:2 do
diagrama respectivamente*
A !*gi<o La-Lu!a,a no diagrama corresponde Es lin-as da tabela onde a ,3rmula p
assume valor V*
3. INTER$E)%&O $ p que corresponde E )ONKUN%&O5 p
p
p
p
1 ++ +
2 + ; ;
3 ; + ;
. ; ; ;
A !*gi<o La-Lu!a,a do diagrama corresponde E lin-a 0=2 da tabela, onde a ,3rmula
p assume valor V*
A ,igura abai9o ,orma um <iagrama de +enn apropriado para t!M' -on9unto'* !emos N
!*giO*' que correspondem, respectivamente, Es C lin-as da tabela4verdade ao lado do
diagrama $

p !
1++ +
2 + + ;
3 + ; +
. + ; ;
/ ; + +
0 ; + ;
P ; ; +
N ; ; ;
Exemplo$ " diagrama de +enn abai9o corresponde E ,3rmula 00p q2 r2 e E
e9presso "p # !I* " valor V da ,3rmula 05ltima coluna2 corresponde E regio 2
do diagrama de +enn*
p !
""p # ! #
+ + + 2
+
+ +
+ + ; V

+
;
;
+ ; + 2

;
+
+
+ ; ; 2

;
+
;
; + + 2

;
+
+
; + ; 2

;
+
;
; ; + 2

;
+
+
; ; ; 2

;
+
;
TAUTOLOGIA E CONTRA -TAUTOLOGIA
TA&TO"O1IA ou F0RM&"A "O1I!AMENTE *)"IDA $ ;3rmula que possui
apenas valor V em sua tabela verdade* Exemplo $ p p
p p p p
1 + ; V
2 ; + V

!ONTRATA&TO"O1IA ou F0RM&"A "O1I!AMENTE FA"SA$ ;3rmula que
possui apenas valor 2 em sua tabela verdade* Exemplo $ p p

p pp

p
1 + ;
2
2 ; + 2

!ONTIN1ENTE ou INDETERMINADA$ ;3rmula que possui valores V e 2 em sua
tabela verdade*
Exemplo $ p
p p

1 + + +
2 + ; ;
3 ; + +
. ; ; +
REGRA$ DE IN2ERQN)IA.5 A ,3rmula implica tautologicamente a ,3rmula e
indicamos se e somente se a ,3rmula R u+a tautologia *
R*g!a'

2A!+ula' AtG+i-a' 2A!+ula' )o+po'ta'
Mo+us
$onens
M1 p
"p

#

A,
A
B 7 B
Mo MT B,
+us
Toll
ens

" p

#

p
A
B 7
A
Silo
2is
mo
3ip
o,4,
ico
$S "p

#
"

!#

"p

!#
A

B,
B

) 7
A

)
Silo
2is
mo
Dis;
un,i
<o
$D "p
#
p

A,
A
B 7
B
Sim
pli5i
ca6
o
$M p


p
A
B 7
A
A+i
6o
AD p

p

A 7
A
B
Eli
min
a6
o
EL "p

"
!# #



p
!

B ,
"A

"B
)# 7
A

)
$ro
<a
por
!as
os
)$ "p

!#
"

!#

"p
#
!
A

),
B

) 7
"A
B
#
)
E.&I*A"/N!IAS TA&TO"01I!AS $ As ,3rmulas e so tautologicamente
equivalentes e indicamos se e somente se a ,3rmula R u+a tautologia

Co
mut
ativ
a
p



p
p



p
Associativa "p # ! p " !# "p # ! p " !#
Idem)otente p p p p p p
(ro)riedades de * p V p p V V
(ro)riedades de $ p 2 2 p 2 p
A+soro p " p ! # p p "p !# p
Distri+utivas p " !# "p # "p !# p " !# "p # "p !#
Distri+utivas p " !# "p # "p
!#
p " !# "p # "p !#
Leis de De Morgan "p # p "p # p
De,. im)licao p Jp p " p #
De,. +icondicional p "p # " p# p "Jp # "J p#
!egao " p# p
Contra)osio p p
-)ortao. / Im)ortao . / "p # ! p " ! #
Troca de (remissas p " ! # " p ! #
Exemplo $ <adas as ,3rmulas A$ p " !# e B $ " ! # p vamos veri,icar que
A B ou ainda que A 7 B* Tasta veri,icar, com o uso das tabelas verdade, que A B
R tautologia*
p ! " p " !## " " ! # p#
+ + + + V +
+ + ; ; V ;
+ ; + ; V ;
+ ; ; ; V ;
; + + + V +
; + ; + V +
; ; + + V +
; ; ; + V +
Neste e9emplo, A B pois A B tautologia*
As TAUTOLOGIA$ so in,initas e desempen-am um importante papel nos processos
de deduo no %6lculo (roposicional como veremos em pr39imos t3picos*
FORMAS NORMAIS CON"UNTIVA E DIS"UNTIVA
Algumas E.&I*A"/N!IAS TA&TO"01I!AS dadas acima nos permitem
trans,ormar qualquer ,3rmula em uma ,3rmula logicamente equivalente, que no
conten-a os conectivos e , trans,ormando4a em uma ;"RMA N"RMA&
%"NKUN!)+A "2N)# ou em uma ;"RMA N"RMA& <)#KUN!)+A "2ND# como
segue$
=* substitui4se ,3rmulas$ A B por A B e A B por " A B# " B A#
>* elimina4se a negao que precede os par/nteses substituindo4se$
"A B# por A B e "A B# por A B *
?* eliminam4se as negaFes m5ltiplas substituindo " A# por A*
:* elimina4se o alcance dos conectivos substituindo
para obter a 2N) $ A "B )# por "A B# "A )#
para obter a 2ND $ A "B )# por "A B# "A )#
<este modo, uma ,3rmula est6 em ;"RMA N"RMA& %"NKUN!)+A$ 2N) ou em
;"RMA N"RMA& <)#KUN!)+A$ 2ND se, e somente se$
=* No m69imo contm os conectivos, , *
>* A negao no tem alcance sobre os conectivos e *
?* No aparecem negaFes sucessivas*
:* " conectivo no tem alcance sobre na 2N) e, o conectivo no tem alcance
sobre na 2ND*
Exemplos$ 2N) $ " p # "! ' p#
2ND $ p " !# " ' p#
Exemplo$ <etermine uma 2ND e uma 2N) equivalente E ,3rmula
""p # # " ! # *
0.
""p # # " ! #
F>rmula +a+a
1.
""p # # " ! #
0. De,. de Im)licao
2.
" "p # # "! #
1. De Morgan
3.
" p # "! #
2. !egao e De Morgan
4.
" p # "! #
3.2ND
5.
"" p # " ## "! #
4. Distri+utiva
6.
"" p # V# "! #
5. Tautologia
7.
" p # " ! #
6. (ro)riedade de *
8.
" p !# " p #
7. Distri+utiva
09.
" p !# " p #
8. Idem)otente e 2N)
PROBLEMA DE POST
%omo j6 observamos podemos construir a tabela verdade de uma ,3rmula con-ecidos
os valores verdade das ,3rmulas que a compFem* " problema recproco se coloca $ para
toda tabela verdade, e9iste uma ,3rmula que a determina[ ste problema con-ecido
como 1ROBLEMA DE 1O$T 0mil &eon (ost =CCC4=DD@2 e pode ser resolvido
obtendo4se uma 2N) ou uma 2ND que satis,aa a tabela verdade dada*
(ara se obter uma 2ND$
=* "bservamos todas as lin-as da tabela que possuem V na 5ltima colunaG
>* %onstruimos para cada uma destas lin-as as con;un6Qes correspondentesG
?* ;a8emos a ,i'9un;<o destas con;un6Qes obtendo uma ,3rmula em 2ND que satis,a8
a tabela verdade*
Exemplo$ <etermine uma ,3rmula que satis,aa a tabela verdade abai9o$
p =
+ + V
"p #
+ ; 2
; + 2

; ; V
" p #
Respos,a$ ;3rmula obtida "p # " p # 2ND
(ara se obter uma 2N)$
=* "bservamos todas as lin-as da tabela que possuem 2 na 5ltima colunaG
>* %onstruimos para cada uma destas lin-as as +is;un6Qes correspondentesG
?* ;a8emos a -on9un;<o destas +is;un6Qes obtendo uma ,3rmula em 2N) que satis,a8
a tabela verdade*
Exemplo$ <etermine uma ,3rmula que satis,aa a tabela verdade abai9o$
p =
+ + V

+ ; 2
p
; + 2
p
; ; V

Respos,a$ ;3rmula obtida " p # "p # 2N)
As 2ND e 2N) obtidas como acima so -o+pl*ta' ou seja, em cada disjuncto 02ND2
ou em cada conjuncto 02N)2 todas as vari6veis proposicionais esto presentes*
NOES DE LGEBRA BOOLEANA
7:ma das caracter;sticas da investigao cient;,ica < )rocurar )adr=es ou
semel>anas entre ,en?menos o+servados70livro )2* +imos que o )Tl-ulo
1!opo'i-ional e a T*o!ia ,o' )on9unto' possuem algumas propriedades em comum ou
sejam so estruturas matem@ticas que, juntamente com operaFes ou relaFes entre seus
objetos obedecem certas regras*7 (odemos com)arar uma estrutura matem@tica a um
esAueleto >umano )oisB em+ora as a)arncias e-ternas das )essoas sejam di,erentesB a
,orma e a dis)osio dos ossos so as mesmas*70livro )2* Assim, vamos de,inir, uma
estrutura matem@tica, lg*3!a Bool*ana, que incorpora as propriedades b6sicas do
%6lculo (roposicional e da !eoria dos %onjuntos, ou seja, um outro modelo de uma
mesma estrutura matem@tica* " conceito de lg*3!a Bool*ana ,oi ,ormulado pelo
matem6tico ingl/s George Toole por volta de =C@1*
(or LGEBRA BOOLEANA entendemos um conjunto BZ\p, , ! , **] junto com
duas operaFes bin6rias U e em B, uma operao singular I em B e dois elementos
distintos V e 1 de B tais que valem as seguintes propriedades$ 0para todo p , , ! em
B 2 $

Associativa "p U # U ! W p U " U !# "p # ! W p " !#
Comutativa p U W U p p W p
Idem)otente p U p W p p p W p
A+soro "p # U p W p "p U # p W p
Distri+utiva p U " !# W "p U # "p U
!#
p " U !# W "p # U "p
!#
(ro)riedades do V p U V W p p V W V
(ro)riedades do 1 p U 1 W 1 p 1 W p
CuaisAuer Aue seja p em BB e-iste pI em
B tal Aue
p U pI W 1 p pI W V
)ndicamos uma Mlgebra Tooleana por ^ B , U , , I , V , 1 _*
4 A operao p pode ser denotada simplesmente por p eliminando o operador *
4 L normal a seguinte terminologia na Mlgebra Tooleana $
p $ encontro de p e *
p U $ juno de p e *
pI $ complemento de p*
V $ elemento 8ero*
1 $ elemento unit6rio*
Uma expresso Rooleana, uma 5>rmula e uma expresso na ?l2eRra +o con;un,os,so
correspondentes se substituimos I , U , , W , V , 1 respectivamente por J , , , ,
2 , V ou ainda por I, , , W , , U
0considerando4se p , ,** como$ elementos de B , vari6veis proposicionais ou conjuntos
respectivamente2*
Exemplo$ "pI U " !##I corresponde a " p " !## ou ainda a "pI " !##I
(ara ,ormali8ar as semel-anas entre o %6lculo (roposicional e a Mlgebra Tooleana,
notemos que o conjunto das proposiFes uma Mlgebra de Toole em relao E
conjuno, E disjuno e E negao*

APLICAES DE LGEBRA BOOLEANA : MAPA DE #ARNAUG$
<e modo sucinto podemos di8er que o MA$A DE NARNA&13, ideali8ado em =D@1
por MauriceRarnaug-, um mtodo de simpli,icao de e9pressFes l3gicas
,undamentado em teoremas da Mlgebra Tooleana e utili8ando representaFes gr6,icas*
Utili8ando o mapa de Rarnaug- podemos simpli,icar ,3rmulas ou e9pressFes booleanas
em 2ND )OM1LETA, sem o uso direto de propriedades para obter tais
simpli,icaFes*
RE1RE$ENTA%&O GR2I)A $ !emos as seguintes representaFes gr6,icas
0mapas2, de acordo com o n5mero de vari6veis 0aqui representadas por letras
mai5sculas2 das e9pressFes$ 0no que se segue entende4se AB como A B2
a2 Duas <ari?<eis$
A AI
B
BI
b2 TrSs <ari?<eis $
ABAB
I
AI
BI
AI
B
)
)I
c2 .ua,ro <ari?<eis $
AB AB AI AI
I BI B
)D
)D
I

)I
DI

)I
D

m cada mapa$
"s quadrados de cima e os de bai9o so a,9a-*nt*'X os da esquerda e os da direita so
a,9a-*nt*'*
"s ua,!a,o' a,9a-*nt*' ,i:*!*+ ap*na' po! uma <ari?<el *
%ada quadrado indicar6 um DISB&N!TO da 2ND)OM1LETA que est6 sendo
representada*
%ada DISB&N!TO ser6 representado escrevendo 1 no respectivo quadrado*
Exemplos$
Representar a e9presso ABI) U AIBI) U AB)I

AB

AB
I

AI
BI

AI
B
) 1
1

)I
1

Representar a e9presso ABIU AIB U AIBI
A AI
B 1
BI 1 1
(odemos construir Mapas de Rarnaug- para C ou mais <ari?<eis passando para
representaFes gr6,icas tridimensionais tornando4se inadequado*
$IM1LI2I)A%&O 5 (ara simpli,icar procedemos do seguinte modo$
=* Agrupar , traando ovais ao redor de todos os 717 para ,ormar grupos de >
n
717
adjacentes*
>* Nen-um 717 pode ,icar ,ora dos grupos ,ormados* #e necess6rio, agrup64lo so8in-o*
?* Uuanto maior o grupo, mais simpli,icada ,icar6 a e9presso*
:* #e necess6rio, um 717 pode ser agrupado mais de uma ve8* Nunca agrup64lo se no
-ouver necessidade*
@* A vari6vel que se !*p*ti! em cada grupo p*!+an*-* na e9presso* A vari6vel que
n<o '* !*p*t* *li+ina,a*
Exemplos$
a2 #impli,icando a e9presso AB) U ABI)I U AIB) obtemos a e9presso ABI)I U B)

b2 #impli,icando a e9presso ABIU AIB U AIBI obtemos AIU BI

c2 #impli,ique usando um applet apropriado para : vari6veis*
APLICAES DE LGEBRA BOOLEANA : LGEBRA DOS CIRCUITOS
A introduo de uma Mlgebra Tooleana no estudo dos circuitos deve4se ao matem6tico
americano !"A&DE E"MOOD S3ANNON "1Y10(2VV1# 0A #Dm+olic AnalDsis o,
&elaD and #Eitc>ing Circuits 4 =D?C2* <e modo sucinto mostraremos esse tipo de
relacionamento com a %6lculo (roposicional e a Mlgebra Tooleana*
Um interruptor um dispositivo ligado a um ponto de um circuito, que pode assumir
um dos dois estados, B:*-La,oB ou Ba3*!toB* No estado B:*-La,oB 0que indicaremos
por 12 o interruptor permite que a corrente passe atravs do ponto, enquanto no estado
Ba3*!toB 0que indicaremos por V2 nen-uma corrente pode passar pelo ponto*
1.!ircui,o com um in,errup,or pJ
p
A indicao 7:*-La,o7 ou 7a3*!to7 do interruptor ser6
con-ecida com a indicao de pW1 ou pWV respectivamente*
2.!ircui,o com +ois in,errup,ores p e J
m paralelo indicado por p U
p
Neste caso no passa corrente se e somente pWV e WV ou seja, esto
ambos 7a3*!to'7 o que corresponde no %6lculo (roposicional E tabela verdade da
disjuno p *
m s4rie indicado por p ou p
p
Neste caso passa corrente se e somente se pW1 e W1 ou seja,
esto ambos 7:*-La,o'7 o que corresponde no %6lculo
(roposicional E tabela verdade da conjuno p *
!ircui,os acopla+os con,ra+i,>rios$ quando um abre o outro ,ec-a e reciprocamente
correspondendo E tabela verdade da negao*
!ircui,os acopla+os e7ui<alen,es$ se comportam do mesmo modo correspondendo E
tabela verdade da bi4implicao p *
Exemplo $ A e9presso booleana correspondente ao esquema abai9o $
"" p # U ""p # U ## W p U p U
#impli,icando a e9presso$
"" p # U ""p # U ## W " p # U W 0por absoro2 representamos o circuito
simpli,icado obtido $


Exemplo $ A e9presso e um circuito correspondente E ,3rmula
" p # ! p ! ser6 $ pI U U!I
Exemplo $ Um comit/ tem ? membros * Um projeto passa se e somente se o presidente
vota a ,avor e obtm maioria* (rojetar um circuito de modo que cada membro vote a
,avor apertando um boto e tal que a lu8 se acenda se o projeto ,or aprovado*
Solu6o$ #endo 1 o presidente e A e B os outros dois membros, a tabela verdade abai9o
corresponde Es in,ormaFes dadas onde 1 representa a aprovao do projeto*
"btendo a 2ND correspondente temos "1 A B# U "1 A BI # U "1 AI B# que
simpli,icando por Mapa de Rarnaug- temos 1A U 1B W 1 " A U B# sendo simples a
representao do circuito*
1 A B =
= = = 1
= = 1 1
= 1 = 1
= 1 1 V
1 = = V
1 = 1 V
1 1 = V
1 1 1 V
DEMON$TRA%&O INDIRETA 4 )R*ORE DE REF&TAO
)R*ORE DE REF&TAO um mtodo para veri,icar a validade de um argumento,
an6logo E demonstrao por absurdo*(ara testarmos a validade de um argumento
construmos uma lista de ,3rmulas consistindo de suas premissas
A1, A2 , A3 ,... ,An e a negao da sua concluso B que ,ormam a RAI= DA )R*ORE.
A 6rvore continua abai9o com a construo de seus RAMOS por aplicaFes de regras,
que sero especi,icadas abai9o, e gerando novas lin-as na 6rvore* A 6rvore termina
quando as ,3rmulas de seus ramos so$ vari6veis proposicionais, negaFes de vari6veis
proposicionais, ou quando encontrarmos em todos os ramos uma ,3rmula 2.
#e encontrarmos em todos os ramos da 6rvore uma ,3rmula 2, ento a nossa tentativa de
re,utao ,al-ou ou seja, o argumento v6lido* #e em algum ramo da 6rvore no ,oi
possvel encontrar uma ,3rmula 2, ento re,utamos o argumento, isto , o argumento
no v6lido*
Exemplo5 %onstruir uma 6rvore de re,utao para mostrar que$ p | p
4 screvemos a premissa e a negao da concluso$
=* p
>* p
4 #abemos que p verdadeira se, e somente se, p e so ambas verdadeirasG da,
podemos substituir
p por p e gerando as lin-as ?* e :*, respectivamente, e MAR!ANDO " # a
,3rmula p *
9&ma 5>rmula marca+a no po+er? mais ser u,ili-a+a na cons,ru6o +a ?r<ore@@@:
=* p
>* p
?* p
:*
4 %omo p verdadeira se e somente se p verdadeira, marcamos p e
substitumos por p gerando a lin-a @* $
=* p
>* p
?* p
:*
@* p
4 A 6rvore terminou pois das premissas e da negao da concluso obtivemos vari6veis
proposicionais ou negaFes de vari6veis proposicionais* (or outro lado encontramos nas
lin-as ?* e @* uma ,3rmula 2, ou seja, nossa tentativa de re,utao ,al-ou e portanto o
argumento v6lido* )sso ser6 e9presso escrevendo um 6 no ,inal da lista, gerando a
lin-a A e ,ec-ando o 5nico ramo da 6rvore*
=* p
>*p
?* p
:*
@* p
A* 6
A 6rvore de re,utao est6 completa* A nossa busca para uma re,utao do argumento
dado ,al-ou e, portanto, o argumento v6lido*
Exemplo5%onstruir uma 6rvore de re,utao para mostrar que $ p , p |
4 )niciamos a 6rvore escrevendo a lista de ,3rmulas as premissas e a negao da
concluso$
=* p
>* p
?*
4 #abemos que p verdadeira se, e somente se, p verdadeira ou verdadeira*
(ara representar esse ,ato, marcamos p e rami,icamos a 6rvore, gerando a lin-a :
com dois ramos$
=* p
>* p
?*
H I
:* p
4 A 6rvore terminou pois das premissas e da negao da concluso obtivemos vari6veis
proposicionais ou negaFes de vari6veis proposicionais* (or outro lado encontramos
uma ,3rmula 2 em um ramo, nas lin-as >* e :* e no outro ramo, nas lin-as ?* e :*, ou
seja, nossa tentativa de re,utao ,al-ou e portanto o argumento v6lido* )sso ser6
e9presso escrevendo um 6 no ,inal de cada ramo da lista gerando a lin-a @ e ,ec-ando
os dois ramos da 6rvore*
=* p
>* p
?*
H I
:* p
@* 6 6
A 6rvore de re,utao est6 completa* %omo a tentativa de re,utao ,al-ou nos dois
ramos, o argumento dado v6lido*
Exemplo5%onstruir uma 6rvore de re,utao para veri,icar a validade do argumento$
p , p |
=* p
>* p
?*
4 !emos que equivalente a G da, marcamos e escrevemos gerando a lin-a
:* $
=* p
>* p
?*
:*
4 %omo no e9emplo anterior, marcamos p e rami,icamos a 6rvore gerando a lin-a @*
com dois ramos$
=* p
>* p
?*
:*
7 8
@* p
4 A 6rvore terminou e nos dois ramos no -6 contradiFes, ou seja, uma ,3rmula 2*
Neste caso os ramos no sero ,ec-ados e o argumento no v6lido*
RE1RAS $ARA A !ONSTR&O DE &MA )R*ORE DE REF&TAO
As regras para a construo de uma 6rvore de re,utao esto relacionadas com as
tabelas verdade j6 con-ecidas* Ao aplicar uma regra em uma ,3rmula da 6rvore, temos a
observar que $
4 a ,3rmula ser6 marcada " # para evitar aplicaFes repetidas de uma regra em uma
mesma ,3rmula*
4 a aplicao de uma regra deve gerar $ uma ou duas lin-as, um ramo ou dois ramos
con,orme a regra, e ser6 aplicada em todos os ramos abertos 0no ,ec-ados com 62 aos
quais a ,3rmula pertence*
!emos as seguintes regras $
1. RE1RA DA D&$"A NE1AO "# $ Uma ,3rmula do tipo A gera uma linAa e
escrevemos A na lin-a* (rocedemos assim em todos os ramos abertos aos quais a
,3rmula A pertence pois, A verdadeira se e somente se A verdadeira*
2. RE1RA DA !ONB&NO "#$ Uma ,3rmula do tipo A B gera +uas linAas e
escrevemos, em cada lin-a, as ,3rmulas A e B* (rocedemos assim em todos os ramos
abertos aos quais a ,3rmula A B pertence pois, A B assume valor V se, e somente,
as ,3rmulas A * B so verdadeiras*
=* A B
>* A
?* B
#. RE1RA DA DISB&NO "#$ Uma ,3rmula do tipo A B gera uma linAa e +ois
ramos e escrevemos, na lin-a e, em cada ramo, as ,3rmulas A e B respectivamente*
(rocedemos assim em todos os ramos abertos aos quais a ,3rmula A B pertence pois,
A B assume valor V se, e somente, a ,3rmula A verdadeira ou a ,3rmula B
verdadeira*
=*A B
7 8
>* A B
'. RE1RA DA IM$"I!AO "#$ Uma ,3rmula do tipo A B gera uma linAa e
+ois ramos e escrevemos, na lin-a e, em cada ramo, as ,3rmulas A e B
respectivamente* (rocedemos assim em todos os ramos abertos aos quais a ,3rmula
A B pertence pois, A B assume valor V se, e somente, a ,3rmula A verdadeira
ou a ,3rmula B verdadeira*
=* A B
7 8
2. A B
C. RE1RA DA %I IM$"I!AO "# $ Uma ,3rmula do tipo AB gera +uas linAas
e +ois ramos e escrevemos nas lin-as as ,3rmulas A e B em um ramo e as ,3rmulas A
eB no outro ramo* (rocedemos assim em todos os ramos abertos aos quais a ,3rmula
AB pertence pois, AB assume valor V se, e somente, a ,3rmula
"A B# verdadeira ou a ,3rmula " A B# verdadeira*
1.AB
7 8
>*A A
?*B B
D. RE1RA DA NE1AO DA !ONB&NO " #$ Uma ,3rmula do tipo
"A B# gera uma linAa e +ois ramos e escrevemos, na lin-a e, em cada ramo, as
,3rmulas A e B respectivamente* (rocedemos assim em todos os ramos abertos aos
quais a ,3rmula "A B# pertence pois, "A B# assume valor V se, e somente, a
,3rmula A verdadeira ou a ,3rmula B verdadeira*
1. "A B#
7 8
2. A B
E. RE1RA DA NE1AO DA DISB&NO " # $ Uma ,3rmula do tipo
"A B# gera +uas linAas e escrevemos, em cada lin-a, as ,3rmulas A e B*
(rocedemos assim em todos os ramos abertos aos quais a ,3rmula "A B# pertence
pois, "A B# assume valor V se, e somente, as ,3rmulas A*B so verdadeiras*
1. "A B#
2. A
3. B
F. RE1RA DA NE1AO DA IM$"I!AO "# $ Uma ,3rmula do tipo
"A B# gera +uas linAas e escrevemos, em cada lin-a, as ,3rmulas A e B*
(rocedemos assim em todos os ramos abertos aos quais a ,3rmula "A B# pertence
pois, "A B# assume valor V se, e somente, as ,3rmulas A* B so verdadeiras*
1. "A B#
>* A
3. B
G. RE1RA DA NE1AO DA %I IM$"I!AO "#$ Uma ,3rmula do tipo
"AB# gera +uas linAas e +ois ramos e escrevemos nas lin-as as ,3rmulas A e B
em um ramo e as ,3rmulas A e B no outro ramo* (rocedemos assim em todos os ramos
abertos aos quais a ,3rmula "AB# pertence pois, "AB# assume valor V se, e
somente, a ,3rmula "A B# verdadeira ou a ,3rmula "A B# verdadeira*
1."AB#
7 8
2. A A
?* B B
1H. RAMO FE!3ADO $ Um ramo ser6 ,ec-ado se nele e9istem uma ,3rmula A e sua
negao A e escrevemos 6 no ,inal do ramo*
=* A
>* A
?* 6

O%SER*AIESJ
4 As regras dadas para construir 6rvores de re,utao se aplicam em cada lin-a ao
conectivo principal da ,3rmula e no a sub,3rmulas* (or e9emplo,
=* p
>* p =*"# 0)N%"RR!"JJ2
4 No importa a ordem em que as regras so aplicadasG no entanto, mais e,iciente
aplicar as regras, primeiramente, em ,3rmulas que no resultam em rami,icaFes*
4 %ada lin-a gerada deve ser 9u'ti:i-a,a indicando a respectiva lin-a de origem na qual
,oi aplicada a regra e tambm a regra usada*
4 ;3rmula na qual ,oi aplicada alguma regra deve ser marcada " # para evitar
aplicaFes repetidas da mesma*
Exemplos$
=*2 +eri,icar, por meio de 6rvore de re,utao, a validade do argumento$
p ! ', ! ' , p
=* p ! ' 1!*+i''a
>* ! ' 1!*+i''a
?* "p # N*ga;<o ,a )on-lu'<o
:* p ?*" #
@* ?*" #
7 8
A* p "! '# =*" #
B* 60A*:2 7 8
C* ! ' A* " #
7 8 7 8
D* "! '# "! '# >*" #
7 8 8 7 8 8
=1* ! ' 6 ! ' 6 " #
==* 6 = 0D*@2 6 = 0D*@2
0=1*C2 0=1*C2
!emos neste caso dois ramos que no ,ec-aram e, portanto, o argumento no 4 <?li+o*
>*2 %onstruir uma 6rvore de re,utao para veri,icar se a ,3rmula
"p # "p # uma tautologia$
=* ""p # "p ## N*ga;<o ,a )on-lu'<o
>* "p # =* " #
?* "p # =* " #
:* p >* "#
@* >* "#
7 8
A* p ?* " #
B* 6 6
0A*:2 0A*@2
!odos os ramos esto ,ec-adosG assim a ,3rmula v6lida, ou seja, uma ,au,olo2ia*
CELINA ABAR
- 2004 - O CLCULO DE PREDICADOS DE %
&
ORDEM
" !?lculo +e $re+ica+os, dotado de uma linguagem mais rica, tem v6rias aplicaFes
importantes no s3 para matem6ticos e ,il3so,os como tambm para estudantes de
%i/ncia da %omputao*
(odemos observar que nas linguagens de programao con-ecidas como
(R"%<URA)# 0(ascal e outras2 , os programas so elaborados para 7di8er7 ao
computador a tare,a que deve ser reali8ada* m outras linguagens de programao
con-ecidas como <%&ARA!)+A#, os programas reunem uma srie de dados e regras
e as usam para gerar conclusFes* stes programas so con-ecidos como #)#!MA#
#(%)A&)#!A# ou #)#!MA# TA#A<"# N" %"NW%)MN!" que simulam
em muitos casos a ao de um ser -umano* ssas linguagens declarativas inclui
predicados, quanti,icadores , conectivos l3gicos e regras de in,er/ncia que, como
veremos, ,a8em parte do %6lculo de (redicados*
!ambm podemos observar, como e9pomos abai9o, que e9istem v6rios tipos de
argumentos os quais, apesar de v6lidos, no possvel justi,ic64los com os recursos do
%6lculo (roposicional$
=* !odo amigo de %arlos amigo de Konas*
(edro no amigo de Konas*
&ogo, (edro no amigo de %arlos*
>* !odos os -umanos so racionais*
Alguns animais so -umanos*
(ortanto, alguns animais so racionais*
A veri,icao da validade desses argumentos nos leva no s3 ao signi,icado dos
conectivos mas tambm ao signi,icado de e9pressFes como 7todo7, 7algum7,
7qualquer7, etc*
Smbolos da Linguagem
(ara que possamos tornar a estrutura de sentenas comple9as mais transparente
necess6rio a introduo de novos smbolos na linguagem do %6lculo (roposicional,
obtendo4se a linguagem do %6lculo de (redicados de =
a
"rdem*
Nesta nova linguagem teremos, alm dos conec,i<os +o c?lculo proposicional e os
parSn,eses, os seguintes novos smbolos$
<ari?<eis$ 9,O,8,*****,9 ,O ,8 ,******
cons,an,es $ a,b,c,****,a ,b ,c ,******
sPmRolos +e pre+ica+os$ ( , U , R , # ,****
7uan,i5ica+ores $ 0universal2 , 0e9istencial2
,ermos$ as vari6veis e as constantes so designadas pelo nome genrico de termos os
quais sero designados por t= , t> , ***,tn ***
as <ari?<eis representam objetos que no esto identi,icados no Universo considerado
07algum7, 7algo7, etc*2G
as cons,an,es representam objetos identi,icados do Universo 07Koo7, 7o ponto A7,
etc* 2G
os sPmRolos +e pre+ica+os representam propriedades ou relaFes entre os objetos do
Universo*
9emplos$
7Maria inteligente7 $ I"+# G onde 7+7 est6 identi,icando Maria e 7I7 a propriedade de
7ser inteligente7*
7Algum gosta de Maria7 $ G"H,+# G onde G representa a relao 7gostar de7 e 7H7
representa 7algum7*
<e modo geral temos$
1"H# $ signi,ica que 9 tem a propriedade ( *
"H#1"H#$ signi,ica que a propriedade ( vale para todo 9, ou ainda, que to,o' o' o39*to'
do Universo considerado tem a propriedade (*
"H#1"H#$ signi,ica que algum 9 tem a propriedade (, ou ainda, que *Hi't* no +Zni+o
u+ o39*to do Universo considerado que tem a propriedade (*
Notamos que os smbolos de predicados sero un6rios, bin6rios ou n46rios con,orme a
propriedade que representam envolver, respectivamente um, dois ou mais objetos do
universo e di8emos tambm que o smbolo de predicado tem peso =, peso > *** ou peso
n*
"T#*$ Um smbolo de predicados 146rio 0peso 8ero2 identi,ica4se com um dos smbolos
de predicadoG por e9emplo$ 7c-ove7 podemos simboli8ar 7%7*
As ,3rmulas mais simples do %6lculo de (redicados de =
a
"rdem so c-amadas de
5>rmulas a,Tmicas e podem ser de,inidas como$
7#e ( ,or um smbolo de predicado de peso n e se t= , t> , ***,tn ,orem termos ento
(0t= , t> , ***,tn 2 uma ,3rmula atNmica*7
DEFINIO DE FR!"LA#
=*!oda ,3rmula atNmica uma ,3rmula*
>*#e e ,orem ,3rmulas ento 02, 02 , 0 2 , 0 2 e 02 so ,3rmulas*
?*#e ,or uma ,3rmula e 9 uma vari6vel ento 092 e 092 so ,3rmulas*
:*As 5nicas ,3rmulas so dadas por =* >* e ?* acima*
9emplos de ,3rmulas$ (09,a2G
R0O,b,t2G 0820(09,a2 R0O,b,822G
0920(09,a2 R0O,b,t22G
0O2092R0O,b,t2*
Assim os argumentos dados no incio podem ser representados simbolicamente como$
=* !odo amigo de %arlos amigo de Konas*
(edro no amigo de Konas*
&ogo, (edro no amigo de %arlos*
092 0(09,c2 (09,j22
(0p,j2
(0p,c2
onde (09,O2 signi,ica que 9 amigo de O e c, p, j so constantes que representam %arlos,
(edro e Konas respectivamente*
>* !odos os -umanos so racionais*
Alguns animais so -umanos*
(ortanto, alguns animais so racionais*
092 0(092 U0922
0 92 0R092 (0922
092 0R092 U0922
onde ( ,U ,R simboli8am as propriedades de$ ser -umano, ser racional e ser animal
respectivamente*
ESCO$O DE "! %"ANTIFICADOR $ #e uma ,3rmula e 9 uma vari6vel, ento
em 092 ou em 092 di8emos que o escopo do quanti,icador 092 ou 092*
(or e9emplo na ,3rmula 0O20920R0O,b,t2 082 (08,a22 temos os seguintes
quanti,icadores e seus respectivos escopos$
"D# $ 0920R0O,b,t2 082 (08,a22
"H# $ 0R0O,b,t2 082 (08,a22
"C# $ (08,a2
NEGAO DE FR!"LAS %"ANTIFICADAS# da de,inio de ,3rmula dada
acima podemos perceber que um quanti,icador universal ou e9istencial pode ser
precedido de uma negao* +ejamos como podemos proceder se ,or necess6rio a
eliminao dessa negao*
%onsideremos, por e9emplo, a ,3rmula 092(092 e o conjunto universo UZ\a,b,c]* L
evidente que nesse caso temos$ 092(092 (0a2 (0b2 (0c2*
(odemos considerar ento que $
092(092 0(0a2 (0b2 (0c22 (0a2 (0b2 (0c2
o qual signi,ica que e9iste no mnimo um objeto em U tal que (092 , ou seja ,
"H#1"H# "H# 1"H# ou ainda de modo geral para uma ,3rmula qualquer temos
"1#"H# "H#
<a equival/ncia acima segue imediatamente que $
"2#* "H#1"H# "H#1"H#
"3#. "H#1"H# "H#1"H#
".#. "H#1"H# "H#1"H#
EN"NCIADOS CATEGRICOS
%ertos enunciados se apresentam ,req.entemente na &3gica %l6ssica e tradicionalmente
so c-amados de Enuncia+os !a,e2>ricos.
Relacionaremos os quatro enunciados mais comuns que so representados pelas letras
A, E, I, O $
A 4 da ,orma 7!odo ( U7 0universal a,irmativa2
E 4 da ,orma 7Nen-um ( U7 ou 7!odo ( no U7 0universal negativa2
I 4 da ,orma 7Algum ( U7 0particular a,irmativa2
O 4 da ,orma 7Algum ( no U7 0particular negativa2
simboli8ados respectivamente como$
A 4 0920(092 U0922
E 4 0920(092 U0922
I 4 0920(092 U0922
O 4 0920(092 U0922
DIAGRA!AS DE &ENN $ARA EN"NCIADOS CATEGRICOS
#e considerarmos ( e U dados acima como dois conjuntos quaisquer, os enunciados
dados podem ser interpretados como segue$
A$ BTo,o 1 R [B a,irma que todos os elementos de ( so elementos de U, ou seja,
que ( um subconjunto de U, isto , ( U *
E$ BN*nLu+ 1 R [B a,irma que os conjuntos ( e U no t/m elementos em comum, isto
,
que ( U Z ou ainda que ( U`*
I $ BAlgu+ 1 R [B a,irma que os conjuntos ( e U t/m pelo menos um elemento em
comum, isto ,
( U
O$ BAlgu+ 1 n<o R [B a,irma que ( tem pelo menos um elemento que no est6 em U,
ou ainda,
que ( U` *
stas interpretaFes podem ser ,eitas atravs de <iagramas de +enn, os quais so 5teis
na veri,icao da validade de argumentos cujas premissas e concluso so enunciados
categ3ricos do tipo A, E, I ou O mas no devem ser considerados instrumentos de prova
rigorosa*
&embramos que no %6lculo (roposicional os diagramas de +enn ,oram utili8ados para
estabelecer uma correlao entre as lin-as da tabela verdade de uma ,3rmula e as
regiFes do diagrama de +enn correspondente*
(ara veri,icarmos a validade de um argumento, as interpretaFes dos enunciados
categ3ricos nos <iagramas de +enn sero consideradas como segue$
=* %ada crculo representa uma classe de objeto que quando em branco indica aus/ncia
de in,ormao
a respeito do conjunto*
>* %rculo -ac-urado ou !*gi<o ,* u+ -Z!-ulo La-Lu!a,a, representa regio VA\IA
de elementos*
?* %rculo ou regio de um crculo com 6 representa regio no va8ia de elementos*

9emplo$ #e K representa o predicado 7ser jovem7 temos os diagramas abai9o$


RE$RESENTAO DOS EN"NCIADOS CATEGRICOS
"s enunciados categ3ricos podem ser representados como segue $
ARG"!ENTOS CATEGRICOS
&ALIDADE DE ARG"!ENTOS CATEGRICOS $OR DIAGRA!AS DE
&ENN
(ara veri,icarmos a validade de um argumento categ3rico procedemos como segue$
=*!rans,erimos para o diagrama, ,ormado por tr/s crculos, as in,ormaFes das
premissas, iniciando pelos enunciados universaisG
>*+eri,icamos se in,ormao dada na concluso esta a representada sem nenAuma
con+i6o e +e mo+o Unico.
?*#e isto ocorre ento o argumento v6lido*
+ejamos os seguintes e9emplos$
EH*+plo I.
0=2 !odos os cientistas so estudiosos*
0>2 Alguns cientistas so inventores*
0?2 Alguns estudiosos so inventores*
A parte -ac-urada corresponde ao enunciado 0=2, va8ia de
elementosG a parte assinalada com S corresponde ao enunciado
0>2* <essa ,orma, as in,ormaFes das premissas ,orem
trans,eridas para o diagrama e a concluso 0?2 est6 representada*
(ortanto o argumento v6lido*
EH*+plo II.
!odos os brasileiros so ,eli8es*
!odos os paulistas so brasileiros*
!odos os paulistas so ,eli8es*
+emos que o argumento v6lido pelo diagrama acima*
EH*+plo III.
0=2 Nen-um estudante vel-o *
0>2 Alguns jovens no so estudantes*
0?2Alguns vel-os no so jovens*
A premissa 0=2 est6 representada na regio -ac-urada e a premissa 0>2 est6 marcada com
6 sobre a lin-a pois a in,ormao correspondente pode estar presente em duas regiFes e
no temos in,ormao para saber especi,icamente em qual delas* <esse modo o
argumento no v6lido pois a concluso no est6 representada com absoluta certe8a*
A validade de um argumento no depende do conte5do dos enunciados e sim da sua
,orma e da relao entre as premissas e a concluso*
'R&ORES DE REF"TAO
GENERALI(AO $ARA O C'LC"LO DE $REDICADOS DE )
a
ORDE!*
No %6lculo (roposicional mostramos como as tabelas verdade, as demonstraFes e as
6rvores de re,utao podem ser usadas para a veri,icao da validade de argumentos e
de tautologias* +eri,icaremos no que segue como as 6rvores de re,utao podem ser
generali8adas para o %6lculo de (redicados de =
a
"rdem*
%omo anteriormente, as 6rvores de re,utao vo nos permitir veri,icar a validade de
argumentos em um n5mero ,inito de passos* No entanto, esta tcnica no %6lculo de
(redicados pode no nos ,ornecer nen-uma resposta em alguns casos como veremos
adiante*
A generali8ao das 6rvores de re,utao para o %6lculo de (redicados de =
a
"rdem
manter6 todas as regras anteriormente dadas para o %6lculo (roposicional e novas
regras sero estipuladas para as ,3rmulas contendo os quanti,icadores Universal 02 e
9istencial 02* !eremos ento, alm das ,*C !*g!a' dadas no c6lculo (roposicional, as
seguintes novas regras $
11. Re2ra +a Ne2a6o +o .uan,i5ica+or &ni<ersal "#$ Uma ,3rmula do tipo 092
gera uma lin-a na qual escrevemos a ,3rmula 092* (rocedemos assim em todos os
ramos abertos aos quais a ,3rmula 092 pertence*
12. Re2ra +a Ne2a6o +o .uan,i5ica+or Exis,encial"# $ Uma ,3rmula do tipo 092
gera uma lin-a na qual escrevemos a ,3rmula 092* (rocedemos assim em todos os
ramos abertos aos quais a ,3rmula 092 pertence*
1#. Re2ra +o .uan,i5ica+or Exis,encial " # $ Uma ,3rmula do tipo 092092 gera uma
lin-a na qual escrevemos a ,3rmula 0c2 onde c uma noEa -on'tant* que no ocorre
em qualquer ramo da 6rvore e substituir6 as ocorr/ncias da vari6vel 9, do quanti,icador,
na ,3rmula * (rocedemos assim em todos os ramos abertos aos quais a ,3rmula
092092 pertence*
Ku'ti:i-atiEa$ A ,3rmula 092092 signi,ica que e9iste pelo menos um objeto do
Universo que tem a propriedade e este ser6 identi,icado, sempre, por uma 7nova7
constante ou seja, uma constante que no ocorre na 6rvore*
1'. Re2ra +o .uan,i5ica+or &ni<ersal "# $ Uma ,3rmula do tipo 092092 gera uma
lin-a na qual escrevemos a ,3rmula 0c2 onde c ualu*! -on'tant* u* 9T o-o!!*
em qualquer ramo da 6rvore e substituir6 as ocorr/ncias da vari6vel 9, do quanti,icador,
na ,3rmula * (rocedemos assim em todos os ramos abertos aos quais a ,3rmula
092092 pertence*
Ku'ti:i-atiEa$ A ,3rmula 092092 signi,ica que todos os objetos do universo tem a
propriedade * #endo assim, a regra deve ser aplicada a todas as constantes presentes na
6rvore e eventualmente para aquelas que surgirem durante a 7construo7 da 6rvore
como observamos abai9o*
O%SER*AIES IM$ORTANTESJ
=* %omo sabemos, as ,3rmulas para as quais so aplicadas as regras, sempre sero
7marcadas7 02* No entanto, para a regra 02 do quanti,icador universal isto no ser6
obedecido pois, se surgir uma nova constante na 6rvore por aplicao da regra 02, para
esta constante dever6 ser aplicada a regra 02 em todas as ,3rmulas do tipo 092092 da
6rvore*
>*#omente se nen-uma constante ocorre em algum ramo que podemos introdu8ir uma
nova constante para usar em possveis aplicaFes da regra 02 ao longo do re,erido
ramo*
EH*+plo I *$ +amos veri,icar que a ,3rmula "H#1"H# "H#1"H# v6lida por 6rvore
de re,utao*
=* ""H#1"H# "H#1"H## (remissa
>* "H#1"H# =* 02
?* "H#1"H# =* 02
:* "H#1"H# ?* 02
@* 1"a# >* 02 "o3'.2 a-i+a#
A* 1"a# :* 02
B* 6 @* e A*
EH*+plo II. +eri,ique a validade do argumento categ3rico $
!odos os cientistas so estudiosos* 4 0920%092 0922
Alguns cientistas so inventores* 4 0920%092 )0922
Alguns estudiosos so inventores* 4 "H#"E"H# I"H##
=* "H#")"H# E"H## (remissa
>* "H#")"H# I"H## (remissa
?* "H#"E"H# I"H## (remissa Adicional
:* "H# "E"H# I"H## ?*02
@* ")"a# I"a## >* 02 $ a nova constante
A* ")"a# E"a## =*02 $ a constante que j6 ocorre
B* "E"a# I"a## :* 02 $ a constante que j6 ocorre
C* )"a# @* 02
D* I"a# @* 02
H I
=1* )"a# E"a# A*02
H I
==* 6 0=1,C2 E"a# I"a# B*02
=>* 6 0=,=12 60==,D2
" a!gu+*nto R ETli,o pois todos os ramos ,oram ,ec-ados*
EH*+plo III. +eri,ique a validade do argumento categ3rico $
Nen-um estudante vel-o * 0920092 +0922
Alguns jovens no so estudantes 0920K092 0922
Alguns vel-os no so jovens* "H#"V"H# K"H##
=* "H#"E"H# V"H## (remissa
>* "H#"K"H# E"H## (remissa
?* "H#"V"H# K"H## (remissa Adicional
:* "H# "V"H# K"H## ?* "#
@* "K"a# E"a## >* "# $ a nova constante*
A* "E"a# V"a## =* "# $ a constante que j6 e9iste*
B* "V"a# K"a## :* "# $ a constante que j6 e9iste
C* K"a# @* "#
D* E"a# @*"#
H I
=1* E"a# V"a# A*"#
H I H I
==* V"a# K"a# V"a# K"a# B*"#
=>* H I H I
" a!gu+*nto n<o R ETli,o pois a 6rvore terminou e temos ramos abertos*
EH*+plo IV. "H#"D#1"H,D# , 1"a,a#
=* "H#"D#1"H,D# (remissa
>* 1"a,a# (remissa adicional*
?* "D#1"a,D# =* 02 $ a constante que j6 e9iste*
:* 1"a,3# ?* 02 $ b nova constante*
@* "D#1"3,D# =* 02 $ b constante que j6 e9iste*
A* 1"3.-# @* 02 $ c nova constante*
%omo podemos observar a 6rvore nunca terminar6G in,inita* +amos assumir que o
a!gu+*nto n<o R ETli,o*
Na verdade no e9iste um mtodo e,etivo que nos permita decidir sempre, e para
qualquer argumento do %6lculo de (redicados, se tal argumento v6lido ou no
v6lido* ste resultado mostra que o %6lculo de (redicados indecidvel* A
indecidibilidade do %6lculo de (redicados pode ser provada e con-ecida como 7!ese
de %-urc-7 * W6 muitos livros de l3gica que abordam este assunto*
Uuando veri,icamos a validade de um argumento estamos veri,icando se, no caso das
premissas serem verdadeiras elas in,erem uma determinada concluso* )sto possvel
ser ,eito por v6rios mtodos no %6lculo (roposicional os quais no todos se generali8am
para o %6lculo de (redicados como veri,icamos acima*
DEFINI+ES#
(ara estudarmos o %6lculo de (redicados sobre outros aspectos algumas de,iniFes so
importantes e as especi,icamos abai9o$
OCORRNCIAS LI&RE E LIGADA DE "!A &ARI'&EL#
Uma ocorr/ncia de uma vari6vel 9 numa ,3rmula liga,a se 9 uma vari6vel de um
quanti,icador na ,3rmula ou 9 est6 no escopo de um quanti,icador 092 ou 092 na
,3rmula* %aso contr6rio a ocorr/ncia de 9 liE!**
&ARI'&EL LIGADA ,LI&RE-#
#e a ocorr/ncia de 9 ligada 0livre2 numa ,3rmula, di8emos que H R Ea!iTE*l liga,a
"liE!*# na ,3rmula* Assim uma vari6vel pode ser livre ou ligada numa mesma ,3rmula*
9emplo$Na ,3rmula "D#""H#R"D,3,t# "C# 1"H,a## temos cinco vari6veis que esto
numeradas onde$
= > ? : @
=,>,?,: so ligadas e @ livre* +emos que 9 ocorre livre e ligada na mesma ,3rmula*
SENTENA#
Uma ,3rmula em que no -6 ocorr/ncias livres de vari6veis c-amamos de sentena*
TER!O LI&RE $ARA "!A &ARI'&EL#
Um termo t livre para a vari6vel O na ,3rmula se, quando se substitui as ocorr/ncias
livres de O por t, as ocorr/ncias de t em assim obtidas ocorrem livres*
9emplos$
=* 9 livre para O em (0O2*
>* 9 no livre para O em 092(0O2*
?* 9 livre para 9 em qualquer ,3rmula*
:* qualquer termo livre para 9 numa ,3rmula se em no -6 ocorr/ncia livre de 9*
NOES DE LGICA MATEMTICA
BIBLIOGRAFIA BSICA
I. FUNDAMENTOS MATEMTICOS PARA CINCIA DA COMPUTAO Judith L.Gersting -
LTC(Livros Tcnicos e Cientficos) - 1995
II. INTRODUCTION TO MATHEMATICAL LOGIC-. !ende"son -#$ds%orth & 'roo(s) Co"e
!$the*$tics +eries - 19,-
III. THE LANGUAGE OF FIRST-ORDER LOGIC Jon '$r%ise $nd John tche*end. C+LI
+t$nford - 199/
BIBLIOGRAFIA COMPLEMENTAR
1. NOES DE LGICA MATEMTICA - 01$r2 C. 0 . 0. 3. %%%.4ucs4.1r)5"ogic$ (roteiro
te6rico)e %%%.4ucs4.1r)5$1$rc$$4 (e7erccios)
/. LGEBRA BOOLEANA E CIRCUITOS DE CHAVEAMENTO . !ende"son - !cGr$% 8i"" -
19--
9. INICIAO LGICA MATEMTICA - . de 0"enc$r :i"ho -.;o1e" -19,<
<. INTRODUO LGICA MATEMTICA - '.C$strucci - G! -19,/
5. INTRODUCTION TO METAMATHEMATICS - +.C.="eene - v$n ;ostr$nd - 195/
>. LGICA - John ;o"t ) ?ennis @oh$t.n - +ch$u*)!cGr$% 8i"" - 1991
-. LGICA - O CLCULO DE PREDICADOS - L.8egen1erg - ?A+3 - 19-9
,. LGICA - O CLCULO SENTENCIAL - L.8egen1erg - 8erder)?A+3 - 19-9
9. LGICA DINMICA - T. '$rreiro de ;ud"er -=$4e"usB 0rgentin$ - 199<
1C. LGICA E LGEBRA DE BOOLE - J. ?$gh"i$n - 0t"$s - 19,>
11. LGICA MATEMTICA- 8. C.rino e :. 0r$ntes - 3$4irus 19,<
1/. A FIRST COURSE IN FUZZY LOGIC 8ung T. ;gu.en $nd "1ert 0. #$"(er C@C 3ress
199-
19. FUZZY LOGIC ?$nie" !cnei"" $nd 3$u" :rei1erger Touchstone - 1999
1<. INTRODUO LGICA - CeB$r 0. !ort$ri - d. Anes4 - /CC1
15. INTRODUO LGICA E APLICAES- 01e2J.!. e outros - d. 3"Di$de - 1999
1>. DISCRETE MATHEMATICS AND ITS APPLICATIONS - =eneth 8. @osen - #C' !cGr$%-
8i"" - 1999
1-. LGICA PARA CINCIA DA COMPUTAO - !"! N#$%& '% S!#() - d. C$*4us - /CC/
+itesE
1. htt4E))%%%.s$ndiego.edu)Logic+"$ve)f*s"og.ht*"
/. htt4E))n"v*.usu.edu)en)n$v)fr$*esF$sidF159FgF/FtF1.ht*"G
o4enHinstructions&fro*Hto4icFtF1.ht*"
9. htt4E))%%%.cfh.ufsc.1r)5d(r$use)4g)cursos)"4$r$c.ht*
<. htt4E))%%%.I$v$fi"e.co*

3rof$. ?r$. Ce"in$ 0. 0. 3. 01$r
?e4to. de !$te*Jtic$ - 3AC+3-/CC,
"ogic$K4ucs4.1rNOES DE LGICA MATEMTICA
BIBLIOGRAFIA BSICA
I. FUNDAMENTOS MATEMTICOS PARA CINCIA DA COMPUTAO Judith L.Gersting -
LTC(Livros Tcnicos e Cientficos) - 1995
II. INTRODUCTION TO MATHEMATICAL LOGIC-. !ende"son -#$ds%orth & 'roo(s) Co"e
!$the*$tics +eries - 19,-
III. THE LANGUAGE OF FIRST-ORDER LOGIC Jon '$r%ise $nd John tche*end. C+LI
+t$nford - 199/
BIBLIOGRAFIA COMPLEMENTAR
1. NOES DE LGICA MATEMTICA - 01$r2 C. 0 . 0. 3. %%%.4ucs4.1r)5"ogic$ (roteiro
te6rico)e %%%.4ucs4.1r)5$1$rc$$4 (e7erccios)
/. LGEBRA BOOLEANA E CIRCUITOS DE CHAVEAMENTO . !ende"son - !cGr$% 8i"" -
19--
9. INICIAO LGICA MATEMTICA - . de 0"enc$r :i"ho -.;o1e" -19,<
<. INTRODUO LGICA MATEMTICA - '.C$strucci - G! -19,/
5. INTRODUCTION TO METAMATHEMATICS - +.C.="eene - v$n ;ostr$nd - 195/
>. LGICA - John ;o"t ) ?ennis @oh$t.n - +ch$u*)!cGr$% 8i"" - 1991
-. LGICA - O CLCULO DE PREDICADOS - L.8egen1erg - ?A+3 - 19-9
,. LGICA - O CLCULO SENTENCIAL - L.8egen1erg - 8erder)?A+3 - 19-9
9. LGICA DINMICA - T. '$rreiro de ;ud"er -=$4e"usB 0rgentin$ - 199<
1C. LGICA E LGEBRA DE BOOLE - J. ?$gh"i$n - 0t"$s - 19,>
11. LGICA MATEMTICA- 8. C.rino e :. 0r$ntes - 3$4irus 19,<
1/. A FIRST COURSE IN FUZZY LOGIC 8ung T. ;gu.en $nd "1ert 0. #$"(er C@C 3ress
199-
19. FUZZY LOGIC ?$nie" !cnei"" $nd 3$u" :rei1erger Touchstone - 1999
1<. INTRODUO LGICA - CeB$r 0. !ort$ri - d. Anes4 - /CC1
15. INTRODUO LGICA E APLICAES- 01e2J.!. e outros - d. 3"Di$de - 1999
1>. DISCRETE MATHEMATICS AND ITS APPLICATIONS - =eneth 8. @osen - #C' !cGr$%-
8i"" - 1999
1-. LGICA PARA CINCIA DA COMPUTAO - !"! N#$%& '% S!#() - d. C$*4us - /CC/
+itesE
1. htt4E))%%%.s$ndiego.edu)Logic+"$ve)f*s"og.ht*"
/. htt4E))n"v*.usu.edu)en)n$v)fr$*esF$sidF159FgF/FtF1.ht*"G
o4enHinstructions&fro*Hto4icFtF1.ht*"
9. htt4E))%%%.cfh.ufsc.1r)5d(r$use)4g)cursos)"4$r$c.ht*
<. htt4E))%%%.I$v$fi"e.co*

3rof$. ?r$. Ce"in$ 0. 0. 3. 01$r
?e4to. de !$te*Jtic$ - 3AC+3-/CC,
"ogic$K4ucs4.1r