Universidade de Caxias do Sul Departamento de Informtica Professora Luciana Foss

Lgica para Computao Material de Apoio

Sumrio
1 Introduo.......................................................................................................................... ! "strutura dos ar#umentos..................................................................................................$ L%#ica Proposicional..........................................................................................................& .1 'peradores l%#icos.....................................................................................................& .1.1 (e#ao..............................................................................................................& .1.! Con)uno *"+......................................................................................................& .1. Dis)uno *'U+...................................................................................................., .1.$ Implicao *condicional+......................................................................................, .1.- ".uival/ncia........................................................................................................, .! Formali0ao.............................................................................................................., . Sem1ntica dos operadores l%#icos...........................................................................11 . .1 2a3ela4verdade da ne#ao..............................................................................11 . .! 2a3ela4verdade da con)uno...........................................................................11 . . 2a3ela4verdade da dis)uno............................................................................1! . .$ 2a3ela4verdade da implicao...........................................................................1! . .- 2a3ela4verdade da e.uival/ncia.......................................................................1 .$ Classificao de F5F usando ta3elas4verdade........................................................1$ .- 2a3elas4verdade para formas de ar#umento...........................................................1$ .& 6plica7es de 2a3elas4verdade e Formali0ao......................................................18 ., 9rvores de :efutao...............................................................................................!1 $ Clculo Proposicional......................................................................................................!8 $.1 :e#ras de infer/ncia.................................................................................................!8 $.1.1 "strat;#ias para prova...................................................................................... $.! 2eoremas.................................................................................................................. $. ".uival/ncias............................................................................................................ & $.$ :e#ras Derivadas..................................................................................................... , - L%#ica de Predicados......................................................................................................$! -.1 <uantificadores e =ariveis......................................................................................$! -.1.1 <uantificador Universal.....................................................................................$ -.1.! <uantificador "xistencial...................................................................................$$ -.! Predicados e (omes Pr%prios..................................................................................$-. :e#ras de Formao................................................................................................$, -.$ >odelos....................................................................................................................-? & Clculo de Predicados.....................................................................................................-&.1 :e#ras de Infer/ncias para o .uantificador universal..............................................-&.! :e#ras de Infer/ncias para o .uantificador existencial...........................................-, &. 2eoremas e re#ras de e.uival/ncia de .uantificadores...........................................&? , 6nexos..............................................................................................................................&

1 Introduo
6 l%#ica ; uma disciplina iniciada com 6rist%teles * 8$4 !! a.C+ como um instrumento para #arantir a veracidade das dedu7es. 6t; o s;culo @=II a l%#ica no sofreu #rande evoluoA sendo .ueA somente com os tra3alBos de Lei3ni0 *1&$&4 1,1&+ e de 5oole *181-418&$+A a l%#ica foi modificada. ' o3)etivo desses estudiosos foi a formali0ao da deduo matemticaA ori#inando assim a L%#ica >atemtica. 'utros pes.uisadores contri3uCram para .ue a l%#ica >atemtica atin#isse sua forma atual. Dentre eles podem4se destacarD E. Fre#e *18$841F!-+A 5. :ussell *1F,!41F,?+A (. GBiteBead *18&141F$,+A Peano *18-841F !+A D. Hil3ert *18&!41F$ +A e outros. Se#undo "nderton *1F,!+A a l%#ica matemtica ; Ium modelo matemtico do pensamento dedutivoI. J <uineA em seu livro a filosofia da l%#ica *1F,?+A di0 .ue a l%#ica ; o Iestudo sistemtico das verdades l%#icasI. ' formalismo l%#ico ; atraente por su#erirA imediatamenteA uma maneira poderosa de derivar novos conBecimentos a partir dos *anti#os+ ) ad.uiridos. 6 essa derivao damos o nome de deduo matemtica. Deste formalismoA podemos concluir .ue uma nova frase ; verdadeiraA provando .ue ela ; conse.K/ncia de declara7es ) conBecidas. 6ssimA a id;ia de uma provaA conforme desenvolvida na matemticaA como uma maneira ri#orosa de demonstrar a verdade de uma proposio em .ue ) se acreditavaA pode ser ampliada para incluir a deduo como uma maneira de derivarA al;m de respostas a per#untasA solu7es de pro3lemas. Devido a este fatoA a l%#ica possui diversas aplica7esA como por exemploD Pro)eto e simplificao de circuitos di#itais. =erificao de pro#ramas. "specificao formal de softLares. Formali0ao de teorias em #eral. Sistemas de Inteli#/ncia 6rtificial. Lin#ua#ens de consulta em 5anco de Dados. 6 L%#ica >atemtica possui muitas denomina7es e classifica7esA podendo ser cBamada de lgica clssica ou lgica simblica. 6 l%#ica pode ser divididaA se#undo os o3)etos .ue suas variveis denotamA da se#uinte formaD L%#ica Proposicional *ou de 0ero ordem+ M as variveis denotam proposi7es. L%#ica de Primeira 'rdem *ou L%#ica de Predicados+ M as variveis denotam indivCduos do domCnio. L%#ica de Se#unda 'rdem M as variveis denotam indivCduos do domCnio e rela7es.

2 Estrutura dos argumentos

' o3)etivo da l%#ica na ci/ncia da computao ; desenvolver lin#ua#ens para modelar as situa7es .ue encontramos como cientistas da computaoA de tal modo .ue possamos raciocinar so3re eles formalmente. :aciocinar so3re situa7es si#nifica construir ar#umentos so3re elasA Um argumento ; uma se.K/ncia de enunciados na .ual um deles ; a concluso e os demais so premissasA as .uais servem para provar a concluso. Exemplo: Todos os homens so mortais. Scrates homem. Portanto, Scrates mortal. PremissasD Todos os homens so mortais. Scrates homem. ConclusoD Portanto, Scrates mortal. Um enunciado ou proposio ; .ual.uer sentena declarativa .ue ; falsa *F+ ou verdadeira *=+. Exemplo: considere as se#uintes sentenasD a. De0 ; menor do .ue sete 3. Como voc/ estN c. "xiste vida em outros planetas do universo. *a+ ; uma proposioA uma ve0 .ue ; falsaO *3+ no ; uma proposio pois uma per#unta no pode ser considerada nem falsa e nem verdadeiraO *c+ ; uma proposioA ) .ue a sentena ; ou falsa ou verdadeiraA ainda .ue no sai3amos a resposta. ormali!ao: se usarmos as variveis proposicionais 6A 5 e C para nos referirmos Ps proposi7es Q2odos os Bomens so mortais, S%crates ; Bomem e QS%crates ; mortalA respectivamenteA podemos "ormali!ar o ar#umento anterior da se#uinte formaD 6A 5 C

A#1 Exerc$cios: 1. 6l#umas das se.u/ncias de enunciados formam ar#umentos e outras no. Para as .ue formam ar#umentosA identifi.ue a conclusoD a+ "le ; LeoA pois nasceu na primeira semana de a#osto. 3+ Como a economia pode ser melBoradaN ' d;ficit comercial est $

c+ d+ e+

f+ #+ B+ i+

crescendo todo dia. "u no .uero ir para a camaA mame. ' filme ainda no aca3ou. ' edifCcio estava em ruCnasA co3erto de fuli#em marromA numa re#io a3andonada. 6 fu#a dos ratos ressoava pelos corredores. (%s estvamos superados em nRmero e em armas pelo inimi#oA e suas tropas estavam constantemente sendo reforadas en.uanto as nossas foras estavam diminuindo. 6ssimA um ata.ue direto teria sido suicida. "le est respirando eA portantoA est vivo. H al#u;mA a.uiA .ue entende este documentoN (os "stados Unidos muitas pessoas no sa3em se o seu paCs apoia ou se op7e ao #overno da (icar#ua ' tri1n#ulo @ST ; e.ui1n#ulo. PortantoA cada um de seus 1n#ulos internos mede &? #raus.

% Lgica &roposicional
6 l%#ica proposicional *LP+ ; a mais simples das l%#icas sim3%licas e seu o3)etivo ; estudar os si#nificados dos operadores l%#icos *eA ouA noA etc.+. 6pesar de sua simplicidadeA a l%#ica proposicional ; muito utili0ada no estudo de circuitos di#itais.

3.1

Operadores lgicos
'3serve o exemplo a se#uirD J lia detesta manteiga o! gosta de creme.

"sta sentena apresenta as duas proposi7es QJRlia detesta mantei#aU e QJRlia #osta de cremeU e conectando4as temos a palavra QouUA .ue permite unir as duas proposi7esA formando uma proposio mais complexa. 6ssimA a l%#ica proposicional oferece operadores l%#icos *ou conectores+ .ue permitem com3inar proposi7es. Considere as proposi7es a se#uirD "st chovendo "st nevando. Podemos com3in4las e formar novas proposi7esD

%#1#1

'egao

:epresentaoD VA LeituraD noA no ; o caso .ue "xemploD No est chovendo. Formali0aoD V6

%#1#2

Con(uno )E*

:epresentaoD A W LeituraD eA masA al;m disso "xemploD "st chovendo e nevando. Formali0aoD 6 5

&

%#1#%

+is(uno ),-*

:epresentaoD LeituraD ou "xemploD "st chovendo ou nevando. Formali0aoD 6 5

%#1#.

Implicao )condicional*

:epresentaoD LeituraD se ... entoA somente se "xemploD Se est chovendo ento est nevando. Formali0aoD 6 5

%#1#/

E0ui1al2ncia

:epresentaoD LeituraD se e somente se "xemploD "st chovendo se e somente se est nevando. Formali0aoD 6 5

3.2

Formalizao

Dadas as variveis proposicionais e os sCm3olos .ue representam cada conector l%#icoA podemos considerar uma lin#ua#em *definida com estes sCm3olos e variveis+ .ue descreve todas as sentenas vlidas para a l%#ica proposicional. ' vocab!lrio da lin#ua#em da l%#ica proposicional ; o con)unto de sCm3olos contendo variveis proposicionais X6A 5A CA ...YO conectores l%#icosD XVA A A A Y e os par/nteses X *A + Y Uma frm!la ; .ual.uer se.K/ncia de sCm3olos do voca3ulrio. Uma F5F ou frm!la#bem#formada ; uma f%rmula definida pelas re#ras de formao a se#uir. 6s letras #re#as representam f%rmulas ar3itrrias 1. .ual.uer varivel proposicional ; uma F5FO !. se Z ; uma F5FA ento *VZ+ tam3;m ;O . se Z e [ so F5FA ento *Z [+A *Z [+A *Z [+ e * Z [+ tam3;m so. (ada mais ; uma F5F. ,

3#1 Exerc$cios: 1. Interprete a varivel proposicional p como Q"st cBovendoUA e $ como Q"st nevandoU e expresse cada sentena na notao do clculo proposicionalD a+ "st cBovendo. 3+ (o est cBovendo. c+ "st cBovendo e nevando. d+ "st cBovendo ou nevando. e+ "st cBovendo mas no est nevando. f+ (o ; o caso .ue est cBovendo e nevando. #+ Se no est cBovendoA ento est nevando. B+ (o ; o caso .ue se est cBovendo ento est nevando. i+ (o ; o caso .ue se est nevando ento est cBovendo. )+ "st cBovendo se e somente se no est nevando. \+ (o ; o caso .ue est cBovendo ou nevando. l+ Se est nevando e cBovendoA ento est nevando. m+Se no est cBovendoA ento no ; o caso .ue est nevando e cBovendo. n+ 'u est cBovendoA ou est nevando e cBovendo. o+ 'u est cBovendo e nevandoA ou est nevando mas no est cBovendo. !. Formali0e as se#uintes proposi7esA utili0ando o voca3ulrio a se#uirD p M Paula vai. . M <uincas vai. r M :icBard vai. s M Sara vai. a+ Paula no vai. 3+ Paula vaiA mas <uincas no. c+ Se Paula forA ento <uincas tam3;m ir. d+ Paula irA se <uincas for. e+ Paula irA somente se <uincas for. f+ Paula irA se e somente se <uincas for. #+ (em Paula nem <uincas iro. B+ Paula e <uincas no iro. i+ 'u Paula vaiA ou <uincas no vai. )+ Paula no ir se <uincas for. \+ 'u Paula irA ou :icBard e <uincas iro. l+ Se Paula forA ento :icBard e <uincas iro. m+Paula no ir mas :icBard e <uincas iro. n+ Se :icBard forA ento se Paula no forA <uincas irA o+ Se nem :icBard nem <uincas foremA ento Paula ir. p+ :icBard ir somente se Paula e <uincas no forem. .+ :icBard e <uincas voA apesar de Paula e Sara no irem. 8

r+ Se :icBard ou <uincas foremA ento Paula ir e Sara no ir. s+ :icBard e <uincas iro se e somente se Paula ou Sara for. t+ Se Sara forA ento :icBard ou Paula iroA e se Sara no forA ento Paula e <uincas iro. '5S.D como par/nteses .ue en#lo3am toda a f%rmula no so necessriosA vamos ocult4los para simplificar a f%rmula. 6ssimA por exemploA a f%rmula 6 V5 *.ue pelas re#ras de construo no ; uma F5F+ ser considerada como sendo 3em formada pois representa a simplificao de *6 V5+. Para redu0ir o nRmero de par/nteses necessrios em uma F5FA deve4se o3edecer a se#uinte ordem de aplicao dos conectivos *ordem de preced/ncia+D
,rdem 1 2 % . Conector 4 )negao* )con(uno*5 )dis(uno* )implicao* )e0ui1al2ncia*

6ssimA temos .ueD 6 V5 si#nifica 6 5 C si#nifica

*6 V5+ **6 5+ C+

Conectivos com a mesma preced/ncia so associados P direitaD 65C si#nifica *6 *5 C++ 65C si#nifica *6 *5 C++ '5SD Para conectivos dentro de vrios par/ntesesA efetua4se primeiro as express7es dentro dos par/nteses mais internos 3#2 Exerc$cios: 1. Determinar se cada uma das f%rmulas a se#uir ; uma F5FA caso no se)aA )ustifi.ue sua resposta. a+ VVV6 3+ *V6+ c+ 65 d+ 6 5 e+ *6 5+ f+ V*6 5+ #+ **6 5+ C+ B+ *6 5+ C i+ V*V6 V5+ F

)+ **6 5+ *C D++ \+ **6+ *5++ l+ *6 5 C+ m+*V6 *5 C++ n+ V*6 *5 C++ o+ VV*6 6+ !. Formali0e os se#uintes ar#umentosA usando as letras sentenciais indicadasD a+ Deus no existe. PoisA se Deus existisseA a vida teria si#nificado. >as a vida no tem si#nificado. *DA =+ 3+ Se o avio no tivesse caCdoA n%s terCamos feito contato pelo rdio. (o fi0emos contato pelo rdio. PortantoA o avio caiu. *CA :+ c+ Como Bo)e no ; .uinta4feiraA deve ser sexta4feira. Ho)e ; .uinta4feira ou sexta4feira. *<A S+ d+ Se Bo)e ; .uinta4feiraA ento amanB ser sexta4feira. Se amanB for sexta4 feiraA ento depois de amanB ser s3ado. Conse.KentementeA se Bo)e for .uinta4feiraA ento depois de amanB ser s3ado. *<A S 1A S!+ e+ Ho)e ; um fim de semana se e somente se Bo)e ; s3ado ou domin#o. PortantoA Bo)e ; um fim de semanaA uma ve0 .ue Bo)e ; s3ado. *FA SA D+ f+ Ho)e ; um fim de semana se Bo)e ; s3ado ou domin#o. >as Bo)e no ; um fim de semana. PortantoA Bo)e no ; s3ado e Bo)e no ; domin#o. *FA SA D+ #+ Ho)e ; um fim de semana se e somente se Bo)e ; s3ado ou domin#o. Ho)e no ; s3ado. Ho)e no ; domin#o. PortantoA Bo)e no ; um fim de semana. *FA SA D+ B+ 6 proposta de auxClio est no correio. Se os r3itros a rece3erem at; sexta4 feiraA eles a analisaro. PortantoA eles a analisaro por.ue se a proposta estiver no correioA eles a rece3ero at; sexta4feira. *CA SA 6+ i+ "la no est em casa ou no est atendendo ao telefone. >asA se ela no est em casaA ento ela foi se.Kestrada. " se ela no est atendendo ao telefoneA ela est correndo al#um outro peri#o. PortantoA ou ela foi se.Kestrada ou ela est correndo um outro peri#o. *CA 2A SA P+

1?

3.3

Semntica dos operadores lgicos

Cada um dos conectores l%#icos tem um si#nificadoA ou sem1nticaA .ue contri3uem para a veracidade ou falsidade da f%rmula em .ue se encontram. ' conceito central na sem1ntica da l%#ica proposicional ; o valor#verdade. 6s proposi7es verdadeiras possuem o valor4verdade =":D6D"I:' e a.uelas falsas possuem o valor4verdade F6LS'. 2odas as proposi7es possuem um Rnico valor4 verdade. Utili0a4se as a3revia7es = para =":D6D"I:' e F para F6LS'. 6 sem1ntica de cada operador ; resumida atrav;s das Tabelas#verdade a se#uirA onde QZU *ou Q[U+ representa uma f%rmula proposicional e duas possi3ilidades so analisadasD se Z ; verdadeiro ou se Z ; falso.

%#%#1

6a7ela81erdade da negao

6 ne#ao de uma proposio Z ; verdadeira se Z for falsa. Z = F VZ F =

%#%#2

6a7ela81erdade da con(uno

Uma con)uno ; verdadeira se am3as as as proposi7es .ue participam da con)uno forem verdadeirasA seno ; falsa. Z = = F F [ = F = F Z [ = F F F

11

%#%#%

6a7ela81erdade da dis(uno

Uma dis)uno ; verdadeira seA pelo menos uma de suas proposi7es ; verdadeirasA seno ; falsa. Z = = F F [ = F = F Z[ = = = F

%#%#.

6a7ela81erdade da implicao

6 construo da ta3ela4verdade da implicao exi#e o conBecimento dos conceitos de antecedente e conse.Kente. %ntecedente ; a f%rmula .ue se encontra antes do conector da implicao e conse.Kente ; a.uela .ue se encontra ap%s o conector. Exemplo: Se a fome continuarA al#umas pessoas morrero. 6ntecedenteD a fome continuar Conse.KenteD al#umas pessoas morrero 6 ta3ela4verdade da implicao s% ser falsa .uando o antecedente ; verdadeiro e o conse.Kente ; falso. "m todos os outros casosA ela ; verdadeira. Z = = F F [ = F = F Z[ = F = =

1!

%#%#/

6a7ela81erdade da e0ui1al2ncia

6 e.uival/ncia ; a a3reviatura para *Z [+ *[ Z+. 6ssim ela ; construCda a partir das su34f%rmulas e ser verdadeira somente .uando suas duas proposi7es tiverem o mesmo valor4verdadeA se)a ele verdadeiro ou falso. Z = = F F [ = F = F Z[ = F = = [Z = = F = *Z [+ *[ Z+ = F F =

Lo#oA a ta3ela4verdade para a e.uival/ncia ;D

Z = = F F

[ = F = F

Z[ = F F =

3#% Exerc$cios: 1. Construa a ta3ela4verdade paraD a+ *6 5+ *5 6+ 3+ *6 V6+ *5 V5+ c+ *6 5+ 5 d+ *V5 V6+ 5 e+ *6 V5+ V*6 5+ f+ V*P <+ #+ *6 V6+

3.4

Classi icao de F!F usando ta"elas#$erdade

Uma F5F pode ser uma tautolo#iaA contin#/ncia ou contradio. 2al classificao ; definida de acordo com o resultado da ta3ela4verdade para a F5F em .uesto. 6autologiaD a F5F ser uma tautolo#ia .uando todos os valores4verdade resultantes na ta3ela4verdade forem verdadeiros. ContradioD a F5F ser uma contradio .uando todos os valores4verdade resultantes na ta3ela4verdade forem falsos. Conting2nciaD a F5F ser uma contin#/ncia .uando os valores4verdade resultantes na ta3ela4verdade variarem entre verdadeiro e falso. 3#. Exerc$cios: 1. Classifi.ue as se#uintes proposi7es do exercCcio anterior como tautolo#iaA contin#/ncia ou contradio.

3.%

&a"elas#$erdade para ormas de argumento

&ormas de arg!mentos so padr7es a3stratos de raciocCnio compartilBados por diversos ar#umentos. '3serve os tr/s ar#umentos a se#uirD 1. Ho)e ; se#unda4feira ou tera4feira. Ho)e no ; se#unda4feira. PortantoA Bo)e ; tera4feira. !. :em3randt pintou a >ona Lisa ou >icBelan#elo a pintou. (o foi :em3randt .uem a pintou. PortantoA >icBelan#elo pintou a >ona Lisa. . "le ; menor de 18 anos ou ele ; )ovem. "le no ; menor de 18 anos. PortantoA ele ; )ovem. 6 forma comum a eles ;D P o! 'A no o caso $!e P '

Cada ar#umento .ue tem essa forma pode ser o3tido da forma su3stituindo as variveis proposicionais por sentenas. Por exemploA o ar#umento 1 ; o3tida forma su3stituindo P pela sentena QHo)e ; se#unda4feiraU e < pela sentena QHo)e de 1$

tera4feiraU. ' resultado Ho)e ; se#unda4feira ou Bo)e ; tera4feira. (o ; o caso .ue Bo)e ; se#unda4feira. PortantoA Bo)e ; tera4feira. ; uma simples variante #ramatical do ar#umento 1. Podemos i#norar tais varia7es e um ar#umento o3tido assimA ; cBamado de instncia da forma. Uma forma de ar#umento ; $'lida seA e somente seA todas as suas inst1ncias so vlidasA caso contrrio ; in$'lida. (ma inst)ncia de !ma forma vlida se imposs*vel $!e s!a concl!so se+a falsa en$!anto s!as premissas so verdadeiras . Por exemploA a forma acima ; vlidaA pois todo ar#umento desta forma ; tal .ue se as suas premissas forem verdadeirasA a sua concluso dever ser verdadeira. Podemos definir a validade de uma forma de ar#umento 3aseando4se na sem1ntica dos operadores l%#icos usando a ta3ela4verdade *pode4se definir essa validade 3aseando4se na sintaxe usando re#ras de deduo natural+. Exemplo 1: =amos construir a ta3ela4verdade para a forma de ar#umento P <A VP mostrar se ela ; vlida ou no. 6 ta3ela4verdade para essa forma serD P = = F F < = F = F P< = = = F VP F F = = < = F = F <e

6s colunas e $ cont;m as premissas e a coluna - cont;m a concluso do ar#umento. Pela definio de validadeA devemos analisar se .uando as premissas so verdadeirasA se a concluso tam3;m ; verdadeira. 6ssimA a Rnica linBa em .ue as premissas so verdadeiras ; a $A na .ual a concluso tam3;m ; verdadeira. Lo#oA a forma de ar#umento ; 1lida. Exemplo 2: =amos construir a ta3ela4verdade para a forma de ar#umento P <A < mostrar se ela ; vlida ou no. Pe

1-

P = = F F

< = F = F

P< = F = =

< = F = F

P = = F F

6s linBas a serem analisadas so a ! e a $A onde as premissas so todas verdadeiras. 6 concluso da linBa ! ; verdadeiraA por;m a da linBa $ ; falsa. Lo#oA a forma de ar#umento ; in1lida. 3#/ Exerc$cios: 1. Formali0e os ar#umentos a3aixo e utili0e a ta3ela4verdade para afirmar se eles so vlidos ou noD a+ Se eu passar na provaA irei via)ar. (o passei na provaA lo#oA no via)ei. 3+ =ou passar de ano seA e somente seA eu estudar e no via)ar. (o estudei. =ia)ei. Lo#oA passei na prova. c+ Se este ar#umento for vlido e todas as suas premissas forem verdadeirasA ento ele ser correto. Se ele for corretoA ento sua concluso ser verdadeira. 2odas as suas premissas so verdadeiras. PortantoA se este ar#umento for vlidoA ento sua concluso ser verdadeira.

1&

Uma situao na .ual as premissas de uma inst1ncia de uma forma de ar#umento so verdadeiras en.uanto a concluso ; falsa cBama4se um contra# e,emplo. 6 exist/ncia de um contra4exemplo mostra .ue a forma ; invlida. Se uma forma de ar#umento ; vlidaA todas as suas inst1ncias tam3;m sero. Por;mA as formas invlidas podem ter inst1ncias tanto vlidas .uanto invlidas e o teste da ta3ela4verdade no esta3elece a invalidade de ar#umentos especCficos. Exemplo: Se 63ril precede >aioA ento 63ril precede >aio e >aio se#ue 63ril. 63ril precede >aio e >aio se#ue 63ril. PortantoA 63ril precede >aio. Se formali0armos este ar#umento comoD P ] 63ril precede >aio. < ] 63ril precede >aio e >aio se#ue 63ril. P <A < P

Pela ta3ela4verdade acimaA podemos ver .ue a forma ; invlida. Por;mA podemos o3servar .ue o ar#umento especCfico ; vlidoA uma ve0 .ue sua validade deriva da primeira parte da se#unda premissaA e essa informao ; perdida com a formali0ao. Um ar#umento particular pode ser uma inst1ncia de vrias formasA al#umas vlidas e outras noA mas se for inst1ncia de uma forma vlidaA ento ela ; vlida. Exemplo: Se ela me amaA ento ela no me odeia. (o ; verdade .ue ela no me odeia. PortantoA ela no me ama. ^ inst1ncia de cada uma das se#uintes formasA sendo .ue somente as duas primeiras so vlidasD 1. 6 V'A VV' V6 !. 6 "A V"A V6 . 6 "A ( V6 $. 6 "A ( S -. IA ( S onde 6 ] "la me ama ' ] "la me odeia " ] "la no me odeia

1,

( ] (o ; verdade .ue ela no me odeia S ] "la no me ama I ] Se ela me amaA ento ela no me odeia 6o formali0ar um ar#umentoA #eralmenteA seleciona4se a forma .ue melBor exi3e a estrutura l%#ica *como a forma 1+. Por;mA se uma forma com menos estrutura for vlida *como a forma !+A ento ela ; uma formali0ao ade.uada para demonstrar a validade do ar#umento.

3.(

)plica*es de &a"elas#$erdade e Formalizao

6 se#uir temos um exemplo de aplicao de ta3ela4verdadeD

6r2s estudantes declararam o seguinte: &aulo: "u no fi0 o testeA masA se :o#;rio o fe0A S;r#io tam3;m fe0. 9og:rio: "u fi0 o testeA mas um de meus cole#as no fe0. S:rgio: Se :o#;rio fe0 o testeA eu tam3;m o fi0. Formali0e estas tr/s declara7es na lin#ua#em l%#ica proposicional utili0ando as variveis a3aixo. 6 se#uirA monte a ta3ela4verdade das proposi7es e utili0e4a para responder as .uest7es aA 3 e cD P ] Paulo fe0 o teste. : ] :o#;rio fe0 o teste. S ] S;r#io fe0 o teste. PauloD :o#;rioD S;r#ioD VP *: S+ : *VP VS+ :S

a+ Se todos esto di0endo a verdadeA .uem fe0 o testeN 9: :o#;rio e S;r#ioA pois : e S so verdadeiras na &a. LinBaA onde as declara7es so todas verdadeiras

18

P = = = = F F F F

: = = F F = = F F

S = F = F = F = F

VP F F F F = = = =

VS F = F = F = F =

:S = F = = ; F = =

VP *: S+ F F F F ; F = =

VP VS F = F = = = = =

: *VP VS+ F = F F ; = F F

3+ Se todos esto mentindoA .uem fe0 o testeN 9: (o ; possCvel todos estarem mentindoA pois no B nenBuma linBa cu)os valores das declara7es se)am todos falsos. c+ Se todos fi0eram o testeA .uem est di0endo a verdade e .uem est mentindoN 9: S;r#io esta falando a verdade e os outros dois esto mentindo P = = = = F F F F : = = F F = = F F S = F = F = F = F VP F F F F = = = = VS F = F = F = F = :S = F = = = F = = VP *: S+ F F F F = F = = VP VS F = F = = = = = : *VP VS+ F = F F = = F F

3#< Exerc$cios: 1. Formali0e estas tr/s declara7es a se#uir utili0ando as variveis a3aixo. 6 se#uirA monte a ta3ela4verdade das proposi7es e utili0e4a para responder as .uest7es aA 3 e cD P ] Pedro entre#ou o tra3alBo. J ] Joo entre#ou o tra3alBo. > ] >aria entre#ou o tra3alBo.

1F

6r2s estudantes declararam o seguinte: &edro: "u entre#uei o tra3alBoA masA se Joo no entre#ouA >aria tam3;m no entre#ou. =oo: Se Pedro no entre#ou o tra3alBoA eu tam3;m no entre#uei. Maria: "u no entre#uei o tra3alBoA mas um de meus cole#as entre#ou. a+ Se todos esto di0endo a verdadeA .uem entre#ou o tra3alBoN 3+ Se todos esto mentindoA .uem entre#ou o tra3alBoN c+ Se todos entre#aram o tra3alBoA .uem est di0endo a verdade e .uem est mentindoN !. <uatro m.uinas 6A 5A C e D esto conectadas em uma rede de computadores. :eceia4se .ue um vCrus de computador possa ter infectado a rede. Seu #rupo de se#urana de rede fa0 as se#uintes afirma7esD Se D estiver infectadoA C tam3;m est. Se C estiver infectadoA 6 tam3;m est. Se D no estiver infectadoA ento 5 no est infectadoA mas C est infectado. Se 6 estiver infectadoA ento ou 5 est infectadoA ou C no est infectado. Supondo todas essas proposi7es verdadeirasA o .ue voc/ pode concluirN Formali0e as proposi7es em monte a ta3ela4verdade para )ustificar sua resposta. . SuponBa .ue voc/ est via)ando por um paCs onde todo Ba3itante fala sempre a verdade ou ; um mentiroso .ue sempre menteD a+ =oc/ encontra dois Ba3itantes desse paCs. Percival e Levelim. Percival declaraD QPelo menos um de n%s ; mentirosoU. Percival ; mentirosoN " LevelimN Justifi.ue sua respostaA construindo a ta3ela4verdade 3+ Continuando sua via#em voc/ encontra >erlim e >ereditB. >erlim di0D QSe sempre di#o a verdadeA ento >ereditB sempre di0 a verdadeU. >erlim ; mentirosoN " >ereditBN Justifi.ue sua respostaA construindo a ta3ela4verdade c+ FinalmenteA voc/ encontra :otvold e Eremilim. :otvold di0D Q'u sou mentiroso ou Eremilim sempre di0 a verdadeU. :otvold ; mentirosoN " EremilimN Justifi.ue sua respostaA construindo a ta3ela4verdade

!?

3.+

,r$ores de -e utao

6s rvores de refutao fornecem uma maneira mais eficiente de determinar a validade das formas de um ar#umento. Um rvore de ref!ta-o ; uma anlise na .ual uma lista de enunciados ; desmem3rada em variveis proposicionais ou suas ne#a7es. Para testar a validade de uma forma de ar#umentoD 1. Constr%i4se uma lista com suas premissas e a negao de sua concluso. !. Fa04se uma 3usca desmem3rando as F5F da lista em variveis proposicionais ou suas ne#a7es. . Se encontrarmos uma refutao entoA a forma de ar#umento ; in1lida. $. Caso contrrioA a forma de ar#umento ; 1lida. 6 ref!ta-o de uma forma de ar#umento ; esta3elecida se todas as premissas so verdadeiras e a concluso ; falsa. Para o3t/4laA devemos encontrar al#uma atri3uio *esta3elecimento de verdade e falsidade para variveis proposicionais+ .ue torne todas as F5F da lista verdadeiras.

Exemplos: >ostre .ue P < 1. !. . $. -. &. VVP ; vlidaD

InicialmenteA a lista ; formada com a premissa *1+ e a ne#ao da concluso *!+. Como P < ; verdadeira se e somente se P e < forem verdadeirasA podemos su3stituir P < por essas variveis. 6ssim incluCmos P e < na lista e marcamos a f%rmula. Da mesma formaA podemos su3stituir VVVP por VP. (este pontoA todas as f%rmulas foram desmem3radas e a rvore est completa *coloca4se o @ para indicar isso+. Como encontramos na lista P e VPA no B nenBuma atri3uio .ue torne todas as f%rmulas da lista verdadeiras *P e VP no podem ser verdadeiras ao mesmo tempo+. 6ssim a f%rmula ; 1lida.

P< VVVP P < VP @

1 1 !

!1

>ostre se P <A P

V< ; vlida ou noD

1. !. . $. -. P

P< P VV< < 1 < 1

Criamos a lista inicial *14 +. Su3stituCmos VV< por <. Como P < ; verdadeira se e somente se P ou < so verdadeirasA su3stituCmos por uma ou outra. Isso ; representado com uma 3ifurcao na rvore. 6#ora temos dois ramos .ue devem ser analisados. 6ssimA se al#um dos ramos da rvore contiver uma atri3uio .ue torne todas as F5F verdadeirasA o ar#umento ; in1lidoA caso contrario ; vlido. (o nosso exemploA pelo primeiro ramoA podemos ver .ue o ar#umento ; invlidoA pois se atri3uirmos =":D6D"I:' para P e <A todas as F5F deste ramo tornam4se verdadeiras.

Como as condi7es para .ue um enunciado possa ser verdadeiro dependem dos operadores l%#ico .ue ele cont;mA as f%rmulas .ue cont/m diferentes operadores l%#icos so desmem3radas diferentementeD 'egao ) 4 *: Se um ramo a3erto cont;m uma f%rmula e sua ne#aoA coloca4se um Q@U no final do ramoA fecBando4o. <ual.uer ramo .ue cont;m uma f%rmula e sua ne#ao ; um ramo em .ue falBa a refutao *no existe um ramo em .ue todas as f%rmulas podem ser verdadeiras+A .ue ; o .ue se investi#a ao se construir uma rvore de refutaoA assim pode4se fecBar o ramo. 'egao negada ) 44 *: Se um ramo a3erto cont;m uma F5F no4marcada da forma VVZA marca4se VVZ e escreve4se Z no final de cada ramo a3erto .ue cont;m VVZ marcada. Con(uno ) *: Se um ramo a3erto cont;m uma F5F no4marcada da forma Z [A marca4se Z [ e escreve4se Z e [ no final de cada ramo a3erto .ue cont;m Z [ marcada. +is(uno ) *: Se um ramo a3erto cont;m uma F5F no4marcada da forma Z [A marca4se Z [ e 3ifurca4se cada ramo a3erto .ue cont;m Z [ marcadaA no final do primeiro ramo escreve4se Z e no final do se#undo ramo escreve4se [. !!

Um ramo termina se ele se fecBa ou se as F5F no4marcadas so variveis proposicionais ou suas ne#a7es. Uma rvore est completa se todos os seus ramos terminam. Se todos os ramos de uma rvore completa esto fecBadosA ento as f%rmulas ori#inais no so simultaneamente verdadeirasO nesse casoA a f%rmula ; vlida. Caso contrrioA a f%rmula ; invlida. Cada ramo a3erto de uma rvore completa ; uma QreceitaU para construir contra4 exemplos. 6s f%rmulas no4marcadas num ramo a3erto so variveis proposicionais ou suas ne#a7es. <ual.uer situao em .ue as variveis no4ne#adas so verdadeiras e as ne#adas so falsas ; um contra4exemplo. Exemplo: ve)a a rvore de refutao para a f%rmula P <A P 1. !. . $. -. P < P< P VV< 1 VV < < 1 VV V<

's dois ramos a3ertos cont/m as variveis QPU e Q<UA assim uma situao onde P e < so verdadeiras ; um contra4exemplo para a f%rmula P <A P V<

3#> Exerc$cios: 1. Construa as rvores de refutao para determinar se as formas de ar#umento a se#uir so vlidas ou no. Caso no se)a vlidaA d/ um contra4exemplo. a+ P <A P V< 3+ P <A VP VV< c+ : VSA VV: S

Implicao ) *: Se um ramo a3erto cont;m uma F5F no4marcada da forma Z [A marca4se Z [ e 3ifurca4se cada ramo a3erto .ue cont;m Z [ marcadaA no final do primeiro ramo escreve4se VZ e no final do se#undo ramo escreve4se [. Exemplo: Determinar se a se#uinte forma ; vlidaD P <A < :A P :

1. !. . $. -. &. ,. 8. VP @ 1 A-V

P< <: P V: < V< @ ! -A,V 1 : @ ! $A,V

^ vlida pois todos os ramos da rvore esto fecBados. E0ui1al2ncia ) *: Se um ramo a3erto cont;m uma F5F no4marcada da forma Z [A marca4se Z [ e 3ifurca4se cada ramo a3erto .ue cont;m Z [ marcadaA no final do primeiro ramo escreve4se Z e [ e no final do se#undo ramo escreve4se VZ e V[. Exemplo: Determinar se a se#uinte forma ; vlidaD P <A VP V<

1. !. . $. -. &. P < @ 1 1 !A$V

P< VP VV< VP V< @ 1 1 A-V

^ vlida pois todos os ramos da rvore esto fecBados. 3#? Exerc$cios: 1. Construa as rvores de refutao para determinar se as formas de ar#umento a se#uir so vlidas ou no. Caso no se)a vlidaA d/ um contra4exemplo. a+ *< :+ PA V<A V" VP 3+ VP V<A : P V:

!$

Con(uno negada ) V *: Se um ramo a3erto cont;m uma F5F no4marcada da forma V*Z [+A marca4se V*Z [+ e 3ifurca4se cada ramo a3erto .ue cont;m V*Z [+ marcadaA no final do primeiro ramo escreve4se VZ e no final do se#undo ramo escreve4se V[. Exemplo: Determinar se a se#uinte forma ; vlidaD V*P <+ 1. !. . $. -. VVP @ VP !V A$V 1V VV< < !V $VV VVP P V*P <+ V*VP V<+ V< !V $VV 1V VV< !V @ A$V VP V<

6 rvore est completa pois todos os ramos terminam *1_ e $_ esto fecBados e !_ e _ no podem mais ser desmem3rados+A por;m existem pois ramos a3ertosA assim a f%rmula ; invlida. Um contra4exemplo para essa f%rmula seria P ] falso e < ] verdadeiro. +is(uno negada ) V *: Se um ramo a3erto cont;m uma F5F no4marcada da forma V*Z [+A marca4se V*Z [+ e escreve4se VZ e V[ no final de cada ramo a3erto .ue cont;m V*Z [+ marcada. Exemplo: Determinar se a se#uinte forma ; vlidaD P < P<

1. !. . $. -. &. VP 1

P< V*P <+ VP V<

!V !V < @ 1 $A-V

^ invlida pois a rvore est completa e o primeiro ramo est a3erto. <ual.uer situao onde P e < so falsas ; um contra4exemplo. !-

Implicao negada ) V *: Se um ramo a3erto cont;m uma F5F no4marcada da forma V*Z [+A marca4se V*Z [+ e escreve4se Z e V[ no final de cada ramo a3erto .ue cont;m V*Z [+ marcada. Exemplo: Determinar se a se#uinte forma ; vlidaD VP V< P<

1. !. . $. -. &. VVP P 1 -VV

VP V< V*P <+ P !V V< !V V< 1

^ invlida pois a rvore est completa e os seus ramos esto a3ertos. <ual.uer situao onde P ; verdadeira e < ; falsa ; um contra4exemplo. E0ui1al2ncia negada ) V *: Se um ramo a3erto cont;m uma F5F no4marcada da forma V*Z [+A marca4se V*Z [+ e 3ifurca4se cada ramo a3erto .ue cont;m V*Z [+ marcadaA no final do primeiro ramo escreve4se Z e V[ e no final do se#undo ramo escreve4se VZ e [. Exemplo: Determinar se a se#uinte forma ; vlidaD PA P < P<

1. !. . $. -. &. ,. 8. VP @ ! 1A$V

P P< V*P <+ < P V< @ V V $A,V ! VP < @ V V 1A&V

^ vlida pois todos os ramos da rvore esto fecBados.

!&

3#@ Exerc$cios: 1. Construa as rvores de refutao para determinar se as formas de ar#umento a se#uir so vlidas ou no. Caso no se)a vlidaA d/ um contra4exemplo. a+ VP P VP 3+ P < P< c+ P V< V*P <+ d+ P *P *< P++ *P <+ e+ P <A VPA V< : f+ V*P <+A : P V: #+ P <A < : P: B+ P *: S+A *: S+ < P<

!,

. Clculo &roposicional
' termo c'lculo proposicional si#nifica Qo sistema para executar clculos com proposi7esU. 's QclculosU .ue executaremos como este sistema so se.K/ncias de infer/ncias desi#nadas para mostrar a validade de certas formas de ar#umentos.

4.1

-egras de in er.ncia

' clculo proposicional fornece um sistema de re#ras de infer/ncia .ue so capa0es de #erar todas as formas de ar#umento vlidas expressveis na lin#ua#em do clculo proposicional e somente as as formas vlidas. 6s re#ras de infer/ncia #eram as formas de ar#umento numa s;rie de etapas simples e precisas de raciocCnioA cBamadas de prova ou deriva-o. Cada etapa numa derivao ; uma inst1ncia de uma das re#ras. "xemploD =amos considerar a se#uinte forma de ar#umento CA S 6A C S 6. "sta forma ; vlida pois pode ser derivvel atrav;s das re#ras de infer/ncia. 6 derivao ; a se#uinteD

1. !. . $. -.

C S6 CS S 6

P P P 1A >P !A$ >P

Listamos as premissas nas tr/s primeiras linBas e dedu0imos a concluso Q6U em duas etapasD das linBas 1 e para a linBa $ das linBas ! e $ para a linBa 6s duas etapas t/m a mesma forma e so inst1ncias da primeira re#ra de infer/nciaD .odos Ponens *>P+ ou eliminao de condicional D de um condicional e seu antecedente podemos inferir seu conse.Kente.

!8

'utro exemploD Prove VP *< :+A VPA < 1. !. . $. -. VP *< :+ VP < <: : : P P P 1A! >P A$ >P

6 se#unda re#ra permite raciocinar a partir de premissas .ue so ne#a7es de ne#a7esD "limina-o de nega-o *V"+D de uma F5F da forma VVZA podemos inferir Z. "xemploD Prove VP VV<A VVVP 1. !. . $. -. VP VV< VVVP VP VV< < < P P ! V" 1A >P $ V"

/ntrod!-o de con+!n-o *I+D de .uais.uer F5F Z e [A podemos inferir a con)uno Z [. "limina-o de con)uno *"+D de uma con)uno Z [ podemos inferir .ual.uer um dos seus con)unctos Z ou [. "xemploD Prove P *< :+A P 1. !. . $. -. P *< :+ P <: < P< P< P P 1A! >P " !A$ I

!F

C#1 Exerc$cios: 1. Prove as se#uintes formas de ar#umentoD a+ P < <P 3+ *P <+ *: S+A VVPA < S c+ P PP

/ntrod!-o de dis+!n-o *I+D de uma F5F ZA podemos inferir a dis)uno de Z com .ual.uer F5F. "xemploD Prove P 1. !. . $. *P <+ *P :+ P 1 I 1 I !A I

P P< P: *P <+ *P :+

"limina-o de dis+!n-o *"+D das F5Fs da forma Z [A Z ` e [ `A podemos inferir a F5F `. "xemploD Prove S DA S FA D F 1. !. . $. -. SD SF DF F FD FD P P P 1A!A " $ I

/ntrod!-o do bicondicional *I+D de .uais.uer F5Fs de formas Z [ e [ ZA podemos inferir Z [.

"limina-o do bicondicional *"+D de .ual.uer F5F da forma Z [A podemos inferir Z [ ou [ Z.

"xemploD Prove F *S D+A S 1. !. . $. -. F *S D+ S *S D+ F SD F F P P 1 " ! I A$ >P

C#2 Exerc$cios: 1. Prove as se#uintes formas de ar#umentoD a+ PA VV*P <+ < V< 3+ PA VV*P <+ *: S+ < c+ *P <+ *P :+A P SA < SA P 2A : 2 d+ P PA P *< :+ : e+ P <A *P <+ *< P+ P< f+ P < <P

S2

6s duas pr%ximas re#ras empre#am o raciocCnio Bipot;ticoA i.e. 3asado em Bip%teses. 6s Bip%teses no so declaradas como verdadeirasA elas so artifCcios l%#icosA os .uais acolBemos temporariamente como uma estrat;#ia de prova. Uma ve0 .ue a prova ; o3tidaA a Bip%tese ; descartada. Prova do condicional 0P12 ou incluso do condicional D dada uma derivao de uma F5F [ com o auxClio de uma Bip%tese ZA n%s podemos descartar a Bip%tese e inferir Z [. "xemploD Prove P <A < : 1. P < !. < : . aP $. a< -. a: &. P : P: P P H 1A >P !A$ >P 4- PC

'3serva7esD 1. Cada Bip%tese introdu0 uma linBa vertical .ue continua at; a Bip%tese ser descartadaO !. (enBuma ocorr/ncia de uma f%rmula P direita de uma linBa vertical pode ser citada ap%s o final desta linBaO . Se duas ou mais linBas so vi#entes simultaneamenteA ento a ordem de finali0ao deve ser a ordem inversa da iniciali0aoO $. Uma prova no est terminada at; .ue todas as Bip%teses se)am descartadas. 3ed!-o ao abs!rdo *:66+ ou introduo de ne#ao D dada uma derivao de uma contradio a partir de uma Bip%tese ZA podemos descartar a Bip%tese e inferir VZ. "xemploD Prove VP V< V*P <+ P H H " !A$ I 4- :66 14& PC H F " 8A1? I F411 :66 841! PC 1A,A1 "

1. VP V< !. aV< . a aP< $. a a< -. a a < V< &. a V*P <+ ,. V< V*P <+ 8. a VP H F. a aP< 1?. a aP 11. a a P VP 1!. a V*P <+ 1 . VP V*P <+ 1$. V*P <+

.#1#1

Estrat:gias para pro1a

Se a concluso "or F%rmula 6tbmica

ento "aa### Se nenBuma estrat;#ia ; imediataA coloca4se como Bip%tese a ne#ao da concluso para :66. Se isso for 3em sucedidoA ento a concluso pode ser o3tida depois de :66A por V" Coloca4se como Bip%tese a conclusoA sem o sCm3olo da ne#aoA para :66. Se resultar uma contradioA a concluso pode ser o3tida por :66 Prove cada um dos con)unctosA separadamenteA e ento faa a con)uno deles com I cs ve0es a dis)uno pode ser provada diretamenteA provando um de seus dis)untos e aplicando I. Caso contrrioA coloca4se como Bip%tese a ne#ao da concluso e tenta4se :66 Coloca4se como Bip%tese o seu antecedente e deriva4se o seu conse.Kente por PC Use PCA ! ve0esA para provar os dois necessrios para o3ter a concluso por I condicionais

F%rmula (e#ada

Con)uno Dis)uno

Implicao ".uival/ncia

Caso as estrat;#ias acima falBemA tente o se#uinteD se uma premissa for dis)untivaA tente provar os condicionais necessrios para inferir a concluso por "O caso contrrioA adiciona4se uma Bip%tese extra cu)a ne#ao seria Rtil como uma premissa adicional e descarte4a o mais rpido possCvel par o3ter a sua ne#ao por :66. C#% Exerc$cios: 1. Prove as se#uintes formas de ar#umentoD a+ P *P <+ < 3+ *P <+ : P *< :+ c+ P < <P d+ *P <+ *P :+ P *< :+ e+ P <A V< VP f+ P V< V*P <+ #+ VP P P B+ V*VP V<+A VP < i+ P < VP < )+ V*P <+ VP V< \+ V*P <+ VP V<

!. Formali0e os se#uinte ar#umentos usando a interpretao indicada e prove .ue so vlidos usando as re#ras de infer/ncia. CD 6 concluso deste ar#umento ; verdadeira PD 6s premissas deste ar#umento so verdadeiras SD "ste ar#umento ; correto =D "ste ar#umento ; vlido a+ (o ; o caso .ue este ar#umento no ; correto. PortantoA este ar#umento ; correto. 3+ "ste ar#umento ; correto. PortantoA no ; o caso .ue este ar#umento no ; correto. c+ Se este ar#umento for corretoA ento ele ser vlido. "le no ; vlido. PortantoA ele no ; correto. d+ Se este ar#umento for corretoA ento no ; o caso .ue ele no se)a vlido. "le ; correto. DaCA ele ; vlido. e+ Se este ar#umento for corretoA ento no ; o caso .ue ele no se)a vlido. 6ssimA se ele no for vlidoA ento ele no ser correto. f+ "ste ar#umento ; correto e vlido. PortantoA ele ; correto ou ele no ; vlido. #+ "ste ar#umento no ;A am3osA correto e no vlido. "le ; correto. PortantoA ele ; vlido. B+ "ste ar#umento ; correto se e somente se todas as suas premissas forem verdadeiras. >as nem todas as suas premissas so verdadeiras. PortantoA ele no ; correto. i+ Se a concluso deste ar#umento no for verdadeiraA ento este ar#umento no ; correto. 6ssimA no ; caso .ue este ar#umento ; correto e sua concluso no4verdadeira. )+ Se este ar#umento no for correto e for vlidoA ento nem todas as suas premissas so verdadeiras. 2odas as suas premissas so verdadeiras. "le ; vlido. PortantoA ele ; correto. \+ "ste ar#umento no ; correto ouA caso contrrioA ele seria vlido e todas as suas premissas so verdadeiras. DondeA ele ; vlido ou no correto. l+ "ste ar#umento ; correto se e somente se ele for vlido e todas as suas premissas forem verdadeiras. (em todas as suas premissas so verdadeiras. DaCA ele no ; correto. m+"ste ar#umento ; correto se e somente se ele for vlido e todas as suas premissas forem verdadeiras. DaCA se ele for vlidoA ele ser correto se todas as suas premissas forem verdadeiras. n+ "ste ar#umento no ser correto se e somente se nem todas as suas premissas forem verdadeiras ou ele no for vlido. >as ele ; vlido e todas as suas premissas so verdadeiras. PortantoA ele ; correto.

4.2

&eoremas

2eoremas so F5Fs provveis sem o uso de .ual.uer premissa. Do ponto de vista sem1ntico so tautolo#ias. Exemplo: Prove os se#uinte teoremasD a+ V*P VP+ 1. a P VP !. V*P VP+ P *P <+ 1. aP !. aP< . P *P <+

H 141 :66

3+

H 1 I 14! PC

c+

P VP 1. a V*P VP+ !. a aP . a a P VP $. a a *P VP+ V*P VP+ -. a VP &. a P VP ,. a *P VP+ *VP VP+ 8. P VP P **P <+ <+ P VVP *P <+ *VP V<+

H H ! I 1A I !4 :66 - I 1A& I 14, :66

d+ e+ f+

4.3

/0ui$al.ncias

Uma e.uival/ncia ; um 3icondicional .ue ; um teorema. Se Z [ ; uma e.uival/nciaA ento Z e [ so inter#derivveis. Exemplo: Prove a se#uinte e.uival/nciaD P VVP 1. aP !. a a VP . a a P VP $. a VVP -. P VVP &. a VVP ,. aP 8. VVP P F. P VVP

6 se#uir so apresentadas al#umas das e.uival/ncias mais importantesD V*P <+ *VP V<+ V*P <+ *VP V<+ *P <+ *< P+ *P <+ *< P+ *P *< :++ **P <+ :+ *P *< :++ **P <+ :+ *P *< :++ **P <+ *P :++ *P *< :++ **P <+ *P :++ P VVP *P <+ *V< VP+ *P <+ *VP <+ **P <+ :+ *P *< :++ P *P P+ P *P P+ & Lei de De >or#an *D>+ Lei de De >or#an *D>+ Comutao *C'>+ Comutao *C'>+ 6ssociao *6SS+ 6ssociao *6SS+ Distri3uio *DIS+ Distri3uio *DIS+ Dupla ne#ao *D(+ 2ransposio *2:6+ Implicao material *I>+ "xportao *"@P+ 2autolo#ia *26U+ 2autolo#ia *26U+

H H 1A! I !4 :66 14$ PC H & V" &4, PC -A8 I

4.4

-egras 1eri$adas

6s re#ras de infer/ncia so completasA i.e.A permitem derivar .ual.uer forma de ar#umento vlida. 6s re#ras derivadas apresentadas a se#uir so usadas para a3reviar e simplificar as provas de validade de formas de ar#umento. .odos Tollens *>2+D de .uais.uer F5Fs de formas Z [ e V[A podemos inferir VZ. Exemplo: *: =+ VC
)9 ;* 4C5 44C 1. *: =+ VC !. VVC . a:= $. a VC -. a VC VVC &. V*: =+ 4)9 ;* )M6* P P H 1A >P !A$ I 4- :66

VVC V*: =+
Exemplo 1. *: =+ VC !. a VVC %# A 4)9 ;* $. VVC V*: =+ P H 152 M6 !4 PC

Silogismo 4ipottico *SH+D de .uais.uer F5Fs de formas Z [ e [ `A podemos inferir Z `. Exemplo: P <A < :A V:
& B5 B 9 1. P < !. < : . aP $. a< -. a: &. P : &9 )SC* P P H 1A >P !A$ >P 4- PC

VP

Exemplo: 1. !. . .# -. P< <: V: &9 VP P P P 152 SC A$ >2

%bsor-o *65S+D de um F5F de forma Z [A podemos inferir Z *Z [+. Exemplo: P <A *P <+ :
&B & )& B* )A3S* P H 1A! >P !A I !4$ PC

P:

Exemplo 1. !. %# $. P< *P <+ : & )& B* P: P P 1 A3S !A$ SH

1. P < !. aP . a< $. aP< -. P *P <+

1ontradi-o *C'(+D de .uais.uer F5Fs de formas Z e VZ podemos inferir .ual.uer F5F. Exemplo: P <A VP
&5 4& B )C,'*

1. P !. VP . a V< $. a P VP -. <

<

Exemplo 1. !. . .# -. &. ,. 8. P< VP aP AB P< a< << < P P H 25% C,' 4$ PC H &A& PC 1A-A, "

P P H !A I $4- :66

Silogismo dis+!ntivo *SD+D de .uais.uer F5Fs de formas Z [ e VZ podemos inferir [. Exemplo: Prove S *P <+A VPA S
& B5 4& B )S+* P P H H 1A I $4- :66 !4& PC H 8A8 PC !A,AF "

<

Exemplo

1. VP !. P < . aP $. a -. a &. a< ,. P < 8. a< F. < < 1?. <

5ilema 1onstr!tivo *DC+D de .uais.uer F5Fs de formas Z [A Z ` e [ dA podemos inferir ` d. Exemplo: VP <A : SA VP :A V<
4& B5 9 S5 4& 9 1. VP < !. : S . VP : $. V< -. a VP &. a< ,. a <S 8. VP *< S+ F. a: 1?. aS 11. a<S 1!. : *< S+ 1 .<S BS )+C* P P P P H 1A- >P & I -4, PC H !AF >P 1? I F411 PC A8A1! " Exemplo

aV< a P VP

1. !. . $. /#

S *P <+ VP S P< B

P P P 1A >P 25. S+

1. !. . $. /# &.

VP < :S VP : V< BS S

P P P P 1525% +C $A- SD

3epeti-o *:"+D de .ual.uer F5F Z podemos inferir Z. Exemplo: P

& & )9E* P 1A1 I !

<P
Exemplo 1. P !. a< %# A& $. < P P H 1 9E !4 PC

1. P !. P P . P

/ntrod!-o de Teorema *I2+D .ual.uer teorema pode ser introdu0ido em .ual.uer linBa de uma prova. Exemplo: P <A VP <
& 4& 1. a V*P VP+ !. a aP . a a P VP $. a a *P VP+ V*P VP+ -. a VP &. a P VP ,. a *P VP+ *VP VP+ 8. P VP )I6* H H ! I 1A I !4 :66 - I 1A& I 14, :66

/ntrod!-o de "$!ival6nciaD se as F5Fs Z e [ so inter4derivveisA e Z ; uma su34F5F de al#uma F5F dA podemos inferir de d o resultado da su3stituio de Z por [ em d. Exemplo: Prove *P <+ *P :+ VP *< :+ 1. *P <+ *P :+ !. P *< :+ . VVP *< :+ $. VP *< :+

<:

Exemplo

1. !. %# $. -.

P< VP < & 4& < <:

P P I6 1A!A " $ I

P 1 DIS ! D( I>

$?

C#. Exerc$cios: 1. Prove as se#uintes formas de ar#umento utili0ando as re#ras 3sicas ou derivadasD a+ P <A < : P: 3+ P < VP V< c+ VP < V*P V<+ d+ P <A P V< VP e+ *P <+ *P :+ P *< :+ f+ P < *P :+ *< :+ #+ P < *P :+ *< :+ B+ VP P P i+ VP P< )+ P < P< !. Utili0ando as re#ras 3sicas ou derivadasA prove os se#uintes teoremasD a+ PP 3+ P *< *P <++ c+ V*P VP+ d+ *P <+ *VP V<+ e+ *P <+ *< P+

$1

/ Lgica de &redicados
6 l%#ica proposicional trata das rela7es l%#icas #eradas pelos operadores l%#icos *VA A A A +. 6 l%#ica de predicados trata das rela7es l%#icas #eradas pelas express7es QtodoU e Qal#umU. "xemploD 6l#uns .uadrRpedes so #nus. 2odos os #nus so Ber3Cvoros. PortantoA al#uns .uadrRpedes so Ber3Cvoros. (enBum dos enunciados deste ar#umento comp7em4se de operadores l%#icos. Do ponto de vista da lgica proposicionalA esses enunciados no possuem estrutura interna. Se tentarmos formali0ar esse ar#umento na l%#ica proposicional. ' melBor .ue podemos o3ter ; PA < :

por;mA essa forma ; invlidaA pois P e < verdadeiros e : falso ; um contra4exemplo. Se o3servarmos mais atentamenteA os enunciados acima t/m estruturas internasA as .uais constituem uma forma vlida. "ssas estruturas esta3elecem rela7es entre termos internos do enunciado. 6ssimA podemos considerar .ue o ar#umento acima possui a se#uinte formaD 6l#um < ; E. 2odo E ; H. PortantoA al#um < ; H. 6s letras <A E e H representam as classes de termos Q.uadrRpedeUA Q#nuU e QBer3CvoroU. Um classe de termos representa um con)unto de o3)etos.

%.1

2uanti icadores e 3ari'$eis

's .uantificadores aparecem a#ora para suprir a necessidade de .uantificar proposi7es.

$!

/#1#1

Buanti"icador -ni1ersal

9epresentaoD L28seD Qpara todoUA Qpara cadaUA Q.ual.uer .ue se)aU Considere o enunciado da formaD 6odo S : &# Usando a letra x para representar o3)etos individuaisA podemos expressar o enunciado comoD Q<ual.uer .ue se)a xA se x ; SA ento x ; PU Formali0aoD x*Sx Px+

' enunciado da formaD 'enDum S : &# pode ser expresso comoD Q<ual.uer .ue se)a xA se x ; SA ento x no ; PU Formali0aoD x*Sx VPx+

Exemplos: 2odas as )anelas so transparentes. Formali0aoD x*Jx 2x+ (enBuma casa ; transparente. Formali0aoD x*Cx V2x+

/#1#2

Buanti"icador Existencial

9epresentaoD L28seD Qexiste umUA Qpara pelo menos umUA Qpara al#umU ' enunciado da forma Algum S : &# pode ser expresso comoD QPara pelo menos um xA x ; S e x ; PU Formali0aoD x*Sx Px+

' enunciado da formaD Algum S no : &# pode ser expresso comoD QPara pelo menos um xA x ; S e x no ; PU Formali0aoD x*Sx VPx+

Exemplos: 6l#umas )anelas so transparentes. Formali0aoD x*Jx 2x+ 6l#umas )anelas no so transparentes. Formali0aoD x*Jx V2x+

$$

+#1 Exerc$cios: 1. Interpretando a letra QCU como a sentena Q"st cBovendoU e pelas letras Q:UA Q=UA QSU e QIU os predicados Q^ uma rUA Q^ verdeUA Q^ saltitanteUA Q^ iridescenteUA formali0e as se#uintes sentenasD a+ 2odas as rs so verdes. 3+ (enBuma r ; verde. c+ 6l#umas rs so verdes. d+ 6l#umas rs no so verdes. e+ 2oda coisa ; uma r. f+ 6l#uma coisa ; uma r. #+ (em toda coisa ; uma r. B+ (ada ; uma r. i+ "xistem rs verdes. )+ <ual.uer coisa ou ; r ou ; iridescente. \+ <ual.uer coisa ; uma r verde. l+ "st cBovendo e al#umas rs esto saltitando. m+Se est cBovendoA ento todas as rs esto saltitando. n+ 6l#umas coisas so verdes e al#umas no so. o+ 6l#umas coisas so verdes e iridescentes simultaneamente. p+ 'u .ual.uer coisa ; uma r ou nada ; uma r. .+ <ual.uer coisa ou ; uma r ou no ; uma r. r+ 2odas as rs so rs. s+ Somente rs so verdes. t+ (o existem rs iridescentes. u+ 2odas as rs verdes esto saltitando. v+ 6l#umas rs verdes no esto saltitando. L+ (o ; verdade .ue al#umas rs verdes esto saltitando. x+ Se nada ; verdeA ento no existem rs verdes. e+ :s verdes saltam se e somente se no est cBovendo.

%.2

4redicados e Nomes 4rprios

(em todos enunciados cont/m .uantificadores. 's enunciados do tipo su)eito4 predicado atri3uem uma propriedade a uma pessoa ou coisa. 6s letras minRsculas *do inCcio ao meio do alfa3eto+ podem ser interpretadas como nomes pr%prios para indivCduosA en.uanto as letras finais minRsculas do alfa3eto representam variveis *sempre associadas a .uantificadores+ e letras maiRsculas do alfa3eto representam os Predicados. 6ssim a sentena Joo ; um ladro pode ser formali0ada comoD 7+ $-

"xemplosD 5o3 ama Ctia ormali!aoD %bc Ctia ama 5o3 ormali!aoD %cb Ctia deu Lulu para 5o3 ormali!aoD 5clb Um predicado .ue exi#e somente um nome ; cBamado de predicado !nrio ou de gra! !m. Um predicado .ue exi#e dois nomes ; cBamado de predicado binrio ou de gra! doisO um predicado .ue exi#e tr/s nomes ; um predicado ternrio ou de gra! tr6s e assim por diante. Uma proposioA na l%#ica de predicados ; cBamada de predicado 8ero#rio ou de gra! 8ero.

+#2 Exerc$cios: 1. Formali0e as sentenas a se#uir interpretando as letras Q3U e QcU como os nomes pr%prios 5o3 e CatiaO Q>UA Q"U e Q6U utili0ando predicados e nomes como os predicados unrios Q^ mecanicoUA Q^ enfermeiraU e Q^ anelUO QLU e Q2U como os predicados 3inrios Q6maU e Q^ mais alto do .ueUO QDU como o predicado ternrio Q.... d .... para....UD a+ Ctia ; mec1nica. 3+ 5o3 ; mec1nico. c+ Ctia e 5o3 so mec1nicos. d+ 'u Ctia ou 5o3 so mec1nicos. e+ Ctia ; mec1nica ou enfermeira. f+ Se Ctia ; mec1nicaA ento ela no ; enfermeira. #+ Ctia ; mais alta .ue 5o3. B+ 5o3 ama Ctia. i+ 5o3 ama a si pr%prio. )+ 5o3 ama a .ual.uer pessoa. \+ <ual.uer pessoa ama 5o3. l+ <ual.uer pessoa ama a si mesma. m+6l#uma pessoa ama a si mesma. n+ "xiste al#u;m .ue Ctia no ama. o+ "xiste al#u;m .ue tanto 5o3 .uanto Ctia amam. p+ "xiste al#u;m .ue 5o3 ama e al#u;m .ue Ctia ama. .+ Ctia deu al#uma coisa para 5o3. r+ 5o3 deu um anel para Ctia. s+ 2odo mundo ama todo mundo. $&

t+ 6l#u;m ama al#u;m. u+ "xiste al#u;m .ue ama todo mundo. v+ 2odo mundo ; amado por al#u;m. L+ Se 5o3 ama a si pr%prioA ento ele ama al#uma pessoa. x+ Se 5o3 no ama a si pr%prioA ento ele ama nin#u;m. e+ Para .uais.uer tr/s o3)etosA se o primeiro ; mais alto .ue o se#undo e o se#undo ; mais alto .ue o terceiroA ento o primeiro ; mais alto .ue o terceiro.

%.3

-egras de Formao.

6ssim como para l%#ica proposicionalA temos uma lin#ua#em da l%#ica de predicados. ' vocab!lrio da lin#ua#em da l%#ica predicados ; o con)unto de sCm3olos contendo letras nominaisD XaA ...A tY variveisD XuA vA xA eA 0Y variveis predicativasD X6A 5A CA ...Y conectores l%#icosD XVA A A A Y .uantificadoresD X e Y e os par/nteses X *A + Y Uma frm!la ; .ual.uer se.K/ncia de sCm3olos do voca3ulrio. Uma F5F ou frm!la#bem#formada ; uma f%rmula definida pelas re#ras de formao a se#uirD 1. .ual.uer varivel predicativa se#uida de por 0ero ou mais letras nominais ; uma F5FO !. se Z ; uma F5FA ento VZ tam3;m ;O . se Z e [ so F5FA ento *Z [+A *Z [+A *Z [+ e * Z [+ tam3;m so. $. se Z ; uma F5F contendo uma letra nominal QaUA ento .ual.uer f%rmula das formas x ZXxfaY e x ZXxfaY tam3;m so F5SA onde ZXxfaY ; o resultado de su3stituir uma ou mais ocorr/ncias de QaU em Z pela varivel x .ue no ocorre em Z. (ada mais ; uma F5F. Exemplos: So f%rmulas 3em formadasD $,

P Pa Pa3c xEax VxFx *Fa Ea3+ (o so 3em formadasD Px *Pa3+ xFa xx *Fx Exx+

Fa Ea3 x*Fx Ea3+ x*Fx Ex3+ xe*Fx Exe+ Vxe*Fx Exe+ xVe*Fx Exe+

Xuma varivel sem .uantificadorY Xpar/nteses inexistentesY Xvarivel .uantificada .ue no ocorre na f%rmula FaY Xescopo das duas variveis x se confundemY

+#% Exerc$cios: 1. Determine .uais das f%rmulas a se#uir so F5F e .uais no so. =usti"i0ue sua respostaD a+ P < 3+ *xPx+ c+ xPx x<x d+ *xPx x<x+ e+ x*5x xFx+ f+ x*5x eFe+ #+ x Px B+ xPa e<xe i+ xe*Px *V<e :++ )+ Pxa \+ xL3c l+ C VxPxa +#. Exerc$cios: 1. Formali0e as se#uintes sentenas usando o voca3ulrio a se#uir. (omesD a M 6l 3 M 5etB f M fama d M dinBeiro $8 Predicados UnriosD F M ; famoso 6 M ; am3icioso H M ; ser Bumano Predicado ternrioD P 4 ...prefere...do .ue ... Predicado 3inrioD E 4 ...#osta de...

a+ 6l e 5etB #ostam de dinBeiro. 3+ (em 5etB nem 6l so famosos. c+ 6l #osta de fama e de dinBeiro. d+ 5etB prefere fama do .ue dinBeiro. e+ 6l prefere 5etB do .ue dinBeiro e fama. f+ 5etB prefere .ual.uer coisa do .ue 6l. #+ 6l prefere nada do .ue 5etB. B+ 6l#uns Bumanos so am3iciosos e famosos. i+ <ual.uer pessoa am3iciosa #osta de dinBeiro. )+ (em toda pessoa .ue #osta de dinBeiro ; am3iciosa. \+ Se 6l e 5etB so am3iciososA ento existe um ser Bumano am3icioso. l+ 5etB #osta de .ual.uer ser Bumano. m+6l#u;m no #osta de si mesmo. n+ 6l#u;m no #osta de al#u;m. o+ (in#u;m #osta de todo mundo. p+ (enBum ser Bumano #osta de todo mundo. .+ 6l #osta de todo ser Bumano .ue #osta dele. r+ 6l#uns famosos #ostam de si pr%prios. s+ 2odos famosos #ostam de si pr%prios. t+ (em todos Bumanos #ostam de todos .ue so famosos. !. Formali0e as se#uintes sentenasA interpretando pela letra gCh a sentena gest cBovendoh e pelas letras gUhA g5hA gFh e gPh os predicados g; ursohA g; 3rancohA g; fero0h e g; polarhA respectivamente. a+ 2odos os ursos so 3rancos. 3+ (enBum urso ; 3ranco. c+ 6l#uns ursos so 3rancos. d+ 6l#uns ursos no so 3rancos. e+ 2oda coisa ; um urso. f+ 6l#uma coisa ; um urso. #+ (em toda a coisa ; um urso. B+ (ada ; um urso. i+ "xistem ursos 3rancos. )+ <ual.uer coisa ou ; urso ou ; polar. \+ <ual.uer coisa ; um urso 3ranco. l+ "st cBovendo e al#uns ursos esto fero0es. m+Se est cBovendoA ento todos os ursos esto fero0es. n+ 6l#umas coisas so 3rancas e al#umas no so. o+ 6l#umas coisas so 3rancas e polares simultaneamente. p+ 'u .ual.uer coisa ; um urso ou nada ; um urso. .+ <ual.uer coisa ; um urso ou no ; um urso. r+ 2odos os ursos so ursos. $F

s+ Somente ursos so 3rancos. t+ (o existem ursos polares. u+ 2odos os ursos esto fero0es. v+ (o ; verdade .ue al#uns ursos 3rancos esto fero0es. L+ 6l#uns ursos 3rancos no esto fero0es. x+ Se nada ; 3rancoA ento no existem ursos 3rancos. e+ Ursos 3rancos so fero0es se e somente se no est cBovendo.

%.4

5odelos

=amos definir a sem1ntica da l%#ica de predicados. (%s teremos dois fatores de complexidadeD (o se podem atri3uir diretamente o valor verdade para as f%rmulas predicativas atbmicas *.ue no so f%rmulas da l%#ica proposicional+A pois esses valores dependem da interpretao dada para o predicado e as letras nominais ocorrendo nelas. Incluem novos dois operadoresD os .uantificadores. Um modelo fornece uma interpretao *ou valor sem1ntico+ para sCm3olos no4 l%#icos .ue ocorrem em uma ou um con)unto de F5FsD S$m7olos: letras nominais variveis predicativas 0ero4rias variveis predicativas unrias variveis predicativas n4rias *n i 1+ InterpretaEes: o3)etos individuais *exD LuaA Carlos+ valor verdade = ou F *exD Ho)e ; .uarta4feira+ classe de o3)etos *exD con)unto de planetas ou con)unto de pessoas+ relao entre n o3)etos *exD uma relao entre dois o3)etos .ue ; verdadeira .uando o primeiro elemento ; maior .ue o se#undo+

6l;m disso o modelo fornece o dom*nio ou !niverso de interpretaoA isto ;A a classe de o3)etos *no va0ia+ com relao a .ual as letras nominais e variveis predicativas so interpretadas. Por exemploA podemos considerar o domCnio dos seres vivos e interpretar a varivel predicativa QFU como a classe dos seres Bumanos.

-?

Dado um modeloA cada f%rmula atbmica Z construCda a partir de sCm3olos no4 l%#icos t/m os valores verdade definidos de acordo com as se#uintes re#rasD 1. Se Z ; uma varivel predicativa 0ero4riaA ento seu valor ; especificada diretamente pelo modelo. !. Se Z ; uma varivel predicativa unriaA ento Z ; verdadeira *=+ se o o3)eto representado pela letra nominal referenciada ; um mem3ro da classe determinada pela varivel predicativaO caso contrrio Z ; falsa *F+ . Se Z ; uma varivel predicativa n4riaA ento Z ; verdadeira *=+ se o o3)etos representados pelas letras nominais referenciadas esto na relao definida pela varivel predicativaO caso contrrio Z ; falsa *F+ Exemplo: 6valie as se#uintes f%rmulas atbmicas no modelo dado a3aixoD (niversoD todos os o3)etos do mundoA incluindo pessoas e animais. /nterpreta-9esD c D 5ill Clinton e D "mpire State P D Con)unto de todas as pessoas S D Con)unto de pessoas .ue tocam saxofone 2 D :elao entre duas coisas .ue ; verdadeira .uando a primeira coisa ; mais alta .ue a se#unda. a+ 3+ c+ d+ e+ f+ #+ Pc ] = Pe ] F Se ] F 2ce ] F 2ec ] = 2ee ] F *Pc 2ce+ *VPc 2ec+ ] *= F+ *F =+ ] F F ] F

Dado um modelo .ual.uer > e uma letra nominal A uma 4variante de > pode serD *a+ um modelo .ue inclui uma interpretao para O *3+ um modelo .ue d uma nova interpretao para O ou aindaA *c+ um modelo .ue mantenBa a mesma interpretao dada a .

-1

6#ora vamos considerar os valores verdade para F5Fs .uantificadasD $. Uma F5F .uantificada universalmente xZ ; verdadeira *=+ em um modelo > se a F5F ZXfxY ; verdadeira *=+ em 2'D'S os modelos 4variante de >A ondeD ; a primeira letra nominal *na ordem alfa3;tica+ .ue no ocorre em ZO e ZXfxY ; o resultado de su3stituir todas as ocorr/ncias de QxU em Z pela letra nominal O se ZXfxY ; falsa *F+ em al#um modelo 4variante de >A ento xZ ; falsa *F+O -. Uma F5F .uantificada existencialmente xZ ; verdadeira *=+ em um modelo > se a F5F ZXfxY ; verdadeira *=+ em 6LEU> dos modelos 4variante de >A onde e ZXfxY so definidas como em $.O se ZXfxY ; falsa *F+ em todos os modelos 4variante de >A ento xZ ; falsa *F+O Exemplo:

6valie as se#uintes F5Fs no modelo dado a3aixoD (niversoD classe de todas as pessoasA do passado e do presente. /nterpreta-9esD 3 D Eeor#e 5usB c D 5ill Clinton P D Con)unto de todos os presidentes dos "U6 do s;culo @@ S D Con)unto de pessoas .ue tocam saxofone x)&x Sx* F Pois QPc ScU ; uma inst1ncia verdadeira no modeloD Pc ] =A pois 5ill Clinton foi um presidente dos "U6 do s;culo @@O Sc ] =A pois 5ill Clinton toca saxofoneO portanto temos *= =+ ] =. Por;mA temos .ue QP3 S3U ; falsoA pois P3 ] = por;m S3 ] F. Como uma f%rmula .uantificada universalmente pode ser verdadeira somente se todas as suas inst1ncias so verdadeiras. Por isso x*Px Sx+ ; falsa no modelo dado. x)4&x Sx* F ; Pois VP3 S3 ] F neste modeloA por;m VPc Sc ] = neste modelo. Como uma f%rmula .uantificada existencialmente ; verdadeira se B al#uma inst1ncia verdadeiraA x*VPx Sx+ ; verdadeira no modelo dado.

-!

6valie a se#uinte F5F no modelo dado a3aixoD (niversoD classe de todas as pessoasA do passado e do presente. /nterpreta-9esD c D 5ill Clinton P D Con)unto de todos os presidentes dos "U6 do s;culo @@ > D Con)unto de pessoas do sexo masculino. x)4&x Mx* F ; 6pesar da inst1ncia VPc >c ] FA devemos considerar todos os o3)etos do universo. 6ssim vamos considerar todos os modelos a4variantes do modelo acimaA e assim teremos a inst1ncia VPa >a .ue deve ser considerada nesses novos modelos. 6ssim se considerarmos um modelo onde QaU ; um elemento no con)unto de todos os presidentes dos "U6 do s;culo @@A essa inst1ncia tam3;m ser falsa no novo modelo. Por;m se considerarmos um modelo onde QaU ; um elemento .ue no pertence ao con)unto de todos os presidentes dos "U6 do s;culo @@A e ; um elemento do con)unto de pessoas do sexo masculinoA ento VPa >a ; verdadeira. 6ssim a nossa f%rmula .uantificada ; verdadeira no modelo dado.

+#/ Exerc$cios: 1. 6valie as F5Fs a se#uirA nos modelos indicados a3aixo de cada uma delasA )ustificando sua resposta. a+ xExa (niversoD classe de todas as pessoasA do passado e do presente. /nterpreta-9esD a D 5ill Clinton E D :elao .ue associa pessoas onde a primeira ; mais nova .ue a se#unda. 3+ Pa x*Px >x+ (niversoD classe de todas as pessoasA do passado e do presente. /nterpreta-9esD a D 5ill Clinton P D Con)unto de todos os presidentes dos "U6 do s;culo @@ > D Con)unto de pessoas do sexo masculino. c+ xPx x>x (niversoD classe de todas as pessoasA do passado e do presente. /nterpreta-9esD P D Con)unto de todos os presidentes dos "U6 do s;culo @@ > D Con)unto de pessoas do sexo masculino.

d+ x*Px Ix+ (niversoD classe de todos os inteiros positivos. /nterpreta-9esD P D Con)unto de todos os inteiros par. I D Con)unto de todos os inteiros Cmpar. e+ x*Cx 6x+ (niversoD classe de todas as criaturas vivas. /nterpreta-9esD C D Con)unto de todos os cavalos alados. 6 D Con)unto de todas as coisas a0uis. f+ x*Px e>xe+ #+ xe>xe B+ ex>xe (niversoD classe de todos os inteiros positivos. /nterpreta-9esD P D Con)unto de todos os inteiros par. > D 6 relao Qmaior .ueU.

-$

< Clculo de &redicados

' clculo de predicados usa as mesmas re#ras do clculo proposicional e mais as re#ras de eliminao e introduo para os .uantificadores. "xemplo de prova do clculo de predicadosA usando somente re#ras do clculo proposicionalD ProveD VFa xFxA xFx P 1. VFa xFx !. xFx P . a Fa $. a xFx -. aP &. Fa P Fa P P P H 1A SD !A$ >P 4- PC

(.1

-egras de 6n er.ncias para o 0uanti icador uni$ersal

"limina-o !niversal *"U+D de uma F5F .uantificada universalmente xZA podemos inferir uma F5F da forma ZXafxY. :estrio a+ ZXafxY ; o resultado da su3stituio de todas as ocorr/ncias da varivel QxU em Z por uma letra nominal QaU.

Exemplos: Prove x*Hx >x+A Hs 1. !. . $. x*Hx >x+ Hs Hs >s >s >s P P 1 "U !A >P

--

Prove VFa

VxFx P H ! "U 1A I !4$ :66

1. VFa !. a xFx . a Fa $. a Fa VFa -. VxFx

/ntrod!-o do !niversal *IU+D de uma F5F Z contendo uma letra nominal QaUA podemos inferir uma F5F da forma xZXxfaYA

a+ ZXxfaY ; o resultado da su3stituio de todas as ocorr/ncias da letra nominal QaU em Z por uma varivel QxU. 3+ QaU no pode ocorrer em nenBuma premissa ou Bip%tese vi#ente *.ue ainda no foi eliminada+ c+ QxU .ue no pode ocorrer em Z.

+eri1aEes in1lidas: 1. Pa !. xPx P 1 IU *incorretaA pois a letra nominal QaU su3stituCda por x ocorre em uma premissa+ P 1 "U H !A >P $ IU *incorretaA pois a varivel QaUA su3stituCda por QxU ocorrem em uma Bip%tese+

1. x*Px Cx+ !. Pa Ca . a Pa $. a Ca -. a xCx &. Pa xCx ExemploD Prove x*Fx Ex+ 1. x*Fx Ex+ !. Fa Ea

:estri7es

xFx xEx P 1 "U -&

. $. -. &. ,.

Fa Ea xFx xEx xFx xEx

! " ! " IU $ IU -.& I

+#< Exerc$cios: 1. Prove a validade das formas de ar#umento a se#uirD a+ x*Fx *Ex Hx++A xVEx xFx xHx 3+ x*Fx *Ex Hx++A xVEx x*Fx Hx+ c+ xFaxA xe*Fxe Eex+ xExa d+ xFx xExA VEa VxFx

6 re#ra da eliminao do universalA no pode ser aplicada diretamente na f%rmula xFx xExA pois ; um condicional e no uma f%rmula .uantificada.

,7ser1ao

(.2

-egras de 6n er.ncias para o 0uanti icador e7istencial

/ntrod!-o e,istencial *I"+D de uma F5F Z contendo uma letra nominal QaUA podemos inferir uma F5F da forma xZXxfaY. :estri7es a+ ZXxfaY ; o resultado da su3stituio de uma ou mais ocorr/ncias da letra nominal QaU em Z por uma varivel QxU. 3+ QxU .ue no pode ocorrer em Z.

Derivao invlidaD 1. Fa Ea !. xFx Ea P I" *incorretaA pois no pode ser aplicada a uma parte da formulaA somente a toda ela+

-,

"ssa re#ra esta3elece duas importantes pressuposi7esD a2 Todos os nomes prprio referem#se a indiv*d!os e,istentes. Com issoA #arantimos .ue todas as aplica7es de I" so vlidas. Por exemploD se interpretarmos QaU como um indivCduo inexistenteA por exemplo 6polo *deus #re#o+ A e Q>U como o predicado Q; mitol%#icoUA entoA por I"A o3temos a se#uinte derivao invlidaD 1. >a !. x>x P 1 I"

uma ve0 .ue a premissa ; verdadeira *6polo ; mitol%#ico+A mas a concluso ; falsaA pois seres mitol%#icos no existemA de fato. ' erro a.ui no ; devido a aplicao incorreta da re#raA mas sim por usar um nome de uma coisa inexistente. b2 ",iste pelo menos !m indiv*d!o. Como as letras nominais se referem a coisas existentesA o uso do clculo #arante a exist/ncia de pelo menos uma coisaA mas no a exist/ncia de mais .ue uma. Exemplo: Prove x*Fx Ex+ 1. x*Fx Ex+ !. Fa Ea . x*Fx Ex+ x*Fx Ex+ P 1 "U I"

+#> Exerc$cios: 1. Prove a validade das formas de ar#umento a se#uirD a+ x*Fx Ex+ xFx xEx 3+ VxFx xVFx c+ Vx*Fx VEx+ x*Fx Ex+

-8

"limina-o e,istencial *""+D de uma F5F .uantificada existencialmente xZ e uma derivao de [ a partir de uma Bip%tese da forma ZXafxYA podemos descartar a Bip%tese e inferir [. :estri7es a+ ZXafxY ; o resultado da su3stituio de todas as ocorr/ncias da varivel QxU em Z por letra nominal QaU. 3+ QaU no pode ocorrer em Z c+ QaU no pode ocorrer em [ d+ QaU no pode ocorrer nem em .ual.uer premissa e nem em uma Bip%tese vi#ente Deriva7es invlidasD 1. xeFex !. eFea . a Faa $. a xFxx -. xFxx P 1 "U H I" !A 4$ "" *incorretaA pois o QaU introdu0ido na Bip%tese ) ocorria em Fea+ P H I" !A 4$ "" *incorretaA pois o QaU introdu0ido na Bip%tese ocorre em xHax+ P P H !A I $ I" 1A 4- "" *incorretaA pois o QaU introdu0ido

1. xHxx !. a Haa . a xHax $. xFxx

1. xEx !. Fa . a Ea $. a Fa Ea -. a x*Fx Ex+ &. x*Fx Ex+ na Bip%tese ocorre na premissa Fa+

-F

1. xEx !. a Fa . a a Ea $. a a Fa Ea -. a a x*Fx Ex+ &. a x*Fx Ex+ ,. Fa x*Fx Ex+

P H H !A I $ I" 1A 4- "" *incorretaA pois o QaU introdu0ido na Bip%tese *Ea+ ocorre na Bip%tese Fa vi#ente+ !4& PC

Exemplo: Prove x*Fx Ex+A xFx 1. x*Fx Ex+ !. xFx . a Fa $. a Fa Ea -. a Ea &. a xEx ,. xEx xEx P P H 1 "U A$ >P - I" !A 4& ""

+#? Exerc$cios: 1. Prove a validade das formas de ar#umento a se#uirD a+ x*Fx Ex+ xFx xEx 3+ xFx xEx x*Fx Ex+ c+ xeLxe xeLex d+ x*Fx eLxe+A x*Fx Ex+ xe*Ex Lxe+ e+ x*Fx VEx+ Vx*Fx Ex+

(.3

&eoremas e regras de e0ui$al.ncia de 0uanti icadores

2odos os teoremas e e.uival/ncias do clculo proposicional so tam3;m teoremas e e.uival/ncias para o clculo de predicados. 6l;m disso temos ainda outros teoremasD

&?

x*Fx Fx+

ProvaD 1. a Fa !. a Fa . Fa Fa $. x*Fx Fx+ xFx Fa V*xFx xVFx+ xFx xVFx

H 1 :" 14! PC IU

" as se#uintes e.uival/nciasD VxVFx xFx

ProvaD 1. a VxVFx !. a a VxFx . a a a Fa $. a a a xFx -. a a a xFx VxFx &. a a VFa ,. a a xVFx 8. a a xVFx VxVFx F. a VVxFx 1?. a xFx 11. VxVFx xFx 1!. a xFx 1 . a a Fa 1$. a a a xVFx 1-. a a a VFa 1&. a a a Fa VFa 1,. a a VxVFx 18. a VxVFx 1F. xFx VxVFx !?. VxVFx xFx

H H H I" !A$ I 4- :66 & IU 1A, I !48 :66 F "V 141? PC H H H 1$ "U 1 A1- I 1$41& :66 1!A1 41, 1!418 PC 11A1F I

&1

VxFx xVFx xVFx VxFx xFx VxVFx

+#@ Exerc$cios: 1. Prove a validade da se#uinte e.uival/nciaD a+ x*Fx VEx+ Vx*Fx Ex+

&!

> Anexos
:e#ras para rvore de refutao
'egao *V+ 'egao negada *VV+ Con(uno *+ Con(uno negada *V+ +is(uno *+ +is(uno negada *V+ Condicional *+ Condicional negada *V+ 3icondicional *+ 3icondicional negada *V+ Se um ramo a3erto cont;m Z e VZA coloca4se @ no final do ramoA fecBando4o Se um ramo a3erto cont;m VVZ *no marcada+A marca4se VVZ e escreve4se Z no final de cada ramo a3erto .ue cont;m VVZ Se um ramo a3erto cont;m Z [ *no marcada+A marca4se Z [ e escreve4se Z e [ no final de cada ramo a3erto .ue cont;m Z [. Se um ramo a3erto cont;m V*Z [+ *no marcada+A marca4se V*Z [+A 3ifurca4 se cada ramo a3erto .ue cont;m V*Z [+ e escreve4se VZ no primeiro ramo e V[ no se#undo ramo. Se um ramo a3erto cont;m Z [ *no marcada+A marca4se Z [A 3ifurca4se cada ramo a3erto .ue cont;m Z [ e escreve4se Z no primeiro ramo e [ no se#undo ramo. Se um ramo a3erto cont;m V*Z [+ *no marcada+A marca4se V*Z [+ e escreve4se VZ e V[ no final de cada ramo a3erto .ue cont;m V*Z [+. Se um ramo a3erto cont;m Z [ *no marcada+A marca4se Z [A 3ifurca4se cada ramo a3erto .ue cont;m Z [ e escreve4se VZ no primeiro ramo e [ no se#undo ramo. Se um ramo a3erto cont;m V*Z [+ *no marcada+A marca4se V*Z [+ e escreve4se Z e V[ no final de cada ramo a3erto .ue cont;m V*Z [+. Se um ramo a3erto cont;m Z [ *no marcada+A marca4se Z [A 3ifurca4se cada ramo a3erto .ue cont;m Z [ e escreve4se Z e [ no primeiro ramo e VZ e V[ no se#undo ramo. Se um ramo a3erto cont;m V*Z [+ *no marcada+A marca4se V*Z [+A 3ifurca4se cada ramo a3erto .ue cont;m V*Z [+ e escreve4se Z e V[ no primeiro ramo e VZ e [ no se#undo ramo.

&

:e#ras 3sicas de infer/ncia

De eliminao
Eliminao negao *V"+ Da f%rmula VVZ infere4se Z 9eduo ao a7surdo *:66+

De introduo
De uma derivao de contradio a partir de Bip%tese Z elimina4se Z e infere4se VZ uma uma

Modus ponens *>P+ Eliminao con(uno *") Eliminao dis(uno *")

Das f%rmulas Z [ e Z infere4se [

De uma derivao de [ a partir de &ro1a condicional uma Bip%tese Z elimina4se Z e *PC+ infere4se Z [ Introduo con(uno *I) Introduo dis(uno *I) Das f%rmulas Z e [ infere4se Z [ Da f%rmula Z infere4se Z [A para .ual.uer f%rmula [

Da f%rmula Z [ infere4se Z e [ Das f%rmulas Z [A Z ` e[ ` infere4se `

Da f%rmula Z [ Eliminao 7icondicional *") infere4se Z [ e [ Z

Das f%rmulas Z [ e [ Z Introduo 7icondicional *I) infere4se Z [

"strat;#ias para prova

Concluso : ento "aa### F5F a .ual no se aplicam Usa VZ como Bip%tese e infere VVZ por :66 e Z por V" outras estrat;#iasD G F5F (e#adaD 4 G Con)unoD G H Dis)unoD G H ImplicaoD G H ".uival/nciaD G H Usa Z como Bip%tese e infere VZ por :66 Prova Z e [ separadamente e infere Z [ por I Prova Z ou [ e infere Z [ por IA ou Usa V*Z [+ como Bip%tese e infere Z [ por :66 Usa Z como Bip%tese e infere Z [ por PC Prova Z [ e [ Z separadamente e infere Z [ por I

Premissa dis)untivaD G H Prova os condicionais Z ` e [ ` e infere ` por I e conclusoD I Caso tudo falBe Usa Z como Bip%teseA tal .ue VZ se)a Rtil como premissa adicional e descarte Z o .uanto antes por :66

&$

:e#ras de e.uival/ncia
V*P <+ *VP V<+ V*P <+ *VP V<+ *P <+ *< P+ *P <+ *< P+ *P *< :++ **P <+ :+ *P *< :++ **P <+ :+ *P *< :++ **P <+ *P :++ *P *< :++ **P <+ *P :++ P VVP *P <+ *V< VP+ *P <+ *VP <+ **P <+ :+ *P *< :++ P *P P+ P *P P+ Lei de De >or#an *D>+ Lei de De >or#an *D>+ Comutao *C'>+ Comutao *C'>+ 6ssociao *6SS+ 6ssociao *6SS+ Distri3uio *DIS+ Distri3uio *DIS+ Dupla ne#ao *D(+ 2ransposio *2:6+ Implicao material *I>+ "xportao *"@P+ 2autolo#ia *26U+ 2autolo#ia *26U+

:e#ras derivadas
Modus tollens *>2+ Silogismo Dipot:tico *SH+ A7soro *65S+ +ilema construti1o *DC+ Introduo de e0ui1al2ncia Das f%rmulas Z [ e V[ infere4se VZ Das f%rmulas Z [ e [ d infere4se Z d Da f%rmula Z [ infere4se Z *Z [+ Das f%rmulas Z [A Z ` e [ d infere4se ` d 9epetio *:"+ Contradio *C'(+ Silogismo dis(unti1o *SD+ Introduo de teorema *I2+ Da f%rmula Z infere4se Z Das f%rmulas Z e VZ infere4se [ para .ual.uer f%rmula [ Das f%rmulas Z [ e VZ infere4se [ <ual.uer teorema pode ser introdu0ido em .ual.uer linBa de uma prova.

Se Z e [ so inter4derivveis e Z ; uma su34f%rmula de d infere4se o resultado da su3stituio Z por [ em d

&-

:e#ras 3sicas de infer/ncia para .uantificadores

De eliminao
Eliminao uni1ersal *"U+ Da f%rmula xZ infere4se ZXafxY. Introduo uni1ersal *IU+

De introduo
De uma f%rmula Z contendo QaU infere4se xZXxfaY.

9estriEes: ZXafxY ; o resultado da su3stituio de todas as ocorr/ncias da varivel QxU em Z por uma letra nominal QaU.

9estriEes: ZXxfaY ; o resultado da su3stituio de todas as ocorr/ncias da letra nominal QaU em Z por uma varivel QxU. QaU no pode ocorrer em nenBuma premissa ou Bip%tese vi#ente QxU no pode ocorrer em Z

Eliminao existencial *"")

De uma f%rmula xZ e uma derivao de [ a partir da Bip%tese ZXafxY elimina4se ZXafxY e infere4se [

Introduo existencial *I")

De uma f%rmula Z contendo QaU infere4se xZXxfaY.

9estriEes: ZXafxY ; o resultado da su3stituio de todas as ocorr/ncias da varivel QxU em Z por uma letra nominal QaU. QaU no pode ocorrer em nenBuma premissa ou Bip%tese vi#ente QaU no pode ocorrer em Z QaU no pode ocorrer em [

9estriEes: ZXxfaY ; o resultado da su3stituio de uma ou mais ocorr/ncias da letra nominal QaU em Z por uma varivel QxU. QxU no pode ocorrer em Z

:e#ras de e.uival/ncia para .uantificadores

VxVFx xFx VxFx xVFx xVFx VxFx xFx VxVFx Interc1m3io de <uantificador *I<+ Interc1m3io de <uantificador *I<+ Interc1m3io de <uantificador *I<+ Interc1m3io de <uantificador *I<+

&&