Você está na página 1de 50

Universidade de Caxias do Sul

Centro de Cincias Exatas e Tecnologia


Prof. Simone C. Mendes Paiva
LGICA PARA COMPUTAO
MATERIAL DA DISCIPLINA
NDICE
. C!NECTI"!S #$%IC!S ...................................................................................................................................... &
1.1.1 Conectivo E (conjuno).................................................................................................................................... 4
1.1.2 Conectivo OU (disjuno)................................................................................................................................. 4
1.1.3 Implicao (condicional)....................................................................................................................................4
1.1.4 Equivalncia ...................................................................................................................................................... 4
1.1.! "e#ao.............................................................................................................................................................. 4
.' ())S * )$+MU#,S -EM )!+M,D,S............................................................................................................................... .
./ T,-E#,S0"E+D,DE........................................................................................................................................................ 1
1.3.1 $a%ela&ve'dade da ne#ao............................................................................................................................... (
1.3.2 $a%ela&ve'dade da conjuno ........................................................................................................................... (
1.3.3 $a%ela&ve'dade da disjuno ............................................................................................................................ (
1.3.4 $a%ela&ve'dade da implicao .......................................................................................................................... (
1.3.! $a%ela&ve'dade da equivalncia .................................................................................................................... 1)
.& C#,SSI)IC,23! DE ())S US,ND! T,-E#,S0"E+D,DE.....................................................................................................
.. ,P#IC,24ES DE T,-E#,S0"E+D,DE E )!+M,#I5,23!....................................................................... '
CLCULO DE PREDICADOS.................................................................................................................................... 17
6. 7U,NTI)IC,D!+ES E ",+I8"EIS................................................................................................................ 9
1).1.1 *U+"$I,IC+-O. U"I/E.0+12 ............................................................................................................... 13
1).1.2 *U+"$I,IC+-O. E4I0$E"CI+1 ............................................................................................................ 13
6.' P+EDIC,D!S E N!MES P+$P+I!S................................................................................................................ :
6./ )!+M,#I5,23!; ,-C..................................................................................................................................................:
6.& )!+M,#I5,23!; ,C-..................................................................................................................................................:
6.. )!+M,#I5,23!; DC#-................................................................................................................................................ :
EXERCICIOS DE REVISO........................................................................................................................................ 23
6.< +E%+,S N3! =IP!T>TIC,S DE IN)E+?NCI,.............................................................................................'.
1).5.1 6O-U0 7O"E"0 (67).................................................................................................................................2!
1).5.2 E1I6I"+89O -+ "E:+89O2 (E;) ............................................................................................................ 25
1).5.3 I"$.O-U89O -+ CO"<U"89O (I)........................................................................................................ 23
1).5.4 E1I6I"+89O -+ CO"<U"89O (E)......................................................................................................... 23
1).5.! I"$.O-U89O -+ -I0<U"89O ( I )........................................................................................................ 2=
1).5.5 E1I6I"+89O -+ -I0<U"89O (E)........................................................................................................... 2(
1).5.3 Int'oduo do >icondicional (I)2 .............................................................................................................. 3)
1).5.= E1I6I"+89O -O >ICO"-ICIO"+1 (E)..............................................................................................31
6.9 +E%+,S =IP!T>TIC,S DE IN)E+?NCI,...................................................................................................... /&
1).3.1 0U>7.O/+.................................................................................................................................................... 34
1).3.2 7.O/+ -O CO"-ICIO"+1 (7C)................................................................................................................ 3!
1).3.3 .E-U89O +O +>0U.-O (.++) ................................................................................................................ 35
6.1 EST+,T>%I,S P,+, P+!",...........................................................................................................................&6
Prof. Simone C. Mendes Paiva
Lgica para Computao
2
6.: +E%+,S DE+I",D,S E DE E7UI",#?NCI,............................................................................................... &
6.6 +E%+,S DE IN)E+?NCI, P,+, 7U,NTI)IC,D!+ES.............................................................................&9
1).1).1 E1I6I"+89O U"I/E.0+1 (EU)............................................................................................................... 43
1).1).2 I"$.O-U89O -O U"I/E.0+1 (IU)........................................................................................................ 43
6.6.'. +EST+I24ES DE IU............................................................................................................................................... &1
1).1).3 I"$.O-U89O E4I0$E"CI+1 (IE)............................................................................................................ 4(
1).1).4 E1I6I"+89O -O E4I0$E"CI+1 (EE)......................................................................................................4(
6.6.&. +EST+I24ES EE..................................................................................................................................................... .6
Prof. Simone C. Mendes Paiva
Lgica para Computao
3
C8#CU#! P+!P!SICI!N,#
1.1 CONECTIVOS LGICOS
1.1.1 Conectivo E (conjuno)
re@resentaABo; C D
leitura; eC masC tamEFm
Considerando as sentenAas aEaixo;
GH IPortas aErem.J
G'H ITelKados coErem.J
Podemos formaliLar a sentenAa GH como sendo ,C e a sentenAa G'H como -. Se deseMarmos re@resentar a
sentenAa IPortas aErem e telKados coErem.J C teremos a fNrmula aEaixo. , versBo IPortas aErem mas telKados
coErem.J @ossuiria a mesma re@resentaABo.
1.1.2 Conectivo OU (disjuno)
re@resentaABo;
leitura; ou
Podemos re@resentar a sentenAa IPortas aErem ou telKados coErem.J como
1.1.3 Implicao (condicional)
re@resentaABo;
leitura; se...entBoC somente se
, sentenAa ISe @ortas aEremC entBo telKados coErem.J F formaliLada como
1.1.4 Equivalncia
re@resentaABo;
leitura; se e somente se
, sentenAa IPortas aErem seC e somente seC telKados coErem.J F formaliLada como
, F a aEreviatura @ara G, -H G- ,H.
, e - tm o mesmo valor verdade.
1.1.5 Negao
re@resentaABo; OC
leitura; nBoC nBo F o caso Pue
, sentenAa IPortas nBo aErem.J ou INBo F o caso Pue @ortas aEram.J F re@resentada @or
, taEela aEaixo resume os conectivos lNgicos e suas re@resentaAQes;
Prof. Simone C. Mendes Paiva
Lgica para Computao
A B
A B
A B
A B
~A
4
Operador Lgico Smbolo
NBo F o caso Pue O
E
!u
Se ... entBo
Se e somente se
1.2 WFFs - Frmulas Bem Formadas
Uma fNrmula do cRlculo @ro@osicional F uma sePSncia PualPuer de elementos do vocaEulRrio. Uma Tff GTell
formed formulaH ou fNrmula0Eem0formada F uma fNrmula definida @elas seguintes regras;
. PualPuer letra sentencial F uma Tff.
'. se , F uma TffC entBo O, tamEFm F.
/. se , e - sBo TffC entBo G, -HC G,-HC G,-H e G,-H tamEFm sBo.
7ualPuer outra coisa nBo estaEelecida @or uma das regras acima nBo F uma Tff.
Exerccios:
1.Utilize as regras de formao para determinar quais das seguintes frmulas so wffs e quais no so. 1ustifique
sua resposta.
aH OOO+
EH GO+H
cH P7
dH P 7
eH GP7H
fH OGP7H
gH GGP7H +H
KH GP7H +
iH OGOP O7H
MH GGP7H G+SHH
2. Interprete a letra sentencial ~C como 'Est chovendo', e ~N como 'Est nevando' e expresse a forma de cada
sentena na notao do clculo proposicional.
aH EstR CKovendo
EH NBo estR cKovendo
cH EstR cKovendo ou nevando
dH EstR cKovendo e nevando
eH EstR cKovendo mas nBo estR nevando
fH NBo F o caso Pue estR cKovendo e nevando
gH Se nBo estR cKovendoC entBo estR nevando
KH NBo F o caso Pue se estR cKovendo entBo estR nevando
iH NBo F o caso Pue se estR nevando entBo estR cKovendo
MH EstR cKovendo se e somente se nBo estR nevando
Prof. Simone C. Mendes Paiva
Lgica para Computao
5
UH NBo F o caso Pue estR cKovendo ou nevando
lH Se estR nevando e cKovendoC entBo estR nevando
mH Se nBo estR cKovendoC entBo nBo F o caso Pue estR nevando e cKovendo
nH !u estR cKovendoC ou estR nevando e cKovendo
oH !u estR cKovendo e nevandoC ou estR nevando mas nBo estR cKovendo.
3.Formalize os seguintes enunciados, utilizando o vocabulrio abaixo:
P - Paula vai.
Q - Quincas vai.
R - Richard vai.
S - Sara vai.
aH Paula nBo vai.
EH Paula vaiC mas 7uincas nBo.
cH Se Paula forC entBo 7uincas tamEFm irR.
dH Paula irRC se 7uincas for.
eH Paula irRC somente se 7uincas for.
fH Paula irRC se e somente se 7uincas for.
gH Nem Paula nem 7uincas irBo.
KH Paula e 7uincas nBo irBo.
iH !u Paula vaiC ou 7uincas nBo vai.
MH Paula nBo irR se 7uincas for.
UH !u Paula irRC ou +icKard e 7uincas irBo.
lH Se Paula forC entBo +icKard e 7uincas irBo.
mH Paula nBo irRC mas +icKard e 7uincas irBo.
nH Se +icKard forC entBo se Paula nBo forC 7uincas irR.
oH Se nem +icKard nem 7uincas foremC entBo Paula irR.
@H +icKard irR somente se Paula e 7uincas nBo forem.
PH +icKard e 7uincas vBoC a@esar de Paula e 7uincas nBo irem.
rH Se +icKard ou 7uincas forC entBo Paula irR e Sara nBo irR.
sH +icKard e 7uincas irBo se e somente se Paula ou Sara for.
Se Sara forC entBo +icKard ou Paula irBoC e se Sara nBo forC entBo Paula e 7uincas irBo.
4. Formalize os seguintes argumentos usando as letras sentenciais indicadas. Utilize os indicadores de premissa
(vrgulas) e concluso (assero --[ ) para distinguir as premissas da concluso.
aH Se Deus existeC entBo a vida tem significado. Deus existe. PortantoC a vida tem significado. GDC "H
EH Deus nBo existe. PoisC se Deus existisseC a vida teria significado. Mas a vida nBo tem significado. GDC "H
cH Se o aviBo nBo tivesse caVdoC nNs terVamos feito contato @elo rRdio. NBo fiLemos contato @elo rRdio. PortantoC o
aviBo caiu. GCC +H
Prof. Simone C. Mendes Paiva
Lgica para Computao
6
dH Como KoMe nBo F Puinta0feiraC deve ser sexta0feira. =oMe F Puinta0feira ou sexta0feira. G7C SH
eH Se KoMe F Puinta0feiraC entBo amanKB serR sexta0feira. Se amanKB for sexta0feiraC entBo de@ois de amanKB serR
sREado. ConsePSentementeC se KoMe for Puinta0feiraC entBo de@ois de amanKB serR sREado. G7C SC S'H
fH =oMe F um fim de semana se e somente se F sREado ou domingo. PortantoC KoMe F um final de semanaC desde Pue
KoMe F sREado. G)C SC DH
gH =oMe F um fim de semana se KoMe F sREado ou domingo. MasC KoMe nBo F um fim de semana. PortantoC KoMe nBo F
sREado e KoMe nBo F domingo. G)C SC DH
KH =oMe F um fim de semana somente se KoMe F sREado ou domingo. =oMe nBo F sREado. =oMe nBo F domingo. PortantoC
KoMe nBo F um fim de semana. G)C SC DH
iH , @ro@osta de auxVlio nBo estR no correio. Se os RrEitros a receEerem atF sexta0feiraC eles a analisarBo. PortantoC
eles a analisarBo @orPue se a @ro@osta estiver no correioC eles a receEerBo atF sexta0feira. GCC SC ,H
MH Ela nBo estR em casa ou nBo estR atendendo ao telefone. Mas se ela nBo estR em casaC entBo ela foi sePSestrada. E se
ela nBo estR atendendo ao telefoneC ela estR correndo algum outro @erigo. PortantoC ou ela foi sePSestrada ou ela
estR correndo um outro @erigo. GCC TC SC PH
5. Os seguintes argumentos so vlidos. Formalize-os usando a interpretao indicada. Aps conhecer as regras
bsicas de derivao (contedo a ser trabalhado posteriormente!), prove a validade da forma resultante
utilizando somente as dez regras de introduo de eliminao.
C; , conclusBo deste argumento F verdadeira
P; ,s @remissas deste argumento sBo verdadeiras
S; Este argumento F correto
"; Este argumento F vRlido
aH Este argumento nBo F incorreto. PortantoC este argumento F correto.
EH Este argumento F correto. PortantoC este argumento nBo F incorreto.
cH Se este argumento for corretoC entBo ele serR vRlido. Ele nBo F vRlido. PortantoC ele nBo F correto.
dH Se este argumento for corretoC entBo ele nBo serR invRlido. Ele F correto. DaVC ele F vRlido.
eH Se este argumento for corretoC entBo ele nBo serR invRlido. ,ssimC se ele for invRlidoC entBo ele serR incorreto.
fH Este argumento F correto e vRlido. PortantoC ele F correto ou ele F invRlido.
gH Este argumento nBo FC amEosC correto e invRlido. Ele F correto. PortantoC ele F vRlido.
KH Este argumento F correto se e somente se todas as suas @remissas forem verdadeiras. Mas nem todas as suas
@remissas sBo verdadeiras. PortantoC ele F incorreto.
Prof. Simone C. Mendes Paiva
Lgica para Computao
7
iH Se a conclusBo deste argumento for nBo0verdadeiraC entBo este argumento F incorreto. ,ssimC nBo F caso Pue este
argumento F correto e sua conclusBo nBo0verdadeira.
MH Se este argumento for incorreto e vRlidoC entBo nem todas as suas @remissas sBo verdadeiras. Todas as suas @remissas
sBo verdadeiras. Ele F vRlido. PortantoC ele F correto.
UH Se este argumento for vRlido e todas as suas @remissas forem verdadeirasC entBo ele serR correto. Se ele for corretoC
entBo a sua conclusBo serR verdadeira. Todas as suas @remissas sBo verdadeiras. PortantoC se este argumento for vRlidoC
entBo a sua conclusBo serR verdadeira.
lH !u este argumento F incorreto ouC caso contrRrioC ele F vRlido e todas as suas @remissas sBo verdadeiras. DondeC ele F
incorreto ou vRlido.
mH Este argumento F correto se e somente se ele for vRlido e todas as suas @remissas forem verdadeiras. Nem todas as
suas @remissas sBo verdadeiras. DaVC ele F incorreto.
nH Este argumento F correto se e somente se ele for vRlido e todas as suas @remissas forem verdadeiras. DaVC se ele for
vRlidoC ele serR correto se todas as suas @remissas forem verdadeiras.
oH Este argumento serR incorreto se e somente se nem todas as suas @remissas forem verdadeiras ou se ele for invRlido.
Mas ele F vRlido e todas as suas @remissas sBo verdadeiras. PortantoC ele F correto.
1.3 Tabelas-Verdade
! conceito central na semWntica da lNgica @ro@osicional F o valor0verdade. !s enunciados verdadeiros @ossuem
valor0verdade ve'dadei'oC e os enunciados falsos @ossuem valor0verdade ?also. Todos enunciados @ossuem um Xnico
valor0verdade. , semWntica @ara a lNgica @ro@osicional se Easeia no @rincV@io de EivalnciaC su@ondo Pue verdadeiro e
falso sBo os Xnicos valores0verdade e Pue em toda situaABo @ossVvel cada enunciado assume um deles. UtiliLa0se as
aEreviaAQes " @ara verdadeiro e ) @ara falso.
, taEela aEaixo cKama0se TaEela0"erdade. ,Eaixo de , sBo analisadas duas @ossiEilidades; ou , F verdadeiro
ou , F falso. O, @ossui os valores0verdade @ara cada valor0verdade de ,.
1.3.1 Tabela-verdade da negao
, negaABo de um enunciado , F verdadeira se , for falsoC e F falsa se , for verdadeiro.
A ~A
" )
) "
Prof. Simone C. Mendes Paiva
Lgica para Computao
8
1.3.2 Tabela-verdade da conjuno
Uma conMunABo F verdadeira se amEos os seus conMunctos forem verdadeirosC ou seMaC se amEas as letras sentenciais Pue
@artici@am da conMunABo forem verdadeiras. SenBoC ela F falsa.
A B AB
" " "
" ) )
) " )
) ) )
1.3.3 Tabela-verdade da disjuno
Uma disMunABo F verdadeira seC @elo menosC um dos disMunctos for verdadeiroC senBo ela F falsa. !u seMaC ,- serR
verdadeiro sem@re Pue C no mVnimoC uma das letras sentenciais G, ou -H for verdadeira.
A B AB
" " "
" ) "
) " "
) ) )
1.3.4 Tabela-verdade da implicao
, construABo da taEela0verdade da im@licaABo exige o conKecimento dos conceitos de antecedente e consePSente.
,ntecedente; F a letra sentencial ou Tff Pue encontra0se antes do conectivo da im@licaABo.
ConsePSente; F a letra sentencial ou Tff Pue encontra0se de@ois do conectivo da im@licaABo.
Exem@lo;
Indique o antecedente e o conseq@ente das ?'ases a%aiAo2
aH , caneta escreve Puando tem tinta e estR com a tam@a aEerta.
+ntecedente2 a caneta esc'eve
Conseq@ente2 te' tinta e esta' com a tampa a%e'ta
EH Se a fome continuarC entBo algumas @essoas morrerBo.
+ntecedente2 a ?ome continua'
Conseq@ente2 al#umas pessoas mo''e'o
, taEela0verdade da im@licaABo sN serR falsa no caso em Pue o antecedente da im@licaABo F verdadeiro e o
consePSente F falso. Em todos os demais casosC ela F verdadeira.
A B AB
" " "
" ) )
) " "
) ) "
Considere a seguinte afirmaABo;
Prof. Simone C. Mendes Paiva
Lgica para Computao
9
ISe eu @assar na @rovaC vou viaMar.J
Podemos formaliLR0la como ,-.
,gora vamos considerar todas as comEinaAQes entre verdadeiro e falso @ara as letras sentenciais , e -.
Caso ; , F verdadeiro e - tamEFm o F. GlinKa da taEela0verdadeH
SituaABo; Passei na @rova e viaMei. #ogoC a afirmaABo F verdadeira.
Caso '; , F verdadeiro e - F falso. GlinKa ' da taEela0verdadeH
SituaABo; Passei na @rova e nBo viaMei. #ogoC a afirmaABo F falsaC @ois eu Kavia afirmado PueC se @assasse na
@rovaC viaMaria.
Caso /; , F falso e - F verdadeiro. GlinKa / da taEela0verdadeH
SituaABo; NBo @assei na @rova e viaMei. #ogoC a afirmaABo F verdadeiraC @ois eu nBo afirmei PueC se nBo
@assasse na @rovaC nBo iria viaMar.
Caso &; , F falso e - tamEFm o F. GlinKa & da taEela0verdadeH
SituaABo; NBo @assei na @rova e nBo viaMei. #ogoC a afirmaABo F verdadeira.
1.3.5 Tabela-verdade da equivalncia
, ePuivalncia F a aEreviatura @ara G, Y -H G- Y ,H. , ePuivalncia ,- serR verdadeira Puando , e - @ossuVrem
o mesmo valor0verdadeC seMa ele verdadeiro ou falso.
A B AB BA (AB) (BA)
" " " " "
" ) ) " )
) " " ) )
) ) " " "
#ogoC a taEela0verdade @ara a ePuivalncia F;
A B AB
" " "
" ) )
) " )
) ) "
Prof. Simone C. Mendes Paiva
Lgica para Computao
1
0
EAe'cBcios2
5. Construa a tabela-verdade para:
. G, ) ( ,H
'. G, O,H ( )
/. G, -H -
&. GO- O,H -
.. G, O-H OG, -H
<. OGP 7H
9. G, O,H
1.4 Classificao de Wffs Usando Tabelas-Verdade
Uma Tff @ode ser uma tautologiaC contingncia ou contradiABo. Tal classificaABo F definida de acordo com o
resultado da taEela0verdade @ara a Tff em PuestBo.
Tautologia; a Tff serR uma tautologia Puando todos os valores0verdade resultantes na taEela0verdade forem
verdadeiros.
Contradio: a Tff serR uma contradiABo Puando todos os valores0verdade resultantes na taEela0verdade forem falsos.
Contingncia: a Tff serR uma contingncia Puando os valores0verdade resultantes na taEela0verdade variarem entre
verdadeiro e falso.
ExercVcio;
5. Classi?ique as C??s do eAe'cBcio ante'io' como tautolo#iaD cont'adio ou contin#ncia.
1.4 TABELAS-VERDADE PARA FORMAS DE ARGUMENTO
Uma forma de argumento F vRlida seC e somente seC todas as suas instWncias sBo vRlidas. Uma instWncia de uma
forma F vRlida se F im@ossVvel Pue a sua conclusBo seMa falsa enPuanto suas @remissas sBo verdadeirasC ou seMaC se nBo
KouverC na taEela0verdadeC uma linKa com conclusBo falsa e todas @remissas verdadeiras.
Se um argumento for vRlidoC entBo sua conclusBo @oderR ser @rovada com a utiliLaABo das regras de deduABo
naturalC Pue serBo vistas nas @Rginas seguintes.
Exem@lo ;
SeMa a forma de argumento P7C OP Z00 7. Construa a taEela0verdade @ara essa forma de argumento e mostre se ela F
vRlida ou invRlida.
, taEela0verdade @ara essa forma serR;
Col Col' Col/ Col& Col.
P Q P Q ~P Q
#inKa / " " " ) /
#inKa & " ) " ) ,
#inKa . ) " " " /
#inKa < ) ) ) " ,
,s colunas / e & da taEela0verdade contm as @remissas da forma de argumentoC ou teorema. , coluna .
contFm a conclusBo.
Prof. Simone C. Mendes Paiva
Lgica para Computao
1
1
Nas linKas / e .C as @remissas sBo todas verdadeiras. SBo a@enas nestas linKas Pue deve ser analisada a conclusBo.
Em amEas as linKas a conclusBo tamEFm F verdadeira. #ogoC a forma de argumento F vRlida.
Exem@lo ';
SeMa a forma de argumento P7C 7 Z00 P. Construa a taEela0verdade @ara essa forma de argumento e mostre se ela F
vRlida ou invRlida.
, taEela0verdade @ara essa forma serR;
Col Col' Col/ Col& Col.
P Q P Q Q P
#inKa / " " " " /
#inKa & " ) ) ) /
#inKa . ) " " " ,
#inKa < ) ) " ) ,
,s colunas / e & da taEela0verdade contm as @remissas da forma de argumentoC ou teorema. , coluna .
contFm a conclusBo.
Nas linKas / e .C as @remissas sBo todas verdadeiras. SBo a@enas nestas linKas Pue deve ser analisada a
conclusBo. Na linKa / a conclusBo F verdadeiraC @orFmC na linKa .C a conclusBo F falsa. Como ocorreu um caso em Pue
as @remissas foram verdadeiras e a conclusBo falsa GlinKa .HC a forma de argumento F invRlida.
Exerccio:
7. Formalize os enunciados abaixo e utilize a tabela verdade para afirmar se eles so vlidos ou no.
aH Se eu @assar na @rovaC irei viaMar. NBo @assei na @rovaC logoC nBo viaMei.
EH "ou @assar de ano seC e somente seC eu estudar e nBo viaMar. NBo estudei. "iaMei. #ogoC @assei na @rova.
1.5 APLICAES DE TABELAS-VERDADE E FORMALIZAO
,s taEelas0verdade @odem auxiliar na resoluABo de @roElemas em Pue se deseMa saEer a verdade ou nBo. !s
exercVcios aEaixo mostram uma a@licaABo de taEelas0verdade e formaliLaABo.
ExercVcios;
8. Trs estudantes declararam o seguinte:
Paulo; Eu nBo fiL o testeC masC se +ogFrio o feLC SFrgio tamEFm feL.
+ogFrio; Eu fiL o testeC mas um de meus colegas nBo feL.
SFrgio; Se +ogFrio feL o testeC eu tamEFm o fiL.
Formalize estas trs declaraes na linguagem lgica proposicional utilizando o vocabulrio abaixo. A seguir,
monte a tabela-verdade das proposies e utilize-a para responder as questes a, b e c:
P; Paulo feL o teste.
+; +ogFrio feL o teste.
S; SFrgio feL o teste.
Prof. Simone C. Mendes Paiva
Lgica para Computao
1
2
aH Se todos estBo diLendo a verdadeC Puem feL o teste[
EH Se todos estBo mentindoC Puem feL o teste[
cH Se todos fiLeram o testeC Puem estR diLendo a verdade e Puem estR mentindo[
9.Trs estudantes declararam o seguinte:
Pedro; Eu entreguei o traEalKoC masC se \oBo nBo entregouC Maria tamEFm nBo entregou.
\oBo; Se Pedro nBo entregou o traEalKoC eu tamEFm nBo entreguei.
Maria; Eu nBo entreguei o traEalKoC mas um de meus colegas entregou.
Formalize estas trs declaraes na linguagem lgica proposicional utilizando o vocabulrio abaixo. A seguir,
monte a tabela-verdade das proposies e utilize-a para responder as questes a, b e c:
P; Pedro entregou o traEalKo.
\; \oBo entregou o traEalKo.
M; Maria entregou o traEalKo.
dH Se todos estBo diLendo a verdadeC Puem entregou o traEalKo[
eH Se todos estBo mentindoC Puem entregou o traEalKo[
fH Se todos entregaram o traEalKoC Puem estR diLendo a verdade e Puem estR mentindo[
Prof. Simone C. Mendes Paiva
Lgica para Computao
1
3
EXERCICIOS DE REVISO
1. Construa a tabela verdade das wffs abaixo e classifique-as:
a) OGP G,-HH
b) G,GO- GCO,HHH OC
2. Considere os seguintes depoimentos:
7aulo2 Eu nBo estudei lNgicaC mas se \oBo estudouC entBo Maria nBo estudou.
<oo; Se um dos meus colegas nBo estudou lNgicaC entBo eu tamEFm nBo estudei.
6a'ia; Se Paulo e \oBo estudaram lNgicaC entBo eu tamEFm estudei.
)ormaliLe estas trs declaraAQes na linguagem lNgica @ro@osicional utiliLando o vocaEulRrio aEaixo;
P; Pedro estudou lNgica.
\; \oBo estudou lNgica.
Maria; Maria estudou lNgica
Monte a taEela0verdade @ara res@onder e Mustificar as seguintes PuestQes. IndiPue em Pue linKa da taEela0verdade F
@ossVvel identificar as situaAQes.
aH Se a@enas Paulo estudou lNgicaC Puem diL a verdade e Puem estR mentindo[
EH Se ninguFm estudou lNgicaC Puem estR diLendo a verdade e Puem estR mentindo[
3. Trs suspeitos declararam o seguinte:
Sus@eito ,; ]Eu nBo @artici@ei do crimeC mas um dos demais sus@eitos @artici@ou. ]
Sus@eito -; ]Se eu @artici@ei do crimeC entBo o sus@eito , @artici@ou e o sus@eito - nBo @artici@ou. ]
Sus@eito C; ]Eu @artici@ei do crime seC e somente se um dos outros dois sus@eitos nBo @artici@ou. ]
Formalize as declaraes utilizando o vocabulrio abaixo:
, ^ Sus@eito , @artici@ou do crime.
- ^ Sus@eito - @artici@ou do crime.
C ^ Sus@eito C @artici@ou do crime
Construa a tabela verdade para as trs declaraes e utilize-a para responder as perguntas a seguir. Indique
qual(is) linha(s) da TV voc utilizou para criar sua resposta.
aH 7uem mente e Puem diL a verdade se;
Prof. Simone C. Mendes Paiva
Lgica para Computao
1
4
. Todos @artici@aram do crime[
'. ,@enas o sus@eito , @artici@ou do crime[
/. ,@enas o sus@eito - nBo @artici@ou do crime[
&. NinguFm @artici@ou do crime[
.. ,@enas os sus@eitos , e - @artici@aram do crime[
EH 7uem @artici@ou do crime e Puem nBo @artici@ou se;
. Todos diLem a verdade[
'. Todos mentem[
/. ,@enas os sus@eitos , e - diLem a verdade[
&. ,@enas o sus@eito - mente[
.. ,@enas o sus@eito , mente[
4. Formalize as formas de argumento abaixo:
aH Se estR garoando ou nevandoC entBo o cFu nBo estR claro. NBo F o caso Pue o cFu nBo estR claro. PortantoC nBo F o
caso Pue estR garoando ou nevando.
EH Se estR cKovendoC entBo KR nuvens no cFu. NBo KR nuvens no cFu. PortantoC nBo estR cKovendo.
cH Se P F verdadeiroC entBo 7 F verdadeiro. PortantoC se 7 nBo F verdadeiroC entBo P tamEFm nBo deve ser.
dH Miau nBo FC ao mesmo tem@oC um gato e um cacKorro. Miau F um gatoC logoC Miau nBo F um cacKorro.
eH Se Miau F um gato e ClFo um @eixinKoC entBo )ido nBo F um cacKorro. !u )ido F um cacKorroC ou Miau e ClFo
gostam de nadar. Miau F um gato seC e somente seC ClFo F um @eixinKo. #ogoC se Miau F um gatoC Miau gosta de
nadar.
fH Se Miau caAaC ele a@anKa ratos. Se ele nBo dorme EastanteC entBo ele caAa. Se ele nBo a@anKa ratosC ele dorme
Eastante. #ogoC Miau a@anKa ratos.
gH Se Maria estR doenteC Pedro nBo vai _ escola. Se Pedro estR doenteC Maria nBo vai _ escola. Maria e Pedro vBo _
escola. #ogoC nem Maria nem Pedro estBo doentes.
KH Se a lua gira em torno da terra e a terra gira em torno do solC entBo Co@Frnico tinKa raLBo. Se Co@Frnico tinKa
raLBoC entBo Ptolomeu nBo tinKa raLBo. , terra gira em torno do sol. #ogoC se a lua gira em torno da terraC Ptolomeu
nBo tinKa raLBo.
iH Se a lua gira em torno da terraC entBo a terra gira em torno do sol. Se a terra gira em torno do solC entBoC se a lua gira
em torno da terraC ou Co@Frnico ou Ptolomeu tinKam raLBo. Nem Co@Frnico nem Ptolomeu tinKam raLBo. #ogoC a
lua nBo gira em torno da terra.
Prof. Simone C. Mendes Paiva
Lgica para Computao
1
5
MH Se meu cliente F cul@adoC entBo a faca estava na gaveta. !u a faca nBo estava na gaveta ou \ason viu a faca. Se a
faca nBo estava lR no dia 6 de outuEroC entBo segue Pue \ason nBo viu a faca. ,lFm dissoC se a faca estava lR em 6
de outuEroC entBo a faca estava na gaveta e tamEFm o macKado estava no celeiro. Mas todos nNs saEemos Pue o
macKado nBo estava no celeiro. PortantoC senKoras e senKores @resentes no \XriC meu cliente F inocente.
UH Se eu @erceEoC entBo ou minKa @erce@ABo F ilusNria ou ela F verVdica. Se a minKa @erce@ABo F ilusNria entBo eu
@erceEo alguma coisa e ainda assim eu nBo @erceEo um oEMeto material. Se eu @erceEo alguma coisa e ainda assim
eu nBo @erceEo um oEMeto materialC entBo eu @erceEo uma sensaABo. Se a minKa @erce@ABo F verVdica entBo eu
@erceEo alguma coisa. Se a minKa @erce@ABo F verVdica e eu @erceEo um oEMeto materialC entBo minKa ex@erincia
em @erce@ABo verVdica sem@re diferirR da minKa ex@erincia em @erce@ABo ilusNria. MinKa ex@erincia em
@erce@ABo verVdica nem sem@re difere da minKa ex@erincia em @erce@ABo ilusNria. PortantoC se eu @erceEoC entBo
eu @erceEo uma sensaABo e eu nBo @erceEo um oEMeto material.
Prof. Simone C. Mendes Paiva
Lgica para Computao
1
6
CE1CU1O -E 7.E-IC+-O0
! cRlculo de @redicados comEina conceitos do cRlculo @ro@osicional com conceitos de ItodoJ e IalgumJ.
10.1 QUANTIFICADORES E VARIVEIS
Quantificadores; indicam Puantos oEMetos @ossuem uma @ro@riedade. SBo frases como I@ara todoJC I@ara cadaJC ou
I@ara algumJC Iexiste umJ C I@ara @elo menos umJ.
!s Puantificadores a@arecem agora @ara su@rir a necessidade de Puantificar @ro@osiAQes.
10.1.1QUANTIFICADOR UNIVERSAL:
+e@resentaABo;
#0se; I@ara todoJC I@ara cadaJC IPualPuer Pue seMaJ
Considere o enunciado; Todo S F P.
Usando a letra x @ara re@resentar oEMetos individuaisC @odemos ex@ressar o enunciado como IPualPuer Pue seMa
xC se x F SC entBo x F PJ.
! Puantificador universal F o sVmEolo Pue re@resentarR o IPualPuer Pue seMaJ. ,ssimC a re@resentaABo do
enunciado F;
Exem@lo;
Todas as Manelas sBo trans@arentes.
Formalizao: x(1x Tx)
10.1.2QUANTIFICADOR EXISTENCIAL
+e@resentaABo;
#0se; Iexiste umJC I@ara @elo menos umJC I@ara algumJ
Considere o enunciado; ,lgum S F P
Usando a letra x @ara re@resentar oEMetos individuaisC @odemos ex@ressar o enunciado como I@ara @elo menos
um xC x F S e x F PJ.
! Puantificador existencial F o sVmEolo Pue re@resentarR o I@ara @elo menos umJ. ,ssimC a re@resentaABo do
enunciado F;
Exem@lo;
,lgumas as Manelas sBo trans@arentes.
Formalizao: x(1x Tx)
EAemplos2
Prof. Simone C. Mendes Paiva
Lgica para Computao
x(Sx Px)
x (Sx Px)
Dica! Normalmente, a implica!o " o conecti#o a$$ocia%o ao &'anti(ica%or 'ni#er$al, e a
con)'n!o " o conecti#o a$$ocia%o ao &'anti(ica%or e*i$tencial!
1
7
Escreva wffs que expressem:
aH Todos os estudantes sBo inteligentes.
x GSx IxH
Sx; x F estudante
Ix; x F inteligente
EH ,lguns estudantes inteligentes gostam de mXsica.
x GSx Ix Mx H H
cH Todos Pue gostam de mXsica sBo estudantes cantores.
x GMx GSx CxHH
MGxH; x gosta de mXsica
SGxH; x F estudante
CGxH; x F cantor
ExercVcios;
. Interpretando a letra ~C como a sentena ~Est chovendo e pelas letras ~R, ~V, ~S e ~I os predicados
~ uma r, ~ verde, ~ saltitante, ~ iridescente, formalize as seguintes sentenas:
aH Todas as rBs sBo verdes.
EH NenKuma rB F verde.
cH ,lgumas rBs sBo verdes.
dH ,lgumas rBs nBo sBo verdes.
eH Toda coisa F uma rB.
fH ,lguma coisa F uma rB.
gH Nem toda coisa F uma rB.
KH Nada F uma rB.
iH Existem rBs verdes.
MH 7ualPuer coisa ou F rB ou F iridescente.
UH 7ualPuer coisa F uma rB verde.
lH EstR cKovendo e algumas rBs estBo saltitando.
mH Se estR cKovendoC entBo todas as rBs estBo saltitando.
nH ,lgumas coisas sBo verdes e algumas nBo sBo.
oH ,lgumas coisas sBo verdes e iridescentes simultaneamente.
@H !u PualPuer coisa F uma rB ou nada F uma rB.
PH 7ualPuer coisa ou F uma rB ou nBo F uma rB.
rH Todas as rBs sBo rBs.
sH Somente rBs sBo verdes.
tH NBo existem rBs iridescentes.
uH Todas as rBs verdes estBo saltitando.
vH Todas as rBs verdes nBo estBo saltitando.
TH NBo F verdade Pue algumas rBs verdes estBo saltitando.
xH Se nada F verdeC entBo nBo existem rBs verdes.
`H +Bs verdes saltam se e somente se nBo estR cKovendo.
Prof. Simone C. Mendes Paiva
Lgica para Computao
1
8
10.2 PREDICADOS E NOMES PRPRIOS
Nem todos enunciados contm Puantificadores. !s enunciados do ti@o suMeito0@redicado atriEuem uma @ro@riedade
a uma @essoa ou coisa.
,s letras minXsculas Gdo inVcio ao meio do alfaEetoH @odem ser inter@retadas como nomes @rN@rios @ara indivVduosC
enPuanto as letras finais minXsculas do alfaEeto re@resentam variRveis Gsem@re associadas a PuantificadoresH e letras
maiXsculas do alfaEeto re@resentam letras nominais.
,s Tffs desse ti@o sBo cKamadas Tffs @redicativasC enPuanto as demais sBo Tffs @ro@osicinais.
wff Proposicional: sBo as Pue contm a@enas sVmEolos @ro@osicionais e conectivos lNgicos GaC C OC , )
wff Predicativa: sBo as Pue contm @redicados e variRveis.
Uma Tff @ro@osicional sem@re tem valor0verdadeC enPuanto uma @redicativa @ode nBo ter valor0verdade.
Wff Proposicional Wff Predicativa
Seu valor0verdade de@ende dos valores0verdade atriEuVdos
aos sVmEolos @ro@osicionais
Seu valor0verdade Gou sua faltaH de@ende da inter@retaABo
=R a@enas '
n
linKas @ossVveis @ara Tffs @ro@osicionais
=R um nXmero infinito de inter@retaAQes @ossVveis
Uma tautologia F uma Tff @ro@osicional Pue F verdadeira
em todas as linKas da taEela0verdade
! anRlogo _ tautologia F a validade. Uma Tff @redicativa F
vRlida se for verdadeira @ara PualPuer inter@retaABo
@ossVvel. Pode0se @rovar Pue uma Tff @redicativa F invRlida
se encontrarmos uma Xnica inter@retaABo na Pual a Tff
tenKa valor0verdade falso ou nBo tenKa valor0verdade.
EAemplos2
. -oE ama CRtia
10.3 )ormaliLaABo; Abc
'. CRtia ama -oE
10.4 )ormaliLaABo; Acb
/. CRtia deu #ulu @ara -oE
10.5 )ormaliLaABo; Dclb
EXERCICIOS:
12. Formalize as sentenas a seguir utilizando predicados e nomes prprios;
aH CRtia F mecWnica.
EH -oE F mecWnico.
cH CRtia e -oE sBo mecWnicos.
dH !u CRtia ou -oE sBo mecWnicos.
eH CRtia F mecWnica ou enfermeira.
fH Se CRtia F mecWnicaC entBo ela nBo F enfermeira.
Prof. Simone C. Mendes Paiva
Lgica para Computao
1
9
gH CRtia F mais alta Pue -oE.
KH -oE ama CRtia.
iH -oE ama a si @rN@rio.
MH -oE ama a PualPuer @essoa.
UH 7ualPuer @essoa ama -oE.
lH 7ualPuer @essoa ama a si mesma.
mH ,lguma @essoa ama a si mesma.
nH Existe alguFm Pue CRtia nBo ama.
oH Existe alguFm Pue tanto -oE Puanto CRtia amam.
@H Existe alguFm Pue -oE ama e alguFm Pue CRtia ama.
PH CRtia deu alguma coisa @ara -oE.
rH -oE deu um anel @ara CRtia.
sH Todo mundo ama todo mundo.
tH ,lguFm ama alguFm.
uH Existe alguFm Pue ama todo mundo.
vH Todo mundo F amado @or alguFm.
TH Se -oE ama a si @rN@rioC entBo ele ama alguma @essoa.
xH Se -oE nBo ama a si @rN@rioC entBo ele ama alguFm.
`H Para PuaisPuer trs oEMetosC se o @rimeiro F mais alto Pue o segundo e o segundo F mais alto Pue o terceiroC entBo o
@rimeiro F mais alto Pue o terceiro.
13. Formalize as seguintes sentenas usando o vocabulrio a seguir.
"omes2
a * +l
E * >etF
f * ?ama
d * dinFei'o
7'edicados UnG'ios2
) * H ?amoso
, * H am%icioso
= * H se' Fumano
7'edicado %inG'io2
% 0 ...#osta de...
7'edicado te'nG'io2
P 0 ...p'e?e'e...do que ...
aH ,l e -etK gostam de dinKeiro.
EH Nem -etK nem ,l sBo famosos.
cH ,l gosta de fama e de dinKeiro.
Prof. Simone C. Mendes Paiva
Lgica para Computao
2
0
dH -etK @refere fama do Pue dinKeiro.
eH ,l @refere -etK do Pue dinKeiro e fama.
fH -etK @refere PualPuer coisa do Pue ,l.
gH ,l @refere nada do Pue -etK.
KH ,lguns Kumanos sBo amEiciosos e famosos.
iH 7ualPuer @essoa amEiciosa gosta de dinKeiro.
MH Nem toda @essoa Pue gosta de dinKeiro F amEiciosa.
UH Se ,l e -etK sBo amEiciososC entBo existe um ser Kumano amEicioso.
lH -etK gosta de PualPuer ser Kumano.
mH ,lguFm nBo gosta de si mesmo.
nH ,lguFm nBo gosta de alguFm.
oH NinguFm gosta de todo mundo.
@H NenKum ser Kumano gosta de todo mundo.
PH ,l gosta de todo ser Kumano Pue gosta dele.
rH ,lguns famosos gostam de si @rN@rios.
sH Todos famosos gostam de si @rN@rios.
tH Nem todos gostam de todos Pue sBo famosos.
14+ Formalize as seguintes sentenas, interpretando pela letra C` a sentena es! c"#$e%&#` e pelas letras U`,
B`, F` e P` os predicados ' ()s#`, ' b)*%c#`, ' +e)#,` e ' -#l*)`, respectivamente.
aH Todos os ursos sBo Erancos.
EH NenKum urso F Eranco.
cH ,lguns ursos sBo Erancos.
dH ,lguns ursos nBo sBo Erancos.
eH Toda coisa F um urso.
fH ,lguma coisa F um urso.
gH Nem toda a coisa F um urso.
KH Nada F um urso.
iH Existem ursos Erancos.
MH 7ualPuer coisa ou F urso ou F @olar.
UH 7ualPuer coisa F um urso Eranco.
lH EstR cKovendo e alguns ursos estBo feroLes.
mH Se estR cKovendoC entBo todos os ursos estBo feroLes.
nH ,lgumas coisas sBo Erancas e algumas nBo sBo.
oH ,lgumas coisas sBo Erancas e @olares simultaneamente.
@H !u PualPuer coisa F um urso ou nada F um urso.
PH 7ualPuer coisa F um urso ou nBo F um urso.
rH Todos os ursos sBo ursos.
Prof. Simone C. Mendes Paiva
Lgica para Computao
2
1
sH Somente ursos sBo Erancos.
tH NBo existem ursos @olares.
uH Todos os ursos estBo feroLes.
vH NBo F verdade Pue alguns ursos Erancos estBo feroLes.
TH ,lguns ursos Erancos nBo estBo feroLes.
xH Se nada F ErancoC entBo nBo existem ursos Erancos.
LH Ursos Erancos sBo feroLes se e somente se nBo estR cKovendo.
Prof. Simone C. Mendes Paiva
Lgica para Computao
2
2
EXERCICIOS DE REVISO
1+ Formalize as sentenas a seguir na Lgica de Predicados utilizando o vocabulrio indicado:
Cx ^ x F um Corvette
Px^ x F um PorsKe
)x ^ x F uma )errari
Dx` ^ x F mais devagar Pue `
Ex ^ x F um romance de es@ionagem
#x ^ x F longo
Mx ^ x F um romance @olicial
-x` ^ x F melKor do Pue `
aH Nada F ao mesmo tem@o um Corvette e uma )errari.
EH ,lguns PorsKes sN andam mais devagar do Pue )erraris.
cH ,@enas Corvettes andam mais devagar Pue PorsKes.
dH Todas as )erraris andam mais devagar do Pue algum Corvette.
eH ,lguns PorsKes nBo andam mais devagar do Pue Corvette algum.
fH Se existe algum Corvette Pue anda mais devagar do Pue uma )errariC entBo todos os Corvetes andam mais devagar
Pue todas as )erraris.
gH Todos os romances de es@ionagem sBo longos.
KH Nem todo romance @olicial F de es@ionagem.
iH ,@enas romances @oliciais sBo longos.
MH ,lguns romances de es@ionagem sBo @oliciais.
UH +omances de es@ionagem sBo melKores Pue romances @oliciais.
lH ,lguns romances @oliciais sBo melKores do Pue todos os de es@ionagem.
mH ,@enas romances de es@ionagem sBo melKores do Pue romances @oliciais.
2. D verses em portugus para as wffs a seguir utilizando o vocabulrio indicado:
,x` ^ x ama `
-x ^ x F Eonito
"x ^ x F vistoso
=x ^ x F um Komem
Mx ^ x F uma mulKer
M ^ \oBo
c ^ CRtia
aH "M ,cM
EH x GMx"xH
Prof. Simone C. Mendes Paiva
Lgica para Computao
2
3
cH *, ,-*.*) Ac*)
dH *,/* ,B* A)*) )
eH *0/* 1,A*1 , -1 .1) ) 2
fH *0 ,/*B*) 1,A*1 , .1 -1) ) 2
3. Formalize as sentenas a seguir no clculo de predicados. Utilize o vocabulrio abaixo:
DGxH 0x F um dia \GxH 0 x F um MuiL )GxH 0x F um farmacutico
SGxH 0x estR faLendo sol ,GxH 0x F um advogado MGxC`H 0 x admira `
CGxH 0x estR cKovendo MGxH 0x F uma mulKer
aH Todos os dias estR faLendo sol.
EH ,lguns dias nBo estR cKovendo.
cH Todo dia Pue nBo estR faLendo sol estR cKovendo.
dH ,lguns dias estR faLendo sol e cKovendo.
eH NenKum dia estR faLendo sol e cKovendo ao mesmo tem@o.
fH > sem@re um dia de sol a@enas se for um dia cKuvoso.
gH NenKum dia faL sol.
KH Existem algumas mulKeres advogadas Pue sBo farmacuticas.
iH NenKuma mulKer FC ao mesmo tem@oC advogada e farmacutica.
MH ,lguns advogados admiram a@enas MuVLes.
UH Todos os MuVLes admiram a@enas MuVLes.
lH Todas mulKeres advogadas admiram algum MuiL.
mH ,lgumas mulKeres nBo admiram nenKum MuiL.
Prof. Simone C. Mendes Paiva
Lgica para Computao
2
4
SISTEMAS FORMAIS
! sistema formal Pue usa as Tffs @ro@osicionais F cKamada de #Ngica Pro@osicionalC lNgica de sentenAas ou
cRlculo @ro@osicional. ! sistema formal Pue usa Tffs @redicativas F cKamado lNgica @redicada ou cRlculo @redicado.
Certas Tffbs sBo aceitas como axiomasC os seMaC sBo Tffbs Pue nBo @recisam ser @rovados. ,ssimC um axioma
deve ser uma Tff cuMa IverdadeJ seMa evidente. Um axiomaC entBoC deve ser uma tautologiaC ouC se envolve @redicadosC
uma Tff vRlida.
,lFm dos axiomasC sistemas formais contm 'e#'as de in?e'nciaC Pue sBo uma convenABo Pue @ermite a uma
nova Tff ser inferidaC ou deduLidaC de uma ou duas outras TffbsC ou seMaC sBo regras ca@aLes de gerar todas as formas de
argumento vRlidas e Pue @odem ser ex@ressas na linguagem do cRlculo @ro@osicional.
SePSncia de Prova F uma sePSncia de Tffbs na Pual cada Tff seMa ou um axioma ou o resultado da a@licaABo
de uma das regras de inferncia _s Tffbs anteriores. Um teo'ema F o Xltimo com@onente desta sePSncia. , sePSncia F
a p'ova do teorema.
Em uma derivaABo ou @rovaC as regras de inferncia geram as formas de argumento numa sFrie de eta@as
sim@les e @recisas de raciocVnioC Pue F a derivaABo ou @rova.
Se./0%c1* &e (2* -)#$* &e e#)e2*3
Tff Gum axioma ou @remissaH
Tff ' Gum axioma ou @remissaH
Tff / Ginferida da Tff e da Tff ' @or uma regra de infernciaH
Tff & Gum axioma ou @remissaH
Tff . Ginferida da Tff & @or uma regra de infernciaH
Tff < Ginferida da Tff / e Tff . @or uma regra de infernciaH
Tff < F o teorema
10.6 REGRAS NO HIPOTTICAS DE INFERNCIA
Existem deL regras ERsicas de inferncia; duas Guma de introduABo e uma de eliminaABoH @ara cada um dos
cinco o@eradores lNgicos G aC , , , e O H. , regra de eliminaABo @ara um o@erador F usada @ara inferir a @artir de
@remissas nas Puais ele F o o@erador @rinci@al. , regra de introduABo @ara um o@erador F usada @ara derivar conclusQes
nas Puais ele F o o@erador @rinci@al.
,s regras nBo Ki@otFticas de derivaABo sBo as seguintes;
a. Modus Ponens GMPH
E. EliminaABo da NegaABo GEOH
c. IntroduABo da ConMunABo GIH
d. EliminaABo da ConMunABo GEH
e. IntroduABo da DisMunABo GIH
f. EliminaABo da DisMunABo GEH
g. IntroduABo do -icondicional GIH
K. EliminaABo do -icondicional GEH
10.6.1 MODUS PONENS (MP)
> a regra de eliminaABo @ara o condicional GseC entBoC im@licaH. > a regra usada @ara inferir de @remissas Pue
contm o o@erador condicional. MP @ode ser a@licada a condicionais cuMos antecedente e consePSente sBo Tffs
com@ostas.
Prof. Simone C. Mendes Paiva
Lgica para Computao
2
5
Exem@los;
CD 0 , C 0 I&& +
. C 0000000000000000000000000000@remissa
'. S , 000000000000000000000 @remissa
/. C S 000000000000000000000 @remissa
&. S 000000000000000000000000000 C / MP
.. , 000000000000000000000000000 'C & MP
47 (* .)D ;7D * I&& .
. OP G7 +H 000000000000000000000 @remissa
'. OP 000000000000000000000000000000000000 @remissa
/. 7 0000000000000000000000000000000000000 @remissa
&. G7 +H 000000000000000000000000000 C ' MP
.. + 0000000000000000000000000000000000000 /C & MP
10.6.2 ELIMINAO DA NEGAO: (E~)
Permite inferir @remissas Pue sBo negaAQes de negaAQes.
Exem@lo;
Prof. Simone C. Mendes Paiva
Lgica para Computao
+egra; de um condicional e seu antecedenteC @odemos inferir seu consePSente.
A B
A
/3
B
+egra; De uma Tff da forma OO, @odemos inferir ,
OO,
EO
,
, - C , Z00 -
. , - 0000000000000000000000000000 @remissa
'. , 0000000000000000000000000000000000 @remissa
/. - 0000000000000000000000000000000000 C ' MP
OO , Z00 ,
.OO , 00000000000000000000000000 @remissa
'. , 00000000000000000000000000000 EO
2
6
;7 ;;* D ;;;7 | *
. OP OO7 0000000000000000000000000000 @remissa
'. OOOP 00000000000000000000000000000000000 @remissa
/. OP 00000000000000000000000000000000000000 ' EO
&. OO7 000000000000000000000000000000000000 C / MP
.. 7 000000000000000000000000000000000000000 & EO
10.6.3INTRODUO DA CON1UNO (I)
10.6.4ELIMINAO DA CON1UNO (E)
Exem@los;
Prof. Simone C. Mendes Paiva
Lgica para Computao
De PuaisPuer Tffs , e -, @odemos inferir a conMunABo -.
,
-
I
, -
, C - Z00 , -
. , 0000000000000000000000000000 @remissa
'. - 0000000000000000000000000000 @remissa
/. , - 0000000000000000000000 C ' I
De uma conMunABo @odemos inferir PualPuer um de seus conMuntos.
,-
cccccccccccccccccdddddddE
ccccccc,
4
cc,c-
cccccccccccccccccdddddd ccccccEc
4B
, - Z00 ,
. , - 0000000000000000000000000000 @remissa
'. , 000000000000000000000000000000000 5
, - Z00 ,
. , - 0000000000000000000000000000 @remissa
'. - 000000000000000000000000000000000 5
2
7
7 I&& 7 7
. P 00000000000000000000000000000000000000000 @remissa
'. P P 00000000000000000000000000000000000 C I
7 (* .)D 7 I&& 7 *
. P G7 +H 0000000000000000000000000000 @remissa
'. P 000000000000000000000000000000000000000000 @remissa
/. G7 +H 0000000000000000000000000000000000 C ' MP
& 7 000000000000000000000000000000000000000000 & E
.. P 7 000000000000000000000000000000000000 'C & I
7 * I&& * 7
. P 7 000000000000000000000000000000000000 @remissa
'. P 00000000000000000000000000000000000000000 E
/. 7 00000000000000000000000000000000000000000 E
&. 7 P 000000000000000000000000000000000000 'C / I
(7 *) (. 0)D ;;7D * I&& 0
. GP 7H G+ SH 0000000000000000000000 @remissa
'. OOP 0000000000000000000000000000000000000000 @remissa
/. 7 000000000000000000000000000000000000000000 @remissa
&. P 0000000000000000000000000000000000000000000 ' EO
.. P 7 0000000000000000000000000000000000000 /C & I
<. G+ SH 00000000000000000000000000000000000 C . MP
9. S 000000000000000000000000000000000000000000 < E
10.6.5INTRODUO DA DIS1UNO ( I )
Exem@los;
Prof. Simone C. Mendes Paiva
Lgica para Computao
De uma Tff ,C @odemos inferir a disMunABo de , com PualPuer Tff G, @ode ser o
@rimeiro ou o segundo disMunto dessa disMunABoH
, Z00 , -
. , 0000000000000000000000000000 @remissa
'. , - 00000000000000000000000 I
, Z00 - ,
. , 0000000000000000000000000000 @remissa
'. - , 00000000000000000000000 I
,ccc
_____
ccccccccccc,ccc
,
ddddddd I
ccccccccccccccc-
cc
2
8
A B
A C
B C
---------- E
C
7 I&&& (7 *) (7 .)
. P 0000000000000000000000000000000000 @remissa
'. P 7 0000000000000000000000000000 I
/. P + 0000000000000000000000000000 I
4. (P 7H GP +H 0000000000000 'C / I
7D ;;(7 *) I&&& * *
. P 00000000000000000000000000000000 @remissa
'. OOGP 7H 00000000000000000000 @remissa
/. P 7 0000000000000000000000000 ' E OO
&. 7 0000000000000000000000000000000 C / MP
.. 7 7 000000000000000000000000 & I

7D ;;(7 *) I&&& (. 0) *
. P 00000000000000000000000000000000 @remissa
'. OOGP 7H 00000000000000000000 @remissa
/. GP 7H 00000000000000000000000 ' E O
&. 7 0000000000000000000000000000000 C / MP
.. G+ SH 7 000000000000000000 & I
10.6.6ELIMINAO DA DIS1UNO (E)
Considere as seguintes afirmaAQes;
Irei ao cinema ou ao teatro.
Se eu for ao cinemaC serR divertido.
Seu eu for ao teatroC serR divertido.
7ual F a conclusBo a Pue se @ode cKegar a @artir das trs afirmaAQes acima[
7ueC inde@endente do Pue eu faAaC ir ao teatro ou ao cinemaC serR divertido.
)ormaliLando as sentenAasC temos;
6 7 , 6 D , 7 D 899 D
Pue F a regra de eliminaABo da disMunABoe
PortantoC @ara Pue a disMunABo @ossa ser eliminadaC F necessRrio Pue existirem uma disMunABo e duas im@licaAQes com
consePSentes idnticos. , conclusBo sem@re serR o consePSente @resente nas duas im@licaAQes.
Prof. Simone C. Mendes Paiva
Lgica para Computao
De Tffs da forma ,-C ,C C -CC @odemos inferir a Tff C.
,-C ,6, B6 Z00 C
. , - 00000000000000000000000 @remissa
'. , 6 0000000000000000000000 @remissa
/. - 6 9999999999999--------- premissa
4. C ----------------------------- 1, 2, 3 E
2
9
Exem@los;
0 -D 0 ,D - , I&&& ,
1. S D -------------------------------- premissa
2. S F ------------------------------- premissa
3. D F------------------------------- premissa
4. F -------------------------------------1, 2, 3 E
(7 *) (7 .)D 7 0D * 0D 7 , . I&&& 0 $
. GP 7H GP +H 000000000000000000000000000000000 @remissa
'. P S 000000000000000000000000000000000000000000000000 @remissa
/. 7 S 00000000000000000000000000000000000000000000000 @remissa
&. P 00000000000000000000000000000000000000000000000 premissa
.. + 00000000000000000000000000000000000000000000000 @remissa
<. P + 000000000000000000000000000000000000000000000000 E
9. T 0000000000000000000000000000000000000000000000000000 &C .C < E
1. P 7 000000000000000000000000000000000000000000000000 E
:. S 000000000000000000000000000000000000000000000000000000 'C /C 1 E
6. S T 9999999999999999999999999999999999999999999999 7, 9 :
10.6.7Introduo do Bicondicional (I):
EAemplo2
Prof. Simone C. Mendes Paiva
Lgica para Computao
De PuaisPuer Tffs de formas , ) e ,B ), @odemos inferir
A B
B A
---------- I
A B
A B
B A
---------- I
B A
,B, BA Z00 , B
. , B 0000000000000000000000 @remissa
'. - A 9999999999999--------- premissa
3. A B ---------------------- 1, 2 I
,B, BA Z00 - A
. , B 0000000000000000000000 @remissa
'. - A 9999999999999--------- premissa
3. B A ---------------------- 1, 2 I
3
0
7 *D (7*) (*7) I&& 7 Q
. P 7 0000000000000000000000000 @remissa
'. GP7H G7PH 00000000000 @remissa
/. 7P 00000000000000000000000000 C ' MP
&. P Q ------------------- 1, 3
10.6.8 ELIMINAO DO BICONDICIONAL (E)
Exem@los;
, (0 -)D 0 I&&& ,
. ) GS DH 00000000000000000000 @remissa
'. S 0000000000000000000000000000000000 @remissa
/. S D ) 0000000000000000000000 E
&. S D 00000000000000000000000000000 ' I
.. ) 0000000000000000000000000000000000 /C & MP
7 * I&&& * 7
. P 7 0000000000000000000000000000 @remissa
'. P 7 0000000000000000000000000000 E
/. 7 P 0000000000000000000000000000 E
4. 7 P 0000000000000000000000000000 'C / I
EXERCICIOS
16. Utilizando as regras bsicas de derivao, prove as seguintes formas de argumento;
. P 7 C 7+ C 7 Z00 G+PH GP+H
'. GPTH 7 C GPTH S C 7 S Z00 PT
Prof. Simone C. Mendes Paiva
Lgica para Computao
De PuaisPuer Tffs da forma A , @odemos inferir A ou .
A B
--------- E
A B
A B
--------- E
B A
, B Z00 ,B
. A B 99999999999--------- premissa
'. , B 0000000000000000000000 E
, B Z00 -A
. A B 99999999999--------- premissa
'. - A 0000000000000000000000 E
3
1
/. P7 C +OO7 Z00 P+
&. ) GS DH C S Z00 ) GS DH
.. OOGP GS+H H C S P C S GS+H Z00 G+ PH GS+H
<. P G7 GO+7H H C PC SC S GO+7H Z00 O+S
9. SC GSTH OOO7 Z00 GSO7H GS7H
1. GSTH GP+H C SC PT Z00 +T
:. PGOTSH C + GOTSH C T GOTPH C T Z00 OTS
6. + G+TH C + S C S G+TH C + C S G+TH Z00 T
. G7SH GP G7+H H C G+ G7SH HP C + C 7 S Z00 GPG7+HH GPG7SHH
'. GP+H G7 OOSH C OOP C P GS+H Z00 SG7+H
/. P C S C S GO+7H Z00 O+S
.. GSTH GP+H C S C PT Z00 +T
<. P Z00 G GP 7H +H G G7PH SH
Prof. Simone C. Mendes Paiva
Lgica para Computao
3
2
10.5 REGRAS HIPOTTICAS DE INFERNCIA
,s regras a@resentadas a seguir envolvem a utiliLaABo do raciocVnio Ki@otFticoC Pue F Easeado em Ki@NtesesC ou
seMaC em uma su@osiABo feita Iem consideraABo ao argumentoJ com o oEMetivo de mostrar Pue uma conclusBo @articular
segue daPuela su@osiABo.
10.7.1 SUBPROVA
,o escrever uma Ki@NteseC estamos iniciando uma suE@rovaC Pue serR uma @rova menor dentro da @rova @rinci@al. Para
re@resentar a suE@rova graficamenteC usamos a taEulaABo mais _ direita.
De@ois de encerrada a suE@rovaC nBo F @ermitido utiliLar regras Pue esteMam nela. ,@enas @odem ser usadas
regras Pue esteMam na mesma taEulaABo Pue a atual ou mais _ esPuerda dela.
> @ossVvel construir suE@rovas dentro de suE@rovas MR iniciadas. Para encerrR0lasC F necessRrio faLer na ordem
inversa em Pue foram iniciadas. Uma @rova nBo estarR com@leta caso seMa encerrada com alguma suE@rova ainda nBo
encerrada. , linKa vertical ao lado da suE@rova indica Pue ela estR encerrada.
! esPuema de uma suE@rova @ode ser re@resentado da seguinte maneira;
No esPuema acimaC as linKas /C & e . nBo @oderBo ser utiliLadas nas linKas < e 9C @ois estBo encerradas
Muntamente com a suE@rova. Dentro da suE@rovaC ou seMaC nas linKas /C & e . F @ossVvel utiliLar as linKas e 'C Pue estBo
mais _ esPuerda.
!s esPuemas a seguir re@resentam outras situaAQes de construABo de suE@rovas.
Prof. Simone C. Mendes Paiva
Lgica para Computao
fff 00000000000000000000000000000000000000000000000 regra
fff 0000000000000000000000000000000000000000000000 regra '
ggg 0000000000000000000000000 Ki@Ntese G@h regra ,H
fff 00000000000000000000000000000000000000000 regra /
ffff 000000000000000000000000000000000000000 regra &
5555 000000000000000000000000000000000000000000000 regra ,
fff 00000000000000000000000000000000000000000000000 regra .
fff 00000000000000000000000000000000000000000 regra
fff 00000000000000000000000000000000000000000 regra '
ggg 000000000000000000000000 Ki@Ntese G@h 'e#'a +H
fff 000000000000000000000000000000000000 regra /
++++ 00000000000000 Ki@Ntese G@h 'e#'a >H
ffff 00000000000000000000000000000 regra &
SSSS 0000000000000000000000000000000 'e#'a >
fff 0000000000000000000000000000000000000 regra .
:. TTTT 0000000000000000000000000000000000000000000 'e#'a +
3
3
+esumindo.. as condiAQes @ara realiLaABo de uma suE@rova sBo as seguintes;
. Cada Ki@Ntese introduL numa @rova o inVcio de uma nova linKa verticali
'. NenKuma ocorrncia de uma fNrmula _ direita de uma linKa vertical @ode ser citada em PualPuer regra a@licada
de@ois Pue terminar a linKa verticali
/. Se duas ou mais Ki@Nteses sBo vigentes simultaneamenteC entBo a ordem na Pual elas sBo descartadas deve ser a
ordem inversa na Pual elas sBo introduLidasi
&. Uma @rova nBo estR com@leta atF Pue as Ki@Nteses seMam descartadas.
10.7.2 PROVA DO CONDICIONAL (PC)
Nesta regraC su@omos algo como Ki@Ntese. , Ki@Ntese nBo necessita ser extraVda de lugar algumC ela @ode ser
gerada de acordo com Pue se necessita no desenvolvimento da suE@rova.
Prof. Simone C. Mendes Paiva
Lgica para Computao
fff 000000000000000000000000000000000000000000000 regra
fff 000000000000000000000000000000000000000000000 regra '
ggg 000000000000000000000000 Ki@Ntese G@h 'e#'a +H
fff 0000000000000000000000000000000000000000 regra /
fff 00000000000000000000000000000000000000000000 'e#'a +
++++ 000000000000000000 Ki@Ntese G@h 'e#'a >H
ffff 0000000000000000000000000000000000000 regra &
SSSS 000000000000000000000000000000000000000 regra .
:. TTTT 000000000000000000000000000000000000000000000 'e#'a >
Dada uma derivaABo de uma Tff - a @artir de uma Ki@Ntese ,, @odemosc descartar a Ki@Ntese e
inferir
, - Z00 , -
1+ , - 0000000000000000000000000000000000000 @remissa
'. , 0000000000000000000000000 Ki@Ntese G@h PCH
3+ - 00000000000000000000000000000000000000 E
4+ , -0000000000000000000000000000000000000 ' * / PC
3
4
EAemplos2
ID (I C) ;0D ;0 ;+ I&& C ;+
. I 00000000000000000000000000000000000000000 @remissa
'. GI CH OS 00000000000000000000000000 @remissa
/. OS O, 0000000000000000000000000000000 @remissa
&. C 00000000000000000000000000000 Ki@Ntese G@h PCH
.. I C 0000000000000000000000000 C & I
<. OS 00000000000000000000000000000 'C . MP
9. O, 0000000000000000000000000000 /C < MP
1. C O, 00000000000000000000000000000000 & * 9 PC
7 * I&& * 7
. P 7 000000000000000000000000000000000000000 @remissa
'. P 0000000000000000000000000000000000 Ki@Ntese G@h PCH
/. 7 P 00000000000000000000000000000 ' I
&. P G7 PH 00000000000000000000000000000000 ' * / PC
.. 7 0000000000000000000000000000000000 Ki@Ntese G@h PCH
<. 7 P 00000000000000000000000000000 . I
<. 7 G7 PH 00000000000000000000000000000000 . * < PC
9. 7 P 0000000000000000000000000000000000000000 C & C < E
10.7.3 REDUO AO ABSURDO (RAA)
> a regra de introduABo da negaABo.
Para @rovar uma conclusBo negada @or +,,C colocamos como Ki@Ntese a conclusBo sem o sinal de negaABo e
daV derivamos uma contradiABo. Isso mostra Pue a Ki@Ntese F falsa. De onde segue Pue a conclusBo da negaABo F
verdadeira.
Prof. Simone C. Mendes Paiva
Lgica para Computao
Dada uma derivaABo de uma contradiABo a @artir de uma Ki@Ntese , @odemosc descartar a Ki@Ntese e inferir O,
O-C - Z00 ,
O- 0000000000000000000000000000000000000 @remissa
- 000000000000000000000000000000000000000 @remissa
, 0000000000000000000000000 Ki@Ntese G@h +,,H
- O- 0000000000000000000000000000 E
O, 000000000000000000000000000000000000000 ' * / +,,
3
5
EAemplo2
P Q6 4Q 788 4P
. P 7 0000000000000000000000000000 @remissa
'. O7 00000000000000000000000000000000 @remissa
/. P 00000000000000000000000 Ki@Ntese G@h +,,H
&. 7 00000000000000000000000 C / MP
.. 7 O7 0000000000000000 'C & I
<. OP 000000000000000000000000000000000 / * . +,,
Exerccios Resolvidos
aH ;(;7 J ;*) D ;7 I&&& *
. OGOP a 7H 000000000000000000000000000000000 @remissa
'. OP 00000000000000000000000000000000000000000 @remissa
/. O7 000000000000000000000000000000 Ki@Ntese G@h+,,H
&. OP O7 000000000000000000000000 'C / I
.. GOP O7H OGOP O7H 00000 C & I
<. OO7 0000000000000000000000000000000000000000 / * . +,,
9. 7 0000000000000000000000000000000000000000000 < E O
EH 7 * | 7 *
. P 7 000000000000000000000000000000000000000000 @remissa
'. OGOP 7H0000000000000000000000000000 Ki@Ntese G@h+,,H
/. P 000000000000000000000000000 Ki@Ntese G@h+,,H
&. 7 000000000000000000000000000C / MP
.. OP 7 00000000000000000000 & I
6. (OP 7H OGOP 7H 000 'C . I
9. OP 0000000000000000000000000000000000000 / * < +,,
1. OP 7 00000000000000000000000000000000 9 I
9. (OP 7H OGOP 7H 000000000000000 ' C 1 I
6. OOGOP 7H 0000000000000000000000000000000000000 ' * : +,,
. OP 7 000000000000000000000000000000000000000000 6 E O

cH ;(7 *) I&&& ;7 *
. OGP 7H 0000000000000000000000000000000000000000000000 @remissa
'. OGOP O7H 00000000000000000000000000000000 Ki@Ntese G@h+,,H
/. O P 0000000000000000000000000000000 Ki@Ntese G@h+,,H
&. OP O7 0000000000000000000000000 / I
.. GOP O7H OGOP O7H 00000 'C & I
<. OOP 00000000000000000000000000000000000000000 / * . +,,
9. P 00000000000000000000000000000000000000000000 < E O
1. O7 0000000000000000000000000000000 Ki@Ntese G@h+,,H
:. OP O7 0000000000000000000000000 1 I
6. GOP O7H OGOP O7H 0000 'C : I
. OO7 000000000000000000000000000000000000000 1 * 6 +,,
'. 7 000000000000000000000000000000000000000000 E O
/. P 7 0000000000000000000000000000000000000 9C ' I
&. GP 7H OGP 7H 000000000000000000000 C / I
.. OOGOP O7H 000000000000000000000000000000000000000 ' * & +,,
<. OP O7 000000000000000000000000000000000000000000000 . E O
Prof. Simone C. Mendes Paiva
Lgica para Computao
3
6
dH Z000 P P
. P 000000000000000000000000000000 Ki@Ntese G@hPCH
'. P P 00000000000000000000000000000000000 PC
eH Z000 P G7 GP 7HH
.P 0000000000000000000000000000000 Ki@Ntese G@hPCH
'. 7 000000000000000000000000000000 Ki@Ntese G@hPCH
/. P 70000000000000000 C ' I
&. 7 GP 7H 000000000000000000 ' * / PC
.. P G7 GP 7HH 00000000000000000000 * & PC
fH GP 7H Z000 P 7
. P 7 00000000000000000000000000000000000 @remissa
'. P 000000000000000000000000000000 FipKtese (pL7C)
3 Q 888888888888888888888888888888 1 E
4. P Q 8888888888888888888888888888888888 9 : 3 PC
gH GP 7H GP +H Z000 P G7 +H
1. (7 *) (7 .) &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& p'emissa
2. 7 * &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& FipKtese (pL7C)
3. 7 &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& 2 E
4. * &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& 2 E
!. * . &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& 4 I
5 7 (* .)&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& 3D ! I
3. (7 *) (7 ( * .))&&&&&&&&&&&&&&&&&&&&&&&&&& 2 M 5 7C
=. 7 . &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& FipKtese (pL7C)
(. 7 &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& = E
1). .&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& = E
11. * . &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& 1) I
12. 7 (* .) &&&&&&&&&&&&&&&&&&&&&&&&&&&&& (D 11 I
13. (7 .) (7 (* .) &&&&&&&&&&&&&&&&&&&&&&&&& = M 12 7C
14. 7 (* .) &&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&& 1D 3D 13 E

17. Utilizando as regras bsicas (hipotticas ou no), prove as seguintes formas de argumento:
. , C C , Z00 G,-H G,CH
'. OOG-CHC , Z00 G,-H G,CH
/. , CC - C Z00 ,C
&. OOG,CH Z00 C G- CH
Prof. Simone C. Mendes Paiva
Lgica para Computao
3
7
.. ,- Z00 O, G- ,H
<. , Z00 G, -H G- CH
9. OP P Z0* P
1. OP O7 Z00 OGP7H

:. , O- Z00 OG, -H
6. O- Z00 G , OG,-H H O-
. OC CC , C Z00 , GO- O,H

'. Z00 P GGP 7H 7H

/. Z00 P OP
&. Z00 GP 7H OGP O7H
Prof. Simone C. Mendes Paiva
Lgica para Computao
3
8
10.8 ESTRATGIAS PARA PROVA
Se a condicional for um(a) Ento faa
,K'mula +tNmica Se nenKuma estratFgia F imediataC coloca0se como
Ki@Ntese a negaABo da conclusBo @ara +,,. Se isso
for Eem sucedidoC entBo a conclusBo @ode ser oEtida
de@ois de +,,C @or E O
,K'mula "e#ada Coloca0se como Ki@Ntese a conclusBoC sem o sVmEolo
da negaABoC @ara +,,. Se resultar uma contradiABoC a
conclusBo @ode ser oEtida @or +,,
Conjuno Prove cada um dos conMuntosC se@aradamenteC e entBo
faAa a conMunABo deles com I a
-isjuno Se uma @remissa disMuntiva estR @resenteC tenta0se @rovar
os condicionais necessRrios @ara oEter a conclusBo @or
E. ,
da conclusBo e tenta0se +,,. ,lgumas veLesC uma
conclusBo disMuntiva @ode ser @rovada diretamenteC
@rovando0se um de seus disMuntos e a@licando0se I
Condicional Coloca0se como Ki@Ntese o seu antecedente e deriva0se o
seu consePSente @or PC
>icondicional Use PCC ' veLesC @ara @rovar os dois condicionais
necessRrios @ara oEter a conclusBo @or I
Prof. Simone C. Mendes Paiva
Lgica para Computao
3
9
10.9 REGRAS DERIVADAS E DE EQUIVALNCIA
2.9.1 REGRAS DERIVADAS
,s regras derivadas @ermitem outras soluAQes @ara demonstraAQes formais. SBo elas;
MODUS TOLLENS (MT)
De Tffs de formas e OC infere0se O.
Exem@lo;
, -C O- Z00 O,
. , -00000000000000000000000 @remissa
'. O- 00000000000000000000000000 @remissa
/. O, 00000000000000000000000000 C ' MT
SILOGISMO HIPOTTICO (SH)
De Tffs de formas e C infere0se .
Exem@lo;
, -C - C Z00 , C
. , - 0000000000000000000000000000000 @remissa
'. - C 0000000000000000000000000000000 @remissa
/. , C 0000000000000000000000000000000 C ' S=
ABSORO (ABS)
De uma Tff da forma C infere0se ( ).
Exem@lo;
, - Z00 , G, -H
. , - 0000000000000000000000000000 @remissa
'. , G, -H 000000000000000000000 ,-S
DILEMA CONSTRUTIVO (DC)
De Tffs de forma C e C infere0se .
Exem@lo;
Prof. Simone C. Mendes Paiva
Lgica para Computao
4
0
, - C , CC - D Z00 C D
. , - 000000000000000000000000000 @remissa
'. , C 00000000000000000000000000 @remissa
/. - D 00000000000000000000000000 @remissa
&. C D 000000000000000000000 C 'C / DC
REPETIO (RE)
De PualPuer Tff C infere0se .
Exem@lo;
, - Z00 C G, -H
. , - 00000000000000000000000000000 @remissa
'. C 0000000000000000000000000000 Ki@Ntese G@h PCH
/. , - 00000000000000000000000 +E
&. C G, -H 00000000000000000000 '0/ PC
CONTRADIO (CONTRAD)
De Tffs de formas e OC infere0se PualPuer Tff.
Exem@lo;
,C O, Z00 G, -H C
. , 00000000000000000000000 @remissa
'. O, 000000000000000000000 @remissa
/. G, -H C 000000000 C ' C!NT+,D
SILOGISMO DIS1UNTIVO (SD)
De Tffs de formas e C infere0se .
Exem@lo;
. , - 00000000000000000000 @remissa
'. O, 00000000000000000000000 @remissa
/. - 0000000000000000000000000 C ' SD
INTRODUO DE TEOREMA (IT)
7ualPuer instWncia suEstitutiva de um teorema @ode ser introduLida em PualPuer linKa de uma @rova.
Prof. Simone C. Mendes Paiva
Lgica para Computao
4
1
INTRODUO DE EQUIVALNCIA
Se e sBo interderivRveis e F uma suETff de alguma Tff , de infere0se o resultado da suEstituiABo de uma
ou mais ocorrncias de em @or . Ga aEreviaABo usada de@ende da ePuivalncia utiliLadaH
2.9.2 REGRAS DE EQUIVALNCIA
,s regras de ePuivalncia @ermitem Pue Tffjs inteiras ou @artes de Tffjs seMam suEstituVdas @or formas
ePuivalentesC definidas nas regras a seguir. !s exem@los re@resentam @arte de uma @rova PualPuer.
DE MORGAN (DM)
OGP a 7H (P O7H
OGP 7H GOP a O7H
Exem@lo;
.............
'............
/. , GO- OCH 000000000000000000000 @remissa
&. , OG- CH 00000000000000000000000 / DM
COMUTAO (COM)
GP 7H G7 PH
GP a 7H (7 a PH
Exem@lo;
.............
'............
/. GO- OCH D 000000000000000000000 @remissa
&. GOC O-H D 00000000000000000000000 / C!M
ASSOCIAO (ASSOC)
GP G7 +HH (GP 7H +H
GP a G7 a +HH GGP a 7H a +H
Exem@lo;
.............
'............
/. , GO- OCH 000000000000000000000 @remissa
&. G, O-H OC 00000000000000000000000 / ,SS!C
DISTRIBUIO (DIST)
GP a G7 +HH (GP a 7H GP a +HH
GP G7 a +HH GGP 7H a GP +HH
Exem@lo;
.............
'............
/. , GO- OCH 000000000000000000000 @remissa
&. G, O-H G, OCH 0000000000000 / DIST
Prof. Simone C. Mendes Paiva
Lgica para Computao
4
2
DUPLA NEGAO (DN)
P OOP
Exem@los;
.............
'............
/. , GOO- CH 00000000000000000000 @remissa
&. , G- CH 00000000000000000000000 / DN
.............
'............
/. , G- CH 000000000000000000000 @remissa
&. , OO G- CH 000000000000000000 / DN
TRANSPOSIO (TRANS)
GP 7H GO7 OPH
Exem@lo;
.............
'............
/. , G- CH 000000000000000000000 @remissa
&. OG- CH O, 000000000000000000 / T+,NS
IMPLICAO MATERIAL (IM)
GP 7H GOP 7H
Exem@lo;
.............
'............
/. , GO- OCH 000000000000000000000 @remissa
&. , OG- CH 00000000000000000000000 / DM
EXPORTAO (EXP)
GGP a 7H +H GP G7 +HH
Exem@lo;
.............
'............
/. , GO- OCH 000000000000000000000 @remissa
&. G, O-H OCH 0000000000000000000000 / EfP
TAUTOLOGIA (TAUT)
P GP a PH
P GP PH
Exem@lo;
.............
'............
/. , C 00000000000000000000000 @remissa
&. , GC CH 0000000000000000 / T,UT
Prof. Simone C. Mendes Paiva
Lgica para Computao
4
3
EXERCICIOS
18. Prove as formas de argumento abaixo utilizando regras bsicas, derivadas e/ou de equivalncia do Clculo
de Deduo Natural.
a) P 7C 7 + Z00 P +
b) P 7 Z00 OP O7
c) OP 7 00 OGP O7H
%) OP GO7 O+H Z00 OG7 PH
e) P GO7 +HC OP. +7 Z00 O+
() GP 7H OOGP 7H Z00 GP 7H OG P O7H
;) OP 7C + SC OP +C O7 Z00 S
<) P G7 O+HC + Z00 OP O7
i) OP P Z00 P
)) P 7C O7 Z00 P
=) GP 7H GP +H Z00 OP GP +H
l) GOP 7H +C G7 +H S Z00 P S
m) P G7 O+HC + Z00 OP O7
n) G% NH OC Z00 OOC OG% NH
o) P Z00 7 P
p) P 7C OP Z00 7
&) OP 7C GP 7H +C O+ Z00 OP
19. Formalize as sentenas abaixo e prove-as utilizando regras bsicas e derivadas do Clculo de
Deduo Natural.
aH NBo entendemos @sicologia ouC se a entendemosC entBo nBo F @reciso estudar a KistNria. NBo F @reciso estudar
KistNria. EmEoraC assimC alguns @ontos fiPuem oEscurosC ou entendemos @sicologia. NBo F o caso Pue nBo
@recisemos estudar KistNria se com@reendemos @sicologia. ,cresce PueC se nBo estudamos KistNriaC ignoramos
as@ectos vitais da cultura eC alFm dissoC voltamos aos filNsofos do @assado ou deixamos alguns @ontos oEscuros.
EH Se meu filKo tirar Eoas notasC ele F esforAadoC se traEalKou muitas Koras. Se ele nBo for descuidadoC ele nBo deixarR
de usar suas ca@acidadesC se a@render Eastante. Meu filKo a@renderR Eastante a@enas se oEtiver Eoas notas e nBo for
descuidado. Eu sei Pue ele a@renderR Eastante. Segue0se Pue ele F esforAado ou nBo deixarR de usar suas
ca@acidades.
cH CondiABo necessRria @ara Pue uma flor atraia insetos F Pue seMa vistosa. Ser vistosa F condiABo suficiente @ara Pue
seMa agradRvel aos olKos. , flor atrai insetos ou F feia GnBo amEosH. NBo se dR Pue uma flor seMa feia e nBo
@erfumada. NBo sucede Pue seMa @erfumada e sem valor comercial. Segue0se PueC se a flor nBo F agradRvel aos
olKosC tem valor comercial.
Prof. Simone C. Mendes Paiva
Lgica para Computao
4
4
dH , menos Pue estudemos matemRtica e nBo no @ercamos em futilidadesC nBo faremos o traEalKo. Se formos ao Eaile
ou nBo fiLermos o traEalKoC entBo nBo se darR Pue tenKamos lucro e nBo veMamos o @roMeto concluVdo. !u KR lucroC
ou estudamos matemRtica GnBo amEosH. Iremos ao Eaile seC e somente seC fiLermos o traEalKo. Mas nBo iremos ao
Eaile. PortantoC nBo se dR Pue nos @ercamos em futilidades e nBo veMamos o @roMeto concluVdo.
eH Esta @lanta nBo F Kermafrodita. Se nBo o FC tem androceu ou gineceu. #ogoC ou nBo tem gineceu ou nBo tem
androceu.
20. Considere a forma de argumento abaixo:
, G- CHC D G, EHC G% EH G- )HC % DC ) = Z00 = C
aH Construa um vocaEulRrio e traduLia a forma de argumento @ara a #Vngua Portuguesa;
, ^ E ^
- ^ ) ^
C ^ % ^
D ^ = ^
EH Prove a forma de argumento utiliLando as regras ERsicasC derivadas e de ePuivalncia do cRlculo de
deduABo natural.
10.10REGRAS DE INFERNCIA PARA QUANTIFICADORES
10.10.1ELIMINAO UNIVERSAL (EU)
Exem@los;
x G=x MxHC =s Z000 Ms
. x G=x xH 000000000000000000000000000000 @remissa
'. =s0000000000000000000000000000000000000000000000 @remissa
/. =s Ms0000000000000000000000000000000000000 EU
&. Ms 000000000000000000000000000000000000000000000 'C / MP
Prof. Simone C. Mendes Paiva
Lgica para Computao
De uma Tff Puantificada universalmenteC C @odemos inferir uma TffC da forma

h

, a Pual
resulta suEstituindo0se cada ocorrncia da variRvel em @or uma letra nominal .
x =x Z000 =a
. x =x 000000000000000000000000000000 @remissa
'. =a00000000000000000000000000000000000 EU
4
5
x GPx CxHC x GCx "xH Z000 x GPx "xH
. x GPx CxH 00000000000000000000000000000000000 @remissa
'. x GCx "xH 00000000000000000000000000000000000 @remissa
/. Pa Ca 00000000000000000000000000000000000000000 EU
&. Ca "a 00000000000000000000000000000000000000000 ' EU
.. Pa "a 00000000000000000000000000000000000000000 /C & S=
<. x GPx "xH 0000000000000000000000000000000000 . IU
10.10.2INTRODUO DO UNIVERSAL (IU)

, regra de introduABo do universal @ossui algumas restriAQesC descritas a seguir.
10.10.2.1RESTRIES DE IU
.est'io 1; , letra nominal nBo @ode ocorrer em PualPuer @remissa. , seguinte derivaABo ignora essa restriABo e
consePuentementeC F invRlida;
. Pa 00000000000000000000000000000 @remissa
'. x Px 000000000000000000000000 IU GincorretoH
.est'io 22 , letra nominal nBo deve ocorrer em PualPuer Ki@Ntese vigente numa linKa em Pue ocorre Guma
Ki@Ntese F vigente numa linKa se ela foi introduLida antes dessa linKa e ainda nBo foi descartada naPuela linKaC em
outras @alavrasC ela F vigente se a linKa vertical comeAando com a Ki@Ntese estende0se @ara Eaixo atF aPuela linKaH. Isso
im@ede o ti@o de invalidade exiEida acima.
. x GPx CxH 000000000000000000000000 @remissa
'. Pa Ca 000000000000000000000000000000 EU
/. Pa 00000000000000000000000000 Ki@Ntese GPh PCH
&. Ca 00000000000000000000000000 'C / MP
.. x Cx 000000000000000000000 & IU GincorretoH
<. Pa x Cx 0000000000000000000000000 / * . PC
.est'io 32

/

F o resultado de suEstituir todas as ocorrncias de em @or uma variRvel . , nfase aPuiC estR na
@alavra ItodasJ. Esta clRusula @revine o seguinte ti@o de erro;
. x #xx 000000000000000000000000000000 @remissa
'. #aa 0000000000000000000000000000000000 EU
/. L #La000000000000000000000000000000000 ' IU GincorretoH
Prof. Simone C. Mendes Paiva
Lgica para Computao
Para uma Tff contendo uma letra nominal Pue nBo ocorre em PualPuer uma das @remissas ou em
PualPuer Ki@Ntese vigente na linKa em Pue ocorreC @odemos inferir uma Tff da forma

C onde

/

F o resultado de se suEstituir todas as ocorrncias de em @or uma variRvel Pue nBo ocorra em .
no exem@lo anteriorC na a@licaABo de IU na linKa <C a Tff F bPa "abC a letra nominal
" >a>, a #ari?#el " >*> e a (@rm'la

" >,3* .*)>


4
6
EAemplos de de'ivaOes vGlidas
x (Fx (Gx Hx), x ~Gx [--- x Fx x x
. x G)x G%x =xH0000000000000000000000000000000 @remissa
'. x O%x 0000000000000000000000000000000000000000000000 @remissa
/. )a G%a =aH 00000000000000000000000000000000000 EU
&. O%a 00000000000000000000000000000000000000000000000000 ' EU
.. x )x 0000000000000000000000000000000000000 Ki@Ntese G@hPCH
<. )a 00000000000000000000000000000000000000000 . EU
9. %a =a 00000000000000000000000000000000 /C < MP
1. =a 0000000000000000000000000000000000000000 &C 9 SD
:. x =x 00000000000000000000000000000000000 1 IU
6. x )x x =x 000000000000000000000000000000000 . * : PC
10.10.3INTRODUO EXISTENCIAL (IE)
EAemplo;
Dada a @remissa I)a %aJ Ga su@osiABo de Pue o indivVduo IaJ tem a @ro@riedade ) e %C @odemos inferir Ix G)x a
%xHJ.
Prova;
. )a %a 000000000000000000000000 @remissa
'. x G)x %xH 00000000000000000 IE
em Pue....
F bab
F bxb

/

F bG)x %xH
Em contraste com o casa @ara IU a variRvel nBo @recisa suEstituir todas as ocorrncias de em i F @reciso suEstituir
somente umaC ou mais. ,ssimC as duas demonstraAQes a seguir estarBo corretas;
. )a %a 00000000000000000000000000000000 @remissa
'. x G)x %aH 00000000000000000000000000 IE
. )a %a 00000000000000000000000000000000 @remissa
'. x G)x %xH 00000000000000000000000000 IE
10.10.4ELIMINAO DO EXISTENCIAL (EE)
Prof. Simone C. Mendes Paiva
Lgica para Computao
Dada uma Tff contendo uma letra nominal C @odemos inferir uma Tff da forma

C onde

F o
resultado de se suEstituir uma ou mais ocorrncias de em @or uma variRvel C Pue nBo ocorra em .
Dada uma Tff Puantificada existencialmente e uma derivaABo de alguma conclusBo de uma Ki@Ntese da forma

Go resultado de se suEstituir cada ocorrncia da variRvel em @or uma letra nominal Pue nBo ocorra em HC
@odemos descartar

e reafirmar . +estriABo; , letra nominal nBo @ode ocorrer em C nem em PualPuer


@remissaC nem em PualPuer Ki@Ntese vigente na linKa em Pue EE F a@licada.
4
7
, regra de eliminaABo do existencialC assim como a regra de introduABo do universalC @ossui restriAQes.
10.10.4.1RESTRIES EE
.est'io 12 , letra nominal nBo @ode ocorrer em .
. x ` )G`CxH 00000000000000000000000000000000@remissa
'. ` )G`CaH 00000000000000000000000000000000000 EU nBo @odee
/. )GaCaH 0000000000000000000000000000 Ki@Ntese G@hEEH
&. x )GxCxH 000000000000000000000000 / IE
.. x )GxCxH 0000000000000000000000000000000000 'C / * & EE GincorretoH
.est'io 22 , letra nominal nBo deve ocorrer em Ga conclusBo de uma derivaABo Ki@otFtica.
. x =GxCxH 000000000000000000000000000000000000 @remissa
'. =GaCaH 00000000000000000000000000000 Ki@Ntese G@hEEH erroe
/. x =GaCxH 0000000000000000000000000 ' IE
&. x =GaCxH 000000000000000000000000000000000000 C ' * / EE GincorretoH
.est'io 32 nBo @ode ocorrer em PualPuer @remissa.
. x %x 000000000000000000000000000000000000 @remissa
'. )a 0000000000000000000000000000000000000000 @remissa erroe
/. %a 0000000000000000000000000000 Ki@Ntese G@hEEH
&. )a %a 000000000000000000000 'C / I
.. x G)x %xH 000000000000000 & IE
<. x G)x %xH 0000000000000000000000000000 C / * . EE GincorretoH
.est'io 42 nBo @ode ocorrer em PualPuer Ki@Ntese vigente na linKa em Pue EE F a@licada.
. x %x 000000000000000000000000000000000000000 @remissa
'. )a 00000000000000000000000000000000 Ki@Ntese G@hPCH
/. %a 000000000000000000000 Ki@Ntese G@hEEH
&. )a %a 000000000000000 'C / I
.. x G)x %xH 000000000 & IE
<. x G)x %xH 0000000000000000000 C / * . EE GincorretoH
9. )a x G)x %xH 000000000000000000000 ' * < PC
Prof. Simone C. Mendes Paiva
Lgica para Computao
xG)x%xH Z00x )x
. x G)x %xH 000000000000000000000000 @remissa
'. )a %a 000000000000000000 Ki@Ntese G@hEEH
/. )a 000000000000000000000000 ' E
&. x )x 00000000000000000000000 / IE
5. x )x 0000000000000000000000000000000 C ' * & EE
4
8
ANEXO 1
.E:.+0 >E0IC+0
.eduo ao a%su'do (.++) ExiEida uma derivaABo de uma contradiABo a @artir de
uma Ki@Ntese C descarta0se a Ki@Ntese e infere0se O.
Eliminao da ne#ao (;E) De uma Tff da forma OOC infere0se .
7'ova condicional (7C) ExiEida uma derivaABo de uma Tff a @artir de uma
Ki@Ntese , descarta0se a Ki@Ntese e infere0se .
6odus ponens (67) De uma condicional e seu antecedenteC infere0se o seu
consePSente.
Int'oduo da conjuno (I ) De PuaisPuer Tffs e C infere0se a conMunABo a .
Eliminao da conjuno (E ) De uma conMunABo infere0se cada um de seus
conMunctos.
Int'oduo da disjuno (I ) -e uma C?? C infere0se a disMunABo de com PualPuer
Tff.
Eliminao da disjuno (E ) -e C??s de ?o'mas , e C infere0se .
Int'oduo do %icondicional (I ) De Tffs de formas e C infere0se .
Eliminao do %icondicional (E ) De Tff da forma C infere0se ou .
.E:.+0 -E E*UI/+1P"CI+
OGP a 7H (P O7H 1ei de -e 6o'#an (-6)
OGP 7H GOP a O7H 1ei de -e 6o'#an (-6)
GP 7H G7 PH Comutao (CO6)
GP a 7H (7 a PH Comutao (CO6)
GP G7 +HH (GP 7H +H +ssociao (+00OC)
GP a G7 a +HH GGP a 7H a +H +ssociao (+00OC)
GP a G7 +HH (GP a 7H GP a +HH -ist'i%uio (-I0$)
GP G7 a +HH GGP 7H a GP +HH -ist'i%uio (-I0$)
P OOP -upla "e#ao (-")
GP 7H GO7 OPH $'ansposio ($.+"0)
GP 7H GOP 7H Implicao 6ate'ial (I6)
GGP a 7H +H GP G7 +HH EApo'tao (E47)
P GP a PH $autolo#ia ($+U$)
P GP PH $autolo#ia ($+U$)
Prof. Simone C. Mendes Paiva
Lgica para Computao
4
9
.E:.+0 -E.I/+-+0
6odus tollens (6$) De Tffs de formas e OC infere0se O.
0ilo#ismo FipotHtico (0Q) De Tffs de formas e C infere0se .
+%so'o (+>0) De uma Tff da forma C infere0se ( a ).
-ilema const'utivo (-C) De Tffs de forma C e C infere0se
.
.epetio (.E) De PualPuer Tff C infere0se .
Cont'adio (CO"$.+-) De Tffs de formas e OC infere0se PualPuer Tff.
0ilo#ismo disjuntivo (0-) De Tffs de formas e C infere0se .
Int'oduo de teo'ema (I$) 7ualPuer instWncia suEstitutiva de um teorema @ode ser
introduLida em PualPuer linKa de uma @rova.
Int'oduo de Equivalncia Se e sBo interderivRveis e F uma suETff de
Ga aEreviaABo usada de@ende alguma Tff , de infere0se o resultado da suEstituiABo
da ePuivalncia utiliLadaH de uma ou mais ocorrncias de em @or .
Prof. Simone C. Mendes Paiva
Lgica para Computao
5
0