LgicaI(FIL120)

UniversidadeFederaldeOuroPreto ProfessorDesidrioMurcho

Elementosbsicosdelgicaproposicional
Opapeldalgicanafilosofia
Estudar filosofia muito diferente de estudar histria ou fsica. Estudar estas disciplinas sobretudo uma questo de compreender os resultados estabelecidos pelos historiadores e pelos fsicos, e raciocinar sobre isso. Mas em filosofia no h resultados desse gnero para que possamos limitarnos a compreendlos. Os problemas mais importantes da filosofia esto em aberto; ou seja, no humconsensoentreosespecialistasquantosuasoluo.Paraqueoestudoda filosofia seja compensador, no podemos limitarnos a compreender as idias ou perspectivasopostasdosfilsofos;temosdeaprendertambmafilosofar.Filosofar discutircriticamenteosproblemas,teoriaseargumentosdafilosofia. Porquediscutircriticamenteargumentar,importanteestudarlgica.A lgica estuda alguns aspectos da argumentao. No estuda, por exemplo, os aspectos psicolgicos, sociolgicos, histricos da argumentao. Os aspectos da argumentaoestudadospelalgicasotodososaspectosquedeterminamseum argumentobomouno. PerguntaramumavezaEpicteto(c.55135d.C.)sealgicaeranecessria.A suarespostafoiaseguinte:
Queres que te prove isso? A resposta foi Sim. Ento tenho de usar uma forma demonstrativa de discurso. O interlocutor aceitou. Como sabers ento se te estou a enganar com um sofisma? E quando o homem ficouemsilncio,Epictetodisse:Estsaver?Tuprprioadmitesquealgica necessria, pois sem ela nem podes determinar se a lgica necessria ou no. Epicteto,Discursos,Livro2,trad.deDesidrioMurcho,cap.25

Epictetoestadefenderqueaprpriaperguntaquelhefizerampressupe que necessrio estudar lgica. Pois para responder a essa pergunta preciso argumentar; mas se no soubermos lgica, no saberemos se os argumentos

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

apresentados ao responder so bons ou no. Isto porque a lgica estuda precisamenteisso:seosargumentossobonsounoeporqu.

Argumentos
Chamaseargumentaoaumencadeamentodeargumentos.Masoque umargumento?
Um argumento um conjunto de proposies em que se pretende justificaroudefenderumadelas,aconcluso,combasenaoutraounas outras,quesechamampremissas.

Umargumentotantopodetersumapremissa,comovrias.Contudo,s podeterumaconcluso. Vejamosdoisexemplosdeargumentosmuitosimples:

AAnafoiaocinemaporquesetivesseidopraiaterialevadoatoalha. Sasintenesdeterminamovalormoraldaao.Logo,asconseqncias dosnossosatossomoralmenteirrelevantes.

Tantonumcasocomonooutro,tratasedeargumentosmuitssimocurtos. Mas so argumentos porque nos dois casos se est a defender uma proposio combasenoutra.Noprimeirocaso,aconclusoaproposioqueestantesda palavra porque; e a premissa a proposio que est depois. No segundo, a concluso a proposio que est depois da palavra logo; e a premissa a proposioqueestantes.Masoqueumaproposio?
Uma proposio o pensamento verdadeiro ou falso expresso por uma frasedeclarativa.

Porexemplo,tantoafraseKanteraumfilsofocomoafraseKantwasa philosopher exprimem a mesma proposio, ou seja, a mesma idia ou pensamento.Porsuavez,aproposioexpressaporessasfrasestemumvalorde verdade,mesmoquenosaibamosqual.
O valor de verdade de uma proposio a verdade ou falsidade dessa proposio.

Num argumento, o objetivo justificar a concluso recorrendo s premissas.Masnemsempreaspremissasjustificamaconcluso.Sajustificamse o argumento for bom. Quando o argumento no bom, as premissas no

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

justificam a concluso. Por isso, um erro definir argumento como um conjunto de proposies em que as premissas justificam a concluso. Da que tenhamos definidoargumentocomoumconjuntodeproposiesemquesepretendequeas premissasjustifiquemaconcluso.

Afirmarnoargumentar
Um argumento procura justificar uma concluso; uma proposio afirma apenasalgo.Asduascoisassoporissomuitodiferentes. Quandonoslimitamosafazerafirmaes,noestamosaoferecerpessoa com quem falamos quaisquer razes para aceitar o que dizemos; no estamos a comear um dilogo. Estamos apenas a apresentar a nossa perspectiva das coisas outalvezatentarimpla. Quandoargumentamos,pelocontrrio,apresentamospessoaaquemnos dirigimosasrazespelasquaisnsprpriosaceitamosoquedizemos;estamospor issoaconvidarapessoaadialogarconosco.Esfazsentidoapresentarargumentos para defender as nossas idias se estivermos dispostos a abandonlas quando a outrapessoamostraqueessesargumentosnosobons.

Raciocnios
Osraciocniossocomoosargumentosnestesentido:emambososcasos usamospremissasparajustificarumaconcluso.Mashpelomenosumadiferena importante: num argumento queremos persuadir ou convencer algum, ao passo que num raciocnio estamos apenas a explorar as conseqncias de uma ou mais idias.Assim,todososargumentossoraciocnios,masnemtodososraciocnios soargumentos. Aosraciocnioschamasetambminferncias. Decertomodo,osargumentoseosraciocniossocomoagramtica:esto sempre presentes no nosso diaadia, sempre que pensamos e conversamos. Contudo,nonosdamosconta,geralmente,dasuaexistncia.Saoestudarlgica somoslevadosapensaremalgoqueestamossempreafazersemreparar. Reviso
1. 2. 3. 4. 5. Oqueumargumento?Definaedexemplos. Oqueumapremissa?Definaedexemplos. Oqueumaconcluso?Definaedexemplos. Oquedistingueumargumentodeumraciocnioouinferncia? Oqueumaproposio?Definaedexemplos.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional 6. Oqueovalordeverdadedeumaproposio? 7. Expliqueadiferenaentreumargumentoeumaproposio. 8. Discutaaseguintedefiniodeargumento:Umargumentoumconjuntode proposiesemqueaconclusojustificadapelaspremissas.

Argumentoscogentes
Para um argumento ser cogente tem de obedecer conjuntamente a trs condies:
1. 2. 3. Servlido; Terpremissasverdadeiras; Terpremissasmaisplausveisqueaconcluso.

Na lgica formal estudase apenas a condio 1: a validade. A segunda e terceiracondiessoestudadasnalgicainformal. Mas o que a validade? H dois tipos de validade: a dedutiva e a no dedutiva.

Validadededutiva
Um argumento dedutivamente vlido quando impossvel ter premissasverdadeiraseconclusofalsa.

Porexemplo:
SeaAnaestivessenapraia,terialevadoatoalha. Maselanolevouatoalha. Logo,noestnapraia.

obviamente impossvel que as duas premissas deste argumento sejam verdadeiras e a sua concluso falsa. Claro que a concluso pode ser falsa: a Ana pode estar na praia. Mas se ela estiver na praia, porque pelo menos uma das premissasfalsa.Quandoumargumentovlidotemumaconclusofalsaporque partiudepelomenosumapremissafalsa.

Validadenodedutiva
Um argumento no dedutivamentevlido quando improvvel, mas possvel,terpremissasverdadeiraseconclusofalsa.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

Porexemplo:
Todososcorvosobservadosathojesonegros. Logo,todososcorvossonegros.

improvvel que a premissa seja verdadeira e a concluso falsa; contudo, noimpossvel,apenaspoucoprovvel. Estaumadasdiferenascruciaisentreosargumentosnodedutivoseos dedutivos.Nosargumentosdedutivosvlidosimpossvelqueaspremissassejam verdadeiras e a concluso falsa; nos argumentos no dedutivos vlidos apenas improvvel,masnoimpossvel,queaspremissassejamverdadeiraseaconcluso falsa. Algicaformalocupaseapenasdeargumentosdedutivos.Osargumentos nodedutivossoestudadospelalgicainformal.

Validadeeverdade
Avalidadeumacertarelaoentreosvaloresdeverdadedaspremissase da concluso de um argumento. Quando um argumento vlido, a verdade das premissasexcluiafalsidadedaconcluso. Um argumento pode ser vlido, mas ter premissas e concluso falsas. A nica coisa que um argumento vlido no pode ter premissas verdadeiras e conclusofalsa. Vejamosumexemplo:
AneveazuleAristteleseralisboeta. Logo,aneveazul.

Tanto a premissa como a concluso do argumento so falsas. Mas o argumentovlidoporqueseapremissafosseverdadeiraaconclusonopoderia ser falsa. Se imaginarmos uma circunstncia em que a premissa verdadeira, a concluso no poder ser falsa nessa circunstncia. Isto contrasta com os argumentosinvlidos.Seoargumentofosseinvlido,aconclusopoderiaserfalsa mesmoqueapremissafosseverdadeira. Contudo, um argumento invlido pode ter premissas e concluso verdadeiras.Oproblemadosargumentosinvlidosprecisamenteesse:averdade daspremissasnotornaimpossvel afalsidade daconcluso. porissoquenum argumento invlido as premissas no justificam a concluso. E isto acontece mesmoqueaspremissaseaconclusosejamverdadeiras:

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

Aristteleseragrego. Logo,arelvaverde.

Tanto a premissa como a concluso so verdadeiras. Mas a verdade da premissa no torna impossvel a falsidade da concluso. Podemos perfeitamente imaginarumacircunstnciaemqueAristteleseraefetivamentegrego,masarelva no era verde mas sim azul. Isto precisamente o que no acontece nos argumentos vlidos: nestes, a verdade das premissas torna impossvel a falsidade daconcluso. Assim,oquecontaparaavalidadedosargumentosnoofactodeterem premissaseconclusoverdadeiras.Oquecontaaverdadedaspremissastornar impossvel a falsidade da concluso. S quando isto acontece que as premissas justificamaconcluso.Equandoistoacontecedizsequehumnexolgicoentre aspremissaseaconcluso.

Doiserroscomuns
Nofazsentidodizerqueumargumentoverdadeirooufalsoporqueum argumento no uma proposio, mas sim um conjunto de proposies. Do mesmomodo,nofazsentidodizerqueumconjuntodepessoastemolhosazuis, mesmo que todas as pessoas do conjunto tenham olhos azuis. Os conjuntos no tmolhos.Assim,osargumentosnuncapodemserverdadeirosnemfalsos;soas proposies que os constituem que podem ser verdadeiras ou falsas. Os argumentos so vlidos ou invlidos. E tambm podem ser muitas outras coisas, comointeressantesouirrelevantes,bonsoumaus.Masnopodemserverdadeiros nemfalsos. Tambm no faz sentido dizer que uma proposio vlida porque a validade uma relao entre vrios valores de verdade e uma proposio s tem um valor de verdade. Claro que na linguagem comum dizemos muitas vezes que umaproposio,ouafirmao,vlida.Masesteumusodiferentedamesma palavra, com um significado diferente. O que queremos dizer que a proposio emcausainteressante,ouquetemvalor,ouqueverdadeira.Nopodemosestar a dizer que a proposio vlida no mesmo sentido em que os argumentos so vlidos.Talcomoemfsicaapalavramassanoquerdizeresparguete,tambm emlgicaapalavravalidadenoquerdizervalornemverdade.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional Osargumentos,masnoasproposies,podemservlidosouinvlidos. Asproposies,masnoosargumentos,podemserverdadeirasoufalsas.

Reviso
1. Definaavalidadededutivaedalgunsexemplos. 2. Assinaleovalordeverdadedasseguintesafirmaes:

a) Numargumentodedutivoaconclusonopodeserfalsa. b) Numargumentodedutivovlidoaconclusonopodeserfalsa. c) Num argumento dedutivo vlido com premissas verdadeiras a concluso nopodeserfalsa. d) Avalidadededutivanotemqualquerrelaocomaverdade. e) Numargumentovlidoaspremissasnopodemserfalsas. f) Todososargumentoscomconclusoverdadeirasovlidos.

3. Por que razo no basta que um argumento tenha premissas e concluso verdadeirasparaservlido? 4. Poderumargumentoserverdadeiro?Justifique. 5. Poderumaproposioservlida?Justifique. 6. Determineseosargumentosseguintesso1)vlidos,2)slidose3)cogentes,e expliqueporqu. a) Sehouvessevidaalmdamorte,avidafariasentido.Dadoqueavidafaz sentido,temdehavervidaalmdamorte. b) SePlatoateniense,grego.Dadoquenogrego,noateniense. c) Seocriminosofoiporestecaminho,tevededeixarpegadas.Dadoqueno hpegadas,elenofoiporaqui. d) Avidafazsentido.Masseavidafazsentido,Deusexiste.Portanto,Deus existe.

Lgicaformal
A lgica formal tem uma longa histria, tendo sido desenvolvida pela primeira vez no sculo IV a.C. por Aristteles (384322 a.C.) e pelos esticos (sculoIIIa.C.). Nalgicaformalestudaseapenasumtipodevalidadededutiva.Estudase apenas aquele tipo de validade dedutiva que podemos determinar recorrendo unicamenteformalgica.porissoquesechamaformallgicaformal.Mas oqueaformalgica?

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

Formalgica
Infelizmente, no h uma definio explcita de forma lgica que seja simultaneamenterigorosaeinformativa.Masfcilcompreenderoqueaforma lgicaatravsdeexemplos.Vejamososseguintesargumentos:
PlatooautordaRepblicaeAristtelesdaMetafsica. Logo,PlatooautordaRepblica. Halo3umjogomuitobomeaInternetmuitotil. Logo,Halo3umjogomuitobom.

Numcertosentido,estesdoisargumentossomuitodiferentes:umsobre filsofos gregos, e o outro sobre um jogo e a Internet. Os argumentos so diferentes no sentido em que tm contedos diferentes; versam sobre assuntos diferentes. Noutro sentido, contudo, podemos ver que os dois argumentos so semelhantes. Nos dois casos, a premissa afirma duas coisas e a concluso repete uma delas. Isso tornase visvel se usarmos espaos vazios para a primeira e segundadessascoisas:
__e.... Logo,__.

aestetipodeestruturaquesechamaformalgica.

Validadeformal
A forma lgica anterior vlida no sentido em que todos os argumentos que tenham aquela forma so vlidos. No difcil ver que qualquer argumento comaquelaformalgicaservlido,mesmoqueapremissasejafalsa.Vejamosum exemplo:
AneveazulePortugalmaiordoqueaEspanha. Logo,aneveazul.

Contudo,nemtodasasformaslgicassovlidas.Naverdade,bastamudar dapalavraeparaapalavraoueobtemosumaformalgicainvlida:
__ou.... Logo,__.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

Esta forma lgica invlida porque alguns dos argumentos que tm esta forma(masnotodos)soinvlidos.Vejamosumexemplo:
Arelvaazulouverde. Logo,arelvaazul.

Esteargumentoobviamenteinvlidoporqueapremissaverdadeira,mas aconclusofalsa.porissoqueaformalgicaanteriorinvlida. Pode parecer estranho que a premissa seja verdadeira. Mas verdadeira porque quando dizemos uma coisa ou outra a nossa afirmao verdadeira desdequeumadascoisassejaverdadeira.Dadoquearelvaverde,verdadeque azulouverde. Quando uma forma lgica invlida isso no significa que todos os argumentos com essa forma so invlidos. Eis um argumento vlido que tem a formalgicainvlidaanterior:
Arelvatemcorouverde. Logo,arelvatemcor.

Este argumento vlido, mas a sua validade informal. uma validade conceptual,masnoformal.Algicaformalnoestudaestetipodevalidade,ainda quesejadedutiva. Algicaformalnoestudaigualmenteosargumentosnodedutivos,poisa validadedestesargumentosnuncaformal.

Validade

Dedutiva

Nodedutiva

Formal
Reviso

Informal

1. Expliqueanoodelgicaformal. 2. Assinaleovalordeverdadedasseguintesafirmaes:

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

10

a) Osargumentosquetmumaformavlidasovlidos. b) Osargumentosquetmumaformainvlidasoinvlidos.

Formasproposicionais
Retomemosoargumentoanteriormenteapresentado:
Halo3umjogomuitobomeaInternetmuitotil. Logo,Halo3umjogomuitobom.

Comovimos,avalidadedesteargumentopodeserdeterminadarecorrendo apenassuaformalgica.Podemosexibiraformalgicadoargumentousandoas letrasPeQ:

PeQ. Logo,P.

VamosusarletrasmaisculasP,Q,R,etc.,pararepresentarlugaresvazios que s podem ser ocupados por proposies. Se P for a proposio expressa por OuroPretoumacidadeeseQforaproposioexpressaporOBrasilmuito bonito,obtemosoargumentoanterior.
Chamase varivel proposicional ao smbolo (P, Q, R, etc.) que representalugaresvaziosquespodemserocupadosporproposies.

Em lgica, ou em qualquer outra disciplina, muito importante saber exatamente o que significam os smbolos que usamos. P e Q representam proposies; representam apenas proposies e nada mais. No podem representar,porexemplo,nomesprprios,comoAsdrbal,poisnenhumnome, isoladamente,formaumaproposio.

Operadoresproposicionais
Como vimos, basta mudar da palavra e para a palavra ou e obtemos umaformalgicainvlida:
PouQ. Logo,P.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

11

Estaformalgicainvlidaporquehimensosargumentoscomestaforma cujaspremissassoverdadeirasecujasconclusessofalsas:
PlatoeraromanoouPlatoeragrego. Logo,Platoeraromano.

Esteargumentoinvlido:asuapremissaverdadeiraeasuaconcluso falsa.Podemosassimconcluirqueaspalavrasoueedesempenhamumpapel central na forma lgica, pois basta substituir uma pela outra e passamos de uma formavlidaparaumaformainvlida. Tantooecomooousooperadoresproposicionais.
Umoperadorproposicionalumaexpressoquesepodeacrescentara umaproposioouproposies,formandoassimnovasproposies.

Por exemplo, se acrescentarmos corretamente o operador ou a Plato eraromanoePlatoeragregoficamoscomPlatoeraromanoouPlatoera grego(queemgeralseabreviaassim:Platoeraromanoougrego). H muitos operadores proposicionais, alm de e e ou: Penso que, Tenho medo que, no, se, ento, etc. Alguns operadores aplicamse a uma nica proposio; outros aplicamse a mais de uma. Para aplicar o operador e precisamos de duas proposies. Mas para aplicar o operador Penso que bastauma. Como o nome indica, os operadores proposicionais s se aplicam a proposies;noseaplicamapartesdeproposies,comoalto.Porexemplo, magroealtonoexprimeumaproposio.Claroquenodiaadiapodemos dizer magro e alto, mas isso s acontece porque estamos a abreviar algo comoOcantormagroealto. Exerccios
1. Oqueumavarivelproposicional?Definaedexemplos. 2. Oqueumoperadorproposicional?Definaedexemplos. 3. Assinale os operadores presentes nas proposies expressas a seguir e reescrevaassemosoperadores. a) Aristtelespensavaqueavirtudeeraocentrodatica. b) OuDeusexisteouaBbliaestenganada. c) TantoPlatocomoAristteleseramfilsofosgregos. d) Nohlobisomens.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

12

Operadoresverofuncionais
Alguns operadores, como ou e e, tm umacaracterstica especial: so verofuncionais.
Um operador proposicional verofuncional quando o valor de verdade da proposio com o operador inteiramente determinado pelo valor de verdadedaproposioouproposiessemooperador.

Chamase tambm conectiva proposicional aos operadores verofuncionais. Istosignificaquesepartirmosdeduasproposies,PeQ,eseasligarmos comou,porexemplo,saberemosqualovalordeverdadedePouQ,desde quesaibamosovalordeverdadedePedeQ. Porexemplo,sesabemosqueoJoonoestnapraiamassimnocinema, entosabemosqueOJooestnapraiaounocinemaverdadeira;esabemos que O Joo est na praia e no cinema falsa. Mas mesmo que saibamos que o Joo est no cinema, no podemos saber se A Maria pensa que o Joo est no cinemaverdadeiraoufalsa. Assim, e e ou so operadores verofuncionais porque os valores de verdade de O Joo est no cinema e O Joo est na praia determinam inteiramenteovalordeverdadedeOJooestnapraiaounocinemaedeO Joo est na praia e no cinema. Mas A Maria pensa que no um operador verofuncional porque o valor de verdade de O Joo est no cinema no suficienteparadeterminarovalordeverdadedeAMariapensaqueoJooestno cinema.

Tabelasdeverdade
Quando um operador verofuncional acontece algo muito interessante. Mesmo que no saibamos se o Joo est no cinema, na praia ou noutro stio qualquer, sabemos isto: O Joo est no cinema ou na praia exprime uma proposio que s ser falsa no caso de o Joo no estar nem no cinema nem na praia.EistoacontececomqualquerproposiodaformaPouQ:sserfalsase P e Q forem ambas falsas; caso contrrio, ser verdadeira. Podemos representar istograficamentenumatabeladeverdade:

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional PQ VV VF FV FF PouQ V V V F

13

Uma tabela de verdade um dispositivo grfico que permite exibir as condiesdeverdadedeumaformaproposicionaldada.

Cadafiladatabeladeverdadeacimarepresentagraficamenteascondies deverdadedooperadorou.
As condies de verdade so as circunstncias que tornam uma proposioverdadeiraoufalsa.

No caso de P ou Q, h quatro condies de verdade, que resultam da combinao dos dois valores de verdade possveis de P e Q: podem ser ambas verdadeiras ouambasfalsas,ou podeumaserverdadeiraeaoutrafalsa,ouvice versa.Estascondiesdeverdadeestotodasgraficamenterepresentadasnasfilas databela. Numa tabela de verdade temos de representar todas as condies de verdade.evidentequetantofazquePsejaverdadeiraeQfalsacomoocontrrio: P falsa e Q verdadeira. Em ambos os casos o resultado V. Mas temos mesmo assimderepresentaressasduascondiesdeverdade.

Disjuno
ChamasedisjunoaumaproposiodaformaPouQedisjuntasaP eaQ.

Disjuno PouQ Expressocannica PlatorefletiusobreaticaouAristtelesrefletiusobreatica. Outrasexpresses PlatoouAristtelesrefletiramsobreatica. OufoiPlatoquerefletiusobreaticaoufoiAristteles. Noquerespeitarefletirsobreatica,aalternativaentre PlatoeAristteles.

A tabela de verdade da disjuno uma forma simples de representar graficamente o significado verofuncional da disjuno. Mesmo que o valor de verdade de Deus existe e de A vida faz sentido seja desconhecido, sabemos que Deus existe ou a vida faz sentido s ser falsa se as duas proposies anterioresforemfalsas.Eistoqueatabeladeverdadedadisjunorepresenta.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

14

Exerccios
1. 2. 3. 4. Oqueumoperadorproposicionalverofuncional?Definaedexemplos. Oquesoascondiesdeverdadedeumoperadorproposicional? Oqueumatabeladeverdadeeparaqueserve? Porquerazoatabeladeverdadedadisjunotemexatamentequatrofilas,e nooutronmeroqualquer? 5. ConsidereseadisjunoAvidatemsentidoouafelicidadenopossvel. a) Admitindo que a vida tem sentido, a disjuno verdadeira ou falsa? Porqu? b) Admitindoqueavidanotemsentidoequenosabemosseafelicidade possvel,possvelsaberseadisjunoverdadeiraoufalsa?Porqu?

Duasdisjunes
Chamase disjuno inclusiva ao tipo de disjuno que vimos at agora. Estenoonicotipodedisjuno.Porvezes,usamosapalavraoucomoutro significadoverofuncional:dizemoscoisascomoOuAristtelesnasceuemAtenas ou em Estagira. Neste caso, no aceitamos que as disjuntas possam ser as duas verdadeiras:seAristtelesnasceuemAtenas,nopodeternascidoemEstagira,e viceversa. Chamase disjuno exclusiva a este tipo de disjuno, que s verdadeiracasoumaeumasdasproposiesdisjuntassejaverdadeira.Atabela deverdadedadisjunoexclusivaaseguinte:
PQ VV VF FV FF PouQ F V V F

Como se pode ver, esta tabela muito diferente da anterior; agora, P ou Qsverdadeiranasegundaeterceiralinhas. Assim, a palavra ou ambgua entre dois significados verofuncionais muito diferentes. Muitas vezes repetimos o termo ou para assinalar a exclusividade da disjuno, como em Ou Aristteles nasceu em Atenas ou em Estagira. Mas outras vezes repetimos o ou s por uma questo de nfase, querendo de fato exprimir a disjuno inclusiva. Por exemplo, se algum disser OuDeusexisteouavidanofazsentido,adisjunoemcausainclusiva:oque sepretendedizerqueseDeusnoexiste,avidanofazsentido.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

15

Como podemos saber se estamos a usar uma disjuno exclusiva ou inclusiva? No h regras fiveis. Geralmente, a deciso no lgica: depende do nosso conhecimento geral das coisas, e no da lgica apenas. Por exemplo, porquesabemosqueumapessoanopodenasceremduascidadesdiferentes,que sabemosquenoexemploanterioradisjunoexclusiva.Masquandoestamosa discutir problemas filosficos muito difcil determinar se a disjuno ou no exclusiva. Exerccios
1. Assinale quais das seguintes disjunes so inclusivas e quais so exclusivas, explicandoporqu: a) OuaartenopodeserdefinidaouWeitznotemrazo. b) OAsdrbalfoipelasescadasoupeloelevador. c) Ouniversoindeterminadoounotemoslivrearbtrio. d) OMrioestemLuandaouemLisboa.

Cincoformasproposicionais
A lgica proposicional clssica estuda a argumentao cuja validade depende exclusivamente de cinco operadores verofuncionais, que do origem a cincoformasproposicionais:
1. 2. 3. 4. 5. Disjunoinclusiva:PouQ. Conjuno:PeQ. Negao:noP. Condicional:seP,entoQ. Bicondicional:Pse,esse,Q.

Com estes cinco operadores verofuncionais podemos exprimir qualquer outro operador verofuncional. Por exemplo, a disjuno exclusiva pode ser expressa negando uma bicondicional, pois as duas proposies seguintes so equivalentes:
OuAristteleseragregooueraromano. NoverdadequeAristteleseragregose,esse,eraromano.

Por esta razo, sempre que falarmos de disjuno daqui para a frente estaremosareferirnosdisjunoinclusiva. Tambm o operador nem... nem... pode ser expresso usando os outros operadoresdalistaacima,poisasseguintesduasproposiessoequivalentes:

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional NemPlatonemAristteleseramromanos. PlatonoeraromanoeAristtelesnoeraromano.

16

Assim, podemos usar os cinco operadores da lista anterior para dar conta detodososargumentoscujavalidadeouinvalidadedependedousodeoperadores proposicionais verofuncionais. E isto precisamente o que estuda a lgica proposicionalclssica. Os argumentos baseados nestes operadores ocorrem constantemente no nosso pensamento. Assim, estes operadores so como tijolos do pensamento: elementossemosquaisquasenopossvelpensarouargumentar.

Constanteslgicas
Se quisermos, podemos economizar e usar smbolos para os operadores. Assim,emvezdeescreverSeP,entoQ,podemosescreverapenasPQ.Eisos smbolosquegeralmenteseusamequepassaremosausarapartirdeagora:
NoP: P PeQ: PQ PouQ(inclusiva): PQ SeP,entoQ: PQ Pse,esse,Q: PQ

A estes smbolos chamase constantes lgicas. Contrastam com os smbolosP,Q,etc.,quesovariveisproposicionais. Osnomessoadequados.Porexemplo,Pumavarivelporquesimboliza qualquerproposio.Mas umaconstanteporquesimbolizaexclusivamentea expressose...,ento.... Podemos usar o smbolo para representar as disjunes exclusivas. Contudo, como vimos, podemos tambm representar as disjunes exclusivas comonegaesdebicondicionais. J vimos brevemente a disjuno inclusiva e a tabela de verdade que representaassuascondiesdeverdade.Vamosagoraverascondiesdeverdade dosrestantesoperadores.

Conjuno
Chamase conjuno a uma proposio da forma P e Q, e conjuntas s proposiesPeQ.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

17

Conjuno PeQ Smbolo Expresso Oconhecimentoestudadopelafilosofiaeafestudadapela cannica filosofia. Outrasexpresses Oconhecimentoeafsoestudadospelafilosofia. Oconhecimentoestudadopelafilosofiaeaftambm. Tantooconhecimentocomoafsoestudadospelafilosofia. Afilosofiaestudaqueroconhecimento,queraf. Oconhecimentoestudadopelafilosofiamasaftambmo .

Ascondiesdeverdadedaconjunosoevidentes.Umaproposiocom a forma P Q s verdadeira se P e Q forem ambas verdadeiras; em todos os outroscasosfalsa:

PQ VV VF FV FF PQ V F F F

Porexemplo,aconjunoOuroPretoumacidadeeEspanhaumpass verdadeira se as duas proposies que a compem forem verdadeiras; caso contrrio,falsa.

Negao
Ascondiesdeverdadedanegaosoaindamaiselementaresdoqueas dadisjunoedaconjuno.
ChamasenegaoaqualquerproposiodaformanoP.

Negao NoP Smbolo Expressocannica Oconhecimentonopossvel. Outrasexpresses Noverdadequeoconhecimentosejapossvel. Noocasoqueoconhecimentosejapossvel. Oconhecimentoimpossvel.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

18

Como evidente, P falsa unicamente quando P verdadeira, e verdadeiraunicamentequandoPfalsa:

P V F P F V

Porexemplo,anegaoDeusnoexistesverdadeiraseforfalsoque Deusexiste. A negao o nico dos cinco operadores proposicionais que se aplica a uma s proposio e no a duas. Dizse por isso que um operador unrio, ao passoqueosoutrossobinrios.
Umoperadorproposicionalbinrioquandoseaplicaaduasproposies eunrioquandoseaplicasauma.

Exerccios
1. ConsidereseaconjunoAvidatemsentidoeafelicidadereal.

a) Admitindoqueavidanotemsentido,aconjunoverdadeiraoufalsa? Porqu? b) Admitindoqueavidatemsentidoequenosabemosseafelicidadereal, possvelsaberseaconjunoverdadeiraoufalsa?Porqu? c) Admitindoqueavidatemsentido,aconjunoAvidanotemsentido verdadeiraoufalsa?Porqu?

2. Por que razo a tabela de verdade da negao tem apenas duas filas e no quatro?

Condicional
ChamasecondicionalaqualquerproposiodaformaSeP,entoQ,e chamaseantecedenteaPeconseqenteaQ.

Porvezes,chamasetambmimplicaocondicional.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional Condicional SeP,entoQ Smbolo Expressocannica Sehpensamento,entohmatria. Outrasexpresses Sehpensamento,hmatria. Hmatria,sehouverpensamento. Hmatriacasohajapensamento. Nohpensamento,amenosquehajamatria. Nohpensamento,anoserquehajamatria. Semprequehpensamento,hmatria. Amatriaumacondionecessriadopensamento. Opensamentoumacondiosuficientedamatria.

19

evidentequeacondicionalSeAristteleseragrego,eraafricanofalsa. falsaporqueaantecedenteverdadeiraeaconseqentefalsa.Masquedizerdo valor de verdade da condicional Se Aristteles era portugus, era africano? Quase qualquer pessoa diria que esta condicional falsa. Contudo, na lgica proposicional considerase, desde o tempo dos esticos, que verdadeira. Este um problema em aberto, que tem provocado muitas discusses ao longo da histria da filosofia. No vamos tratar deste problema. Mas temos de ter conscinciaquealgicaclssicaentendeascondicionaisdeumamaneiraespecial. Intuitivamente, achamos que uma condicional como Se Aristteles era portugus, era africano falsa porque sabemos que se Aristteles fosse mesmo portugus,noseriaafricano:seriaeuropeu.Anossaintuiobaseiasenofactode serfalsoqueosportuguesessejamafricanos;olhamosparaacondicionalevemos outracondicional:Sealgumportugus,africano.Ecomoestacondicional realmentefalsa,pensamosqueaoutracondicionaltambmfalsa. Mas na lgica clssica olhase unicamente para o valor de verdade da antecedente e conseqente da condicional literal e considerase que uma condicional s literalmente falsa quando parte de uma verdade e chega a uma falsidade;emtodososoutroscasos,acondicionalverdadeira:
PQ PQ VV VF FV FF V F V V

Assim,nalgicaclssicaconsideraseque:

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional Umacondicionalsfalsaquandoasuaantecedenteverdadeiraeasua conseqentefalsa;emtodososoutroscasosverdadeira.

20

Por exemplo, a condicional Se Deus existe, a vida faz sentido s falsa caso Deus exista e a vida no faa sentido; se Deus no existir, a proposio verdadeira,apesardeserenganadora. Considerese a condicional Se a neve branca, Plato era grego. Intuitivamente, no consideramos esta condicional verdadeira. Contudo, considerasequeverdadeiranalgicaclssicaporquenotemumaantecedente verdadeiraeumaconseqentefalsa. Anossaintuiodequeacondicionalnoverdadeiraresultadaausncia dequalquerconexo,causalouconceptual,entreaantecedenteeaconseqente. Muitasvezes,quandoafirmamosSeP,entoQ,estamosaexprimirumaconexo causal ou conceptual: dizemos, por exemplo, que se deixarmos cair um copo, ele partese; ou dizemos que se o Asdrbal se divorciou, j no casado. Na lgica clssica,contudo,anicarelaoquecontaentreaantecedenteeaconseqente a relao entre valores de verdade. Haver ou no uma conexo qualquer, conceptualoucausal,irrelevante.

Comutatividade
A condicional diferente de todos os outros operadores por no ser comutativa.
Umoperadorbinriocomutativoquandoaordemdasproposiespode serinvertidasemafetarosvaloresdeverdade.

Por exemplo, a conjuno comutativa porque dizer que Plato e AristtelessogregosomesmoquedizerqueAristtelesePlatosogregos:P eQomesmoqueQeP.Acondicionalonicooperadorverofuncionalque nocomutativa,comosepodevernasuatabeladeverdade:
PQ PQ VV VF FV FF V F V V

Comosev,asfilas3e4tmvaloresdeverdadediferentes.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

21

Condiesnecessriasesuficientes
As condicionais estabelecem condies necessrias e suficientes. A antecedente de uma condicional uma condio suficiente para a sua conseqente.Eaconseqentedeumacondicionalumacondionecessriapara a sua antecedente. Assim, em P Q a condio suficiente de Q P, e Q a condionecessriadeP.

Bicondicional
Vejamos agora as condies de verdade da bicondicional. Como o nome indica,tratasedaconjunodeduascondicionais:SeP,entoQ,eseQ,ento P.
Chamase bicondicional a qualquer proposio da forma P se, e s se, Q.

Bicondicional Pse,esse,Q Smbolo Expressocannica Umaobraartese,esse,foracriaodeumartista. Outrasexpresses Umaobraartese,esomentese,foracriaodeum artista. Seumaobraforarte,acriaodeumartistaevice versa. Umacondionecessriaesuficienteparaalgoser umaobradearteseracriaodeumartista. Aarteacriaodeumartista. Acriaodeumartistaaarte.

Uma bicondicional como P se, e s se, Q s verdadeira caso P e Q tenhamomesmovalordeverdade;casocontrrio,abicondicionalfalsa:

PQ PQ VV VF FV FF V F F V

Por exemplo, a bicondicional O livrearbtrio possvel se, e s se, o universoforindeterminadosverdadeiraemdoiscasos:quandoolivrearbtrio

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

22

possveleouniversoindeterminado,equandoolivrearbtrionopossveleo universonoindeterminado. Chamase tambm equivalncia bicondicional, pois uma bicondicional verdadeiraestabeleceaequivalnciadevaloresdeverdadeentreduasproposies: asduasproposiescomponentessoverdadeirasefalsasexatamentenasmesmas circunstncias.VoltaremosnoodeequivalncianasecoEquivalncias(pg. 35). As bicondicionais so especialmente importantes em filosofia, pois as definiesexplcitassoemgeralformuladasemtermosdeequivalncia.DizerO Homemumanimalracional,seforentendidocomoumadefiniodeHomem, significaUmserumHomemse,esse,forumanimalracional. Amaiorpartedasdefiniesapresentadasnestemanualexprimemsecom maior rigor em termos de equivalncia ou bicondicional; se no o fizemos foi porque a expresso se, e s se, apesar de mais rigorosa, torna as definies menoscompreensveisparaquemnotemaindaformaofilosfica.Porexemplo, definimosavalidadededutivadaseguintemaneira:
Umargumentodedutivamentevlidoquandoimpossvelterpremissas verdadeiraseconclusofalsa.

Adefiniorigorosaaseguinte:
Um argumento dedutivamente vlido se, e s se, impossvel ter premissasverdadeiraseconclusofalsa.

Ou seja, se um argumento dedutivamente vlido, ento impossvel ter premissas verdadeiras e concluso falsa; e se for impossvel que um argumento tenha premissas verdadeiras e concluso falsa, ento esse argumento dedutivamentevlido. Exerccios
1. ConsidereseacondicionalSeDeusexiste,avidatemsentido. a) Admitindo que Deus no existe, a condicional verdadeira ou falsa? Porqu? b) Admitindo que Deus existe e que no sabemos se a vida tem sentido, possvelsaberseacondicionalverdadeiraoufalsa?Porqu? c) Admitindo que a vida tem sentido, a condicional verdadeira ou falsa? Porqu? 2. Recorrendo a tabelas de verdade e a exemplos de proposies, explique por querazoabicondicionalcomutativamasacondicionalno. 3. ConsidereseabicondicionalDeusexistese,esse,avidatemsentido.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional a) AdmitindoqueDeusexisteequeavidanotemsentido,abicondicional verdadeiraoufalsa?Porqu? b) Admitindo que Deus no existe e que a vida no tem sentido, a bicondicionalverdadeiraoufalsa?Porqu? c) AdmitindoqueavidatemsentidomasquenosabemosseDeusexiste, possvelsaberseabicondicionalverdadeiraoufalsa?Porqu?

23

Formalizao
Paraformalizarproposiesprecisocompreendercomrigorosignificado verofuncionaldasproposiesem causa. Assim, oprimeiropasso paraformalizar uma proposio encontrar os operadores verofuncionais. Por vezes, os operadores esto ocultos. Quando afirmamos, por exemplo, que Zeus imortal, pode parecer que no est presente qualquer operador; mas de facto estamos a afirmarqueZeusnomortal.Ooperadordenegaoestescondido. Almdisso,hinmerasmaneirasdeexprimiramesmaproposio.Como vimos, tanto podemos dizer que se os seres humanos so mortais, ento so infelizes,comopodemosdizerqueumacondionecessriaparaossereshumanos seremmortaissereminfelizes.Assim,paraformalizarumaproposiotemosde comearporcoloclanasuaexpressocannica,casonooestejaj. Vejamosumexemplo:
Avidanovaleapenaamenosquesejamosimortais.

A expresso a menos que exprime uma condicional. Consultando a pgina19,verificamosqueNoPamenosqueQomesmoqueSeP,ento Q.Assim,jpodemosescreveraexpressocannicadaproposio:

1.Expressocannica Seavidavaleapena,entosomosimortais.

Agora mais fcil isolar as proposies componentes e atribuirlhes variveisproposicionais.aissoquesechamaumainterpretao.Dadoquetemos duasproposiescomponentes,temosdeterduasvariveis:

2.Interpretao P:Avidavaleapena. Q:Ossereshumanossomortais.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional 3.Formalizao PQ

24

Poderamos usar R e S, por exemplo, em vez de P e Q. Ou poderamos atribuiraQaproposioquenestainterpretaoatribumosaP. Mas no podemos atribuir s variveis algo como Vale a pena. S lhes podemosatribuirumaproposio,ouseja,umpensamentoquesejaverdadeiroou falso. Tambm no podemos atribuirlhes algo como somos imortais. Esta expresso abrevia a proposio de que os seres humanos so imortais. Ao formalizar proposies no podemos usar este tipo de contraes. Em lgica, temosdesercompletamenteexplcitos. As proposies que atribumos s variveis no podem conter operadores verofuncionais.Afirmarqueossereshumanossoimortaisafirmarquenoso mortais; assim, atribuise Q a Os seres humanos so mortais, eliminando a negaooculta. Tambm no faz sentido atribuir uma varivel a Se a vida vale a pena, porque esta seqncia de palavras no exprime uma proposio, alm de conter umoperadorverofuncional. Assim,paraformalizarumaproposiopercorreseosseguintespassos:
1. 2. 3. Expressocannica:formulaseaproposionasuaexpressocannica; Interpretao: atribuise variveis proposicionais proposio ou proposiescomponentes; Formalizao:formalizaseaproposio.

Exerccios
1. Formalizeasproposiesexpressasaseguir: a) Setudoestdeterminado,olivrearbtrioimpossvel. b) Semprequechove,opresidenteficaeloqente. c) Nohimortais. d) OuDeusexisteouavidanofazsentido. e) OHomemumbpedesempenas. f) NemKantnemHegelsabiamingls. g) Serumartefactonoumacondiosuficienteparaquealgosejaumaobra dearte.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

25

Formasargumentativas
A validade de alguns argumentos pode ser estabelecida recorrendo exclusivamenteaosoperadoresverofuncionais.Umavezquepodemosusartabelas deverdadepararepresentarascondiesdeverdadedestesoperadores,podemos tambm usar seqncias de tabelas de verdade de um certo tipo para testar a validadedeargumentosbaseadosnestesoperadores.Aessasseqnciasdetabelas deverdadedseonomedeinspetoresdecircunstncias.

Inspetoresdecircunstncias
Osinspetoresdecircunstnciasspermitemanalisarcorretamenteformas argumentativas cuja validade dependa inteiramente dos operadores verofuncionais. Se aplicarmos os inspetores de circunstncias a outro tipo de formasargumentativas,noconseguiremoscaptarasuavalidade.
Um inspetor de circunstncias um dispositivo grfico que permite determinar se a forma lgica de um argumento proposicional verofuncionalounovlida.

Retomemosaseguinteformaargumentativa:
PQ. Logo,P.

Para testar esta forma usando um inspetor comeamos por colocla na horizontal.Eparanoterdeescreverlogousamososeguintesmbolo,aquese chamamartelosemntico:.Ficamosassimcomoseguinte:
PQP

E agora como se fizssemos uma tabela de verdade para a premissa e outraparaaconcluso,juntandoasduas:

PQ PQ P VV VF FV FF V F F F V V F F

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

26

Debaixo da premissa escrevemos o valor de verdade dessa premissa em cadaumadassuascondiesdeverdade.Efazemosomesmoparaaconcluso. Ora, como vimos, num argumento dedutivamente vlido impossvel as premissasseremverdadeiraseaconclusofalsa.Istosignificaqueparasaberseum argumentodedutivovlidotemosdeversehalgumacircunstnciapossvelem queaspremissassoverdadeiraseaconclusofalsa. E o que so as circunstncias? So as condies de verdade, que esto exaustivamenterepresentadasnaprimeiracolunadosinspetoresdecircunstncias. Assim, no inspetor acima, verificase que o argumento vlido porque na nica circunstncia possvel em que a premissa verdadeira a concluso tambm verdadeira. Podemos usar uma sombra para assinalar as circunstncias em que a premissaverdadeira,quenestecasosuma:

PQ PQ P VV VF FV FF V F F F V V F F

Vejamosoutraformaargumentativa:
PQ. Logo,P.

Esta a forma de argumentos como Plato romano ou Aristteles grego; logo, Plato romano. evidente que o argumento invlido, mas o inspetordecircunstnciasmostraporqu:
PQ PQ P VV VF FV FF V V V F V V F F

Agora temos trs circunstncias em que a premissa verdadeira. E o argumento invlido porque numa delas a concluso falsa. Isto significa que a concluso pode ser falsa, ainda que a premissa seja verdadeira que precisamenteoquenopodeacontecernumargumentovlido. E se a forma argumentativa tiver mais de uma premissa? Vejamos como fazeruminspetornessescasos.Comoexemplo,vamosusarestaformalgica:

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional PQ. P. Logo,Q.

27

Dado que temos duas premissas, fazemos mais uma tabela sob a segunda premissa,queseparamosdaprimeiracomumavrgula:
PQ PQ, P Q VV VF FV FF V V V F F F V V V F V F

Aformaargumentativavlida porquenoh qualquercircunstnciaem quetodasaspremissassejamverdadeiraseaconclusofalsa. Como evidente pela anlise do inspetor de circunstncias, a ordem das premissasdeumargumentoirrelevante. Umaformaargumentativasvlidaseemtodasascircunstnciasemque todas as premissas so verdadeiras a concluso tambm verdadeira; caso contrrio,invlida.Assim,noinspetoranterior,anicacircunstnciaqueconta aterceira,poisemnenhumadasoutrasasduaspremissassoverdadeiras. Uma forma invlida mesmo que em algumas circunstncias tenha premissaseconclusoverdadeiras,comonoseguintecaso:
PQ PQ, P Q VV VF FV FF V V V F V V F F V F V F

Esta forma invlida porque a segunda circunstncia tem premissas verdadeiras e concluso falsa. irrelevante que na primeira circunstncia as premissas sejam verdadeiras e a concluso falsa. Pois basta haver uma circunstncia em que as premissas so verdadeiras e a concluso falsa para a verdadedaspremissasnoimpedirafalsidadedaconcluso. Os inspetores de circunstncias mostram o que significa dizer que num argumentovlidoimpossvelaspremissasseremverdadeiraseaconclusofalsa. E mostram igualmente por que razo absurdo rejeitar a concluso de um argumento vlido se aceitarmos as suas premissas: porque se o argumento for

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

28

vlidoeaspremissasverdadeirasnohqualquermaneiradeaconclusoserfalsa. Assim, quando discordamos da concluso de um argumento vlido tudo o que podemosfazermostrarquepelomenosumadaspremissasfalsa. Exerccios
1. Teste a validade das seguintes formas recorrendo a inspetores de circunstncias: a) b) c) d) e) f) g) PQ,PQ PQ,PQ PQPQ PQPQ PQQP PQQP PQ,QPPQ

mbitodosoperadores
At agora quase s demos ateno a formas proposicionais em que cada operador incide unicamente sobre formas proposicionais simples. Mas nada impedequeumoperadorincidasobreformasproposicionaiscompostas.
Uma forma proposicional simples no contm quaisquer operadores verofuncionais. Umaformaproposicionalcompostacontmoperadoresverofuncionais.

Porexemplo,emPosmbolooperasobreP;eemP Qosmbolo operasobrePeQ.Tantocomo operamsobreformasproposicionaissimples. Mas A vida no tem sentido exprime uma proposio composta. Formalizase comoP,sendoPAvidatemsentido. evidente que podemos tambm afirmar No verdade que a vida no temsentido,queseformalizacomoP.Aopassoqueaprimeiranegaoopera sobreP,asegundaoperasobrePouseja,operasobreumaformaproposicional composta. Isto significa que podemos formar um nmero infinito de formas lgicas partindo apenas das cinco formas proposicionais de base. Mas significa tambm queteremosdetercuidadocomombitodosdiferentesoperadores.Comparemos asseguintesproposies:
1. 2. Noverdadequeseavidafazsentido,Deusexiste. Senoverdadequeavidafazsentido,Deusexiste.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

29

Em 1, a negao afeta uma proposio que j contm um operador: Se a vidafazsentido,Deusexiste.Masnocasodaproposio2,anegaosafetaA vidafazsentido. Adiferenaentre1e2maisclaraseolharmosapenasparaaformalgica:
1. 2. (PQ) PQ

Comosepodever,emlgicaproposicionalusamseparntesesparaindicar ombitodosoperadores,oquetornatudomuitomaisclaro.
O mbito de um operador a proposio ou proposies que esse operadorafeta.

Em1estamosanegaracondicionalPQ,quecolocamosentreparnteses para indicar precisamente isso. O mbito da negao uma condicional. Em 2 negaseapenasP.Ombitodanegaoumaproposiosimples.1umanegao porque esse o operador de maior mbito; 2 uma condicional porque esse o operadordemaiormbito. Aooperadordemaiormbitochamasetambmoperadorprincipal.Uma formaproposicionalnopodetermaisdeumoperadorprincipal. 1e2tmdiferentescondiesdeverdade.Paraoverificar,vamosfazeruma tabeladeverdadepara1eoutrapara2.Cadaumadastabelasexigeadeterminao de valores de verdade parciais, antes de chegar aos valores de verdade globais. Comecemospor1: PQ (PQ) VV VF FV FF FV VF FV FV

Numatabeladeverdadeparaumaformaproposicionalcomplexa,altima coluna a preencher sempre a coluna do operador principal. Como esta forma umanegao(apesardeconterumacondicional),altimacolunaapreenchera colunado.Porisso,comeasepordeterminarosvaloresdeverdadedeP Q. Depois,determinaseovalordanegaodecadaumdessesresultados:anegao de V F, a negao de F V. Estes resultados, que destacamos a azul, surgem debaixo da negao e so os resultados finais: so as condies de verdade da proposio.Assim,1sverdadeiracasoPsejaverdadeiraeQfalsa.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

30

Vejamosagora2: PQ VV VF FV FF PQ FVV FVF VVV VFF

No caso da segunda forma proposicional comease por determinar os valores de P, resultados que se escrevem por debaixo do respectivo operador. Depois, necessrio determinar os valores da condicional cuja antecedente P. Para facilitar o trabalho, podemos reescrever os valores de Q por debaixo da respectiva varivel. Assim, a primeira linha V porque uma condicional com antecedente F e conseqente V V; a segunda linha V, etc. Estes so os resultadosfinais,destacadosaazul. Agora podemos comparar as condies de verdade das duas formas proposicionais: Negaodeuma Condicionalcom condicional antecedentenegada PQ (PQ) PQ PQ VV VF FV FF FV VF FV FV VV VF FV FF FVV FVF VVV VFF

Verificamos que as duas formas proposicionais tm condies de verdade muitodiferentes.AsegundasfalsacasoPeQsejamambasfalsas;aprimeiras verdadeiraquandoPverdadeiraeQfalsa.Logo,asduasformasproposicionais nosoequivalentes. Exerccios
1. Indiquequalooperadorprincipalnasformasproposicionaisseguintes: a) (PQ) b) PQ c) PQ d) (PQ) e) P(QP) f) P(QP)

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional g) (P(QP)) 2. Construa uma tabela de verdade para cada uma das formas proposicionais anteriores. 3. Formalizeasproposiesexpressasaseguir: a) Sartrenoeraparisiensese,esse,Pariseraumacidadealem. b) No verdade que Sartre no era parisiense se, e s se, Paris era uma cidadealem. c) Nohfelicidadenemjustia. d) Noverdadequehoufelicidadeoujustia. e) Nohfelicidadeoujustia.

31

Formasvlidaseinvlidas
Algumas formas argumentativas vlidas so to comuns que tm nome. E tambm por serem muito comuns, confundemse com formas invlidas semelhantes.
FORMASVLIDAS Silogismo hipottico SeP,entoQ. SeQ,entoR. Logo,seP,entoR. Modusponens SeP,entoQ. P. Logo,Q. Silogismo disjuntivo PouQ. NoP. Logo,Q. Modustollens SeP,entoQ. NoQ. Logo,noP. Dilema PouQ SeP,entoR. SeQ,entoR. Logo,R. Contraposio SeP,entoQ. Logo,senoQ,entonoP.

FORMASINVLIDAS Afirmao daconsequente SeP,entoQ. Q. Logo,P. Negao daantecedente SeP,entoQ. NoP. Logo,noQ. Inverso dacondicional SeP,entoQ. Logo,seQ,entoP.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

32

Exerccios
1. 2. Demonstre a validade ou invalidade das formas anteriores recorrendo a inspetoresdecircunstncias. Identifique a forma dos seguintes argumentos, indicando se so vlidas ou invlidas: a) Seafelicidadeforpossvel,avidafazsentido. Logo,seavidafizersentido,afelicidadepossvel. b) SeSartretiverrazo,temoslivrearbtrio. Masnotemoslivrearbtrio. Logo,Sartrenotemrazo. c) Seacoragemfilhadomedo,omedopaidacoragem. Logo,seomedonopaidacoragem,acoragemnofilhadomedo. d) Setemoslivrearbtrio,Sartretinharazo. Ora,Sartretinharazo. Logo,temoslivrearbtrio. e) Seosanimaisnohumanossentemdor,sodignosdeproteomoral. Masosanimaisnohumanosnosentemdor. Logo,nosodignosdeproteomoral. f) SeDeusexiste,avidatemsentido. Ora,Deusexiste. Logo,avidatemsentido.

Avaliaodeargumentos
Consideremososeguinteargumento:
A alternativa entre a relatividade da tica e a implausibilidade do absolutismo. Oabsolutismoimplausvel. Logo,aticarelativa.

Seresteargumentovlido?Paradeterminarasuavalidadeprecisamosde identificar a sua forma lgica. Mas isso s uma questo de identificar a forma lgica das proposies que o compem, coisa que j sabemos fazer. De seguida, formalizamostodasasproposiesquecompemoargumentoeconstrumosum inspetordecircunstncias:

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional 1.Expressocannica Aticarelativaouoabsolutismoimplausvel. Oabsolutismoimplausvel. Logo,aticarelativa. 2.Interpretao P:Aticarelativa. Q:Oabsolutismoplausvel. 3.Formalizao PQ. Q. Logo,P. 4.Inspetordecircunstncias PQ PQ, Q P VV VF VF VV FV FF FF VV F V F V V V F F

33

Finalmente, analisamos o inspetor de circunstncias para determinar se a formainvlidaouno:

5.Anlise A forma argumentativa invlida, pois na ltima circunstncia as premissassoverdadeiraseaconclusofalsa.

Temos assim uma maneira simples de determinar a validade dos argumentos.Dadoumargumento,fazseoseguinte:

Expresso cannica: formulase as premissas e concluso na sua expressocannica; 2. Interpretao: atribuise variveis proposicionais s premissas e conclusodoargumento; 3. Formalizao:exibeseaformalgicadoargumento; 4. Inspetor de circunstncias: constrise o inspetor, separando cada premissacomvrgulas; 5. Anlise:interpretaseosresultadosdoinspetordecircunstncias. 1.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

34

Exerccios
1. Determine a forma argumentativa dos seguintes argumentos e teste a sua validaderecorrendoainspetoresdecircunstncias: a) Ouolivrearbtriopossvelouanossavidaumailuso. Olivrearbtrioimpossvel. Logo,anossavidaumailuso. b) Deusexiste. Logo,afelicidadeeternapossvel. c) SeScratestemrazo,avidaporexaminarnovaleapenaservivida. Logo,avidaporexaminarnovaleapenaservivida. d) Aristteleseragrego. Aristtelesnoeragrego. Logo,Deusexiste. e) Ajustiapossvelse,esse,Platotiverrazo. Platonotemrazo. Logo,ajustianopossvel.

Formascomplexas
Atagoraestudamososaspectosmaiselementaresdalgicaproposicional. Esta lgica, contudo, pode ser desenvolvida para se tornar um instrumento bastante mais sofisticado e de maior alcance na anlise da argumentao. Vamos agoraestudaralgunsdessesdesenvolvimentos.

Negaessurpreendentes
Anegaoomaissimplesdosoperadoresverofuncionais.Seriadeesperar que o seu uso no provocasse erros. Contudo, isto no assim. A negao de algumasformasproposicionaisprovocaerros. A negao de Se temos livrearbtrio, Sartre tem razo Temos livre arbtrio,masSartrenotemrazo.MascomumpensarqueasuanegaoSe notemoslivrearbtrio,Sartrenotemrazo. Anegaodeumacondicionalumaconjuno,enooutracondicional. Podemosverificarissofazendotrstabelasdeverdade:

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

35

PQ VV VF FV FF

(PQ) FV VF FV FV

PQ PQ VV VF FV FF FVF FVV VFF VVV

PQ PQ VV VF FV FF FF VV FF FV

A primeira forma proposicional a prpria negao da condicional. Para que outra forma proposicional a represente tem de ter as mesmas condies de verdade.Asegundaformaproposicionalnotemasmesmascondiesdeverdade daprimeira.Porexemplo,nocasoemquePeQsoambasverdadeiras,asegunda forma proposicional verdadeira, mas a primeira falsa. S a terceira forma proposicionaltemasmesmascondiesdeverdadedaprimeira.Logo,saterceira formaproposicional,aconjuno,representaanegaodacondicional. NEGAODEFORMASPROPOSICIONAIS
Designao Forma Resultado

Negaodacondicional (PQ) PQ Negaodabicondicional (PQ) (PQ)(PQ) (PQ) LeisdeDeMorgan (PQ) PQ PQ

Exerccios
1. AdmitindoquefalsoqueseDeusexiste,avidafazsentido,qualovalorde verdadedeDeusexiste,masavidanofazsentido? 2. Admitindoqueverdadequehmatriaeesprito,qualovalordeverdade deNohmatriaounohesprito? 3. Formule primeiro a negao das proposies expressas a seguir, e depois o respectivoresultado: a) Seafelicidadepossvel,avidatemsentido. b) Hfelicidadeejustia. c) Sartreeraalemoougrego. d) Umserracionalse,esse,sabeescrevercartasdeamor.

Equivalncias
Analisemosasseguintestabelasdeverdade:

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional PQ PQ VV VF FV FF V F V V PQ PQ

36

VV FVV VF FFF FV VVV FF VVF

Dado que as duas formas proposicionais tm as mesmas condies de verdade,soequivalentes.

Duas formas proposicionais so equivalentes quando tm as mesmas condiesdeverdade.

Isto significa que as duas formas proposicionais anteriores podem ser transformadas uma na outra, mantendo as suas condies de verdade. Ou seja, dizerSeDescartesviveuemParis,entoviveuemFranaomesmoquedizer DescartesnoviveuemParisouviveuemFrana. Para que duas proposies sejam equivalentes no basta que tenham o mesmovalordeverdade;necessrioquetenhamomesmovalordeverdadeem quaisquercircunstnciasouseja,necessrioquetenhamasmesmascondies de verdade. Assim, apesar de tanto A neve branca como Ouro Preto uma cidade exprimirem proposies verdadeiras, no exprimem proposies equivalentes. Cada forma proposicional equivalente a vrias outras, mas algumas equivalnciassoparticularmenteimportantes,comoasseguintes:
Equivalnciasproposicionais PQ PQ PQ (PQ)(QP) PQ (PQ) PQ (PQ) P P

Exerccios
1. Formuleproposiesequivalentessseguintes: a) Seafelicidadepossvel,avidatemsentido. b) Hfelicidadeejustia. c) Sartreeraalemoougrego. d) Umserracionalse,esse,sabeescrevercartasdeamor. e) Deusexiste.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

37

Argumentoscomtrsvariveis
At agora vimos argumentos cujas formas lgicas tm duas variveis proposicionais;mas,comoevidente,aformadealgunsargumentosexigemaisde duasvariveisproposicionais.Vejamosumexemplo:
Oconhecimentopossvelouoscpticosestoenganados. Seoconhecimentopossvel,oqueoscpticosdizemumafantasia. Seoscpticosestoenganados,oqueelesdizemtambmumafantasia. Logo,emqualquerdoscasos,oqueoscpticosdizemumafantasia.

1.Interpretao P:Oconhecimentopossvel. Q:Oscpticosestoenganados. R:Oqueoscpticosdizemumafantasia. 2.Formalgica PQ. PR. QR. Logo,R.

Para testar esta forma com um inspetor de circunstncias agora necessrioesgotartodasascombinaespossveisdevaloresdeverdadeentreP,Q e R. Quando s tnhamos duas variveis, era fcil: s havia quatro combinaes possveis.Comtrsvariveis,hoitocombinaespossveis. Apartirdomomentoemquesabemosquehoitocombinaespossveis, fcil no cometer erros. Na primeira coluna escrevemos quatro V, seguidos de quatroF.DepoisescrevemosVeFaospares.Naltimacoluna,escrevemosVeF alternados.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional PQR VVV VVF VFV VFF FVV FVF FFV FFF

38

Agorapodemostestaraformadadacomuminspetordecircunstncias:
PQR PQ, PR, QR R VVV VVF VFV VFF FVV FVF FFV FFF V V V V V V F F V F V F V V V V V F V V V F V V V F V F V F V F

Aformavlida,jqueemtodasascircunstnciasemqueaspremissasso verdadeiras,aconclusotambmverdadeira. Parasaberquantasfilastemuminspetordecircunstnciasbastacontaras variveis proposicionais. Sendo n o nmero de variveis proposicionais, x o nmerodefilas:2n=x.2representaonmerodevaloresdeverdade(verdadeiroe falso).Sendon=2,temos4filas (22);sendon=3,temos8filas(2 22). E assimpordiante. possvel usar inspetores de circunstncias para testar argumentos com qualquernmerodevariveis.Maspoucoprticopreencherinmerasfilas,alm de terrivelmente aborrecido e intil. Os inspetores de circunstncias so bons instrumentos para ajudar a compreender a noo de argumento vlido, pois tornam visvel o significado da definio de validade dedutiva. Mas preencher inspetorescomdezesseisoutrintaeduasfilasumexerccioaborrecidoquenada acrescentanossacompreensodascoisas. Exerccios
1. Teste a validade das seguintes formas recorrendo a inspetores de circunstncias:

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional a) PQ,PR,QRR b) PQ,QRPR c) PQ,QRPR d) PRQP e) PQ,RQR f) PQRQ 2. Apresenteargumentoscomasformaslgicasqueacaboudetestar.

39

Variveisdefrmula
Falamosatagoradevariveisproposicionais,comoP,QouR.Masno difcil ver que uma forma vlida, como o modus ponens, por exemplo, pode ser maiscomplexa,desdequeobedeaaomesmopadrogeral:
1. (PQ)R PQ Logo,R

Apesar de a antecedente da primeira premissa ser uma proposio composta,evidentequeestaformatovlidaquantoomodusponenssimples. De facto, as formas vlidas so configuraes ou padres de espaos vazios que podemserpreenchidosigualmenteporproposiessimplesoucompostas. Eisoutroexemplodeummodusponenscomplexo:
2. P(RS) P. Logo,RS.

Assim, costume usar variveis de frmula, como A, B, C, etc., para representarasformasvlidascomoomodusponens,omodustollens,etc.

Nalgicaproposicional,umavariveldefrmulaumsmboloquepode sersubstitudoporqualquerproposio,compostaousimples.

Porisso,podemosexprimiromodusponensassim:
AB. A. Logo,B.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

40

Noexemplo2,PestnolugardeA.Enoexemplo1P Qqueestno lugardeA. Exerccios

1. Identifiqueasseguintesformaslgicas: a) P(QR). Logo,(QR)P. b) (PR)(QP). Logo,(QP)(PR). c) PQ. Q. Logo,P. d) PQ. P. Logo,Q.

Verdadesefalsidadeslgicas
As tabelas de verdade permitem ver o que significa dizer que uma proposioumaverdadelgicaouumafalsidadelgica.Chamaseporvezes tautologia s verdades lgicas; e as falsidades lgicas so contradies. s proposies que no so verdades nem falsidades lgicas chamase contingncias lgicas.Porexemplo,acondicionalSeavidabela,avidabelaumaverdade lgica,comopodemosveranalisandoasuaformalgica:
P PP V F V V

Dizer que uma verdade lgica dizer que verdadeira em todas as circunstncias.IstocontrastacomAvidabela,quesverdadeiraseavidafor bela,masfalsaemcasocontrrio. Nocasodascontradies,dseoinverso:soproposiesfalsasemtodas ascircunstncias.AnalisemosaformalgicadeAvidabelaenobela:
P PP V F F F

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

41

Comosepodever,tratasedeumacontradiolgica.

Validadessurpreendentes
As verdades e falsidades lgicas do origem a dois tipos de validades surpreendentes.Vejamososeguinteargumento:
Olivrearbtrioumailuso. Logo,avidabelaouno.

O argumento evidentemente disparatado. Contudo, vlido, como podemosverificarfacilmentefazendouminspetordecircunstncias.Bastapensar cuidadosamente na definio de validade dedutiva para compreender que este argumentovlido,apesardeserestranho. Segundoadefinio,dedutivamentevlido qualquerargumentoemque seja impossvel a premissa ser verdadeira e a concluso falsa. Ora, a concluso desteargumentoumaverdadelgica;porisso,nuncapodeserfalsa.Masseno pode nunca ser falsa, o argumento nunca pode ter premissas verdadeiras e conclusofalsa.Logo,vlido. Omesmoacontececomoargumentoseguinte,igualmentedisparatado:
Avidabelaenobela. Logo,Deusexiste.

Este argumento vlido porque a sua premissa uma falsidade lgica. Dado que uma falsidade lgica, nunca pode ser verdadeira. Mas se nunca pode ser verdadeira, o argumento nunca poder ter premissa verdadeira e concluso falsa.Logo,vlido.Umavezmais,podemosverificarasuavalidadefazendoum inspetordecircunstncias. Emconcluso:
Qualquerargumentocujaconclusosejaumaverdadelgicavlido. Qualquerargumentocujapremissasejaumafalsidadelgicavlido.

Istosignificaqueavalidadeno,sporsi,umacondiosuficientedaboa argumentao.Almdevlido,umargumentotemdeterpremissasverdadeirase tem de ter premissas mais plausveis do que a concluso. Estes aspectos so estudadosnalgicainformal.

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

42

Validadesdedutivasinformais
Afirmamos que os inspetores de circunstncias s podem determinar a validade ou invalidade dos argumentos cuja validade dependa exclusivamente do uso de operadores verofuncionais. Vejamos porqu. Considerese o seguinte argumento:
OJoocasado. Logo,oJoonosolteiro.

Este argumento evidentemente vlido: impossvel a premissa ser verdadeiraeaconclusofalsa.Contudo,uminspetordecircunstncias noserve paradetectaravalidadedesteargumento:
1.Interpretao P:OJoocasado. Q:OJoosolteiro. 2.Formaargumentativa P. Logo,Q. 3.Inspetordecircunstncias PQ P Q VV V VF V FV FF F F F V F V

4.Anlise Aformaargumentativainvlidadadoquehumacircunstnciaem queapremissaverdadeiraeaconclusofalsa.

Segundo o inspetor de circunstncias, a forma lgica do argumento invlida.Masoargumentoclaramentevlido.Oqueaconteceu? Aconteceu que o argumento vlido mas a sua validade no depende exclusivamente dos operadores verofuncionais; depende tambm do significado dos termos casado e solteiro. Logo, no se pode determinar a sua validade recorrendoauminspetordecircunstncias.Tratasedeumargumentoqueescapa

Universidade Federal de Ouro Preto Elementos bsicos de lgica proposicional

43

lgicaformalporqueasuavalidadenosepodedeterminaranalisandoapenasa suaformalgica.