A importncia das estruturas discretas em um curso de computao, se torna mais evidente a cada ano que passa, na ltima reformulao

do curso de computao realizada em 2001 que ocorreu em nos Estados Unidos e elaborado em conjunto pelo Institute for Electrical and Eletronic Engineers/Computer Society (IEEE/CS) e pela Association for Computing Machinery (ACM), onde o relatrio pode ser encontrado em www.acm.org/sigse/cc2001/ . CC2001 identifica um conjunto de contedos curriculares em um curso de computao, e descreve que as estruturas discretas como material fundamental. A importncia do pensamento lgico, o poder da notao matemtica e a utilidade de abstraes continuam a ligar o que poderia parecer, uma coleo de tpicos disjuntos, no entanto durante o curso a disciplina uma das menos valorizadas na poca em que so feitas. O livro que utilizo como base tem um site em www.whfreeman.com/gersting que pode ser acessado utilizando a senha logic. Lgica Formal Voc foi convocado a participar do jri em um processo criminal. O advogado de defesa argumenta o seguinte: Se meu cliente fosse culpado, a faca estaria na gaveta. Ou a faca no estava na gaveta ou Jason viu a faca. Se a faca no estava l no dia 10 de outubro, segue que Jason no viu a faca. Alm disso, se a faca estava l no dia 10 de outubro, ento a faca estava na gaveta e o martelo estava no celeiro. Mas todos sabemos que o martelo no estava no celeiro. Portanto, senhoras e senhores do jri, meu cliente inocente. Pergunta: O argumento do advogado est correto? Como voc deveria votar? Note que a fala do advogado parece um tanto confusa, e que para poder responder essa pergunta seria interessante reescrever o argumento, mas da que aparece a primeira pergunta o que argumento?, com lgica formal. A vantagem de reescrever na forma de lgica formal, que fornece as bases para o mtodo de pensar organizado e cuidadoso que caracteriza qualquer atividade racional como uma investigao criminal, uma experincia cintfica, um estudo sociolgico. Sobre o argumento Quase sempre utilizamos esta expresso quando se refere a algo que nos parea evidentemente certo ou que nos parece fcil de ser defendido. Desta maneira dizemos: lgico que Pedro ser aprovado nos exames. lgico que o preo de um avio maior do que de uma bicicleta. lgico que a Terra no plana. Depois de uma frase desse tipo, comum aparecer justificativas que procuram fundamentar a CONCLUSO, enunciada na afirmao inicial. E esse encadeamento de razes que nos levam a concluso chamado de ARGUMENTO. As razes alegadas so as PREMISSAS do argumento. Proposio Se pararmos para analisar algumas frases ditas no dia-a-dia, veremos que podemos classific-las em VERDADEIRAS ou FALSAS. Vejamos alguns exemplos de verdadeiras:

Paris a capital da Frana. Dois mais dois igual a quatro. Um dia tem 24 horas. Agora vejamos algumas frases falsas: Buenos Aires a capital do Brasil. Dois mais dois igual a cinco. Uma semana tem 10 dias. Porm nem todas as frases no podem ser classificadas assim, como por exemplo: Que horas so? No faa isto! Observe que uma frase pode ser classificada como VERDADEIRA ou FALSA, no podendo ser as duas simultaneamente, chamada de PROPOSIO, mas pode observar que nem todas as frases enunciadas so proposies. Ento o que uma proposio? Proposio uma sentena declarativa da qual se pode dizer sem dvida: VERDADEIRA ou ento FALSA. Proposies, representaes simblicas e tautologias A lgica formal veio com o intuito de representar as afirmaes que fazemos em linguagem cotidiana para apresentar fatos ou transmitir informaes que possa ter duas situaes ou verdadeira ou falsa. Deve-se lembrar que ao decidir defender uma CONCLUSO em uma ARGUMENTAO porque tal concluso uma PROPOSIO e pretende-se ento que ela seja VERDADEIRA. Para fazer a defesa, encadea-se as PREMISSAS de modo que a fundamentem a CONCLUSO, ou seja, construmos um ARGUMENTO. Devemos nos atentar a seguinte situao, em um argumento bem construdo, as premissas devem evidenciar razes suficientes para que aceitemos a concluso; agora em um argumento mal construdo, mesmo que a concluso seja eventualmente verdadeira, as premissas no so razes suficientes para garanti-la. Um argumento dito COERENTE quando entre as premissas e a concluso existe uma ligao de tal forma que impossvel as premissas serem verdadeiras e a concluso falsa. Exemplo: Premissas Todos os paulistas so brasileiros Andr paulista Concluso Andr brasileiro. Note que as duas premissas so verdadeiras e segue que a concluso tambm verdadeira. Mas tambm podemos ter uma situao em que as premissas so verdadeiras mas a concluso falsa neste caso dizemos que o argumento NO COERENTE e pode se dizer que uma FALCIA ou um SOFISMA. Exemplo:

Premissas

Todos os paulistas so brasileiros Andr no paulista Concluso Andr no brasileiro Observe que neste caso as premissas no so suficientes para garantirem a concluso. perfeitamente possvel termos premissas verdadeiras e a concluso falsa, seria no caso se Andr fosse mineiro, mas se Andr fosse Francs pode-se observar que a concluso verdadeira mas ainda assim o argumento no seria coerente pois a verdade da concluso no seria conseqncia da verdade das premissas. Conectivos e Valores Lgicos Ao falar ou escrever, muitas vezes utilizamos um elo de ligao entre duas frases, esse elo denominaremos de conectivo, a letra e, por exemplo, e assim formamos sentenas compostas. No entanto para analisarmos se a sentena composta verdadeira ou falsa, vai depender exclusivamente dos valores lgicos de seus componentes (cada proposio) e dos conectivos usados. Observe as duas proposies: Elefantes so grandes e Bolas de basquete so redondas usando o conectivo e, obtemos a seguinte proposio verdadeira: Elefantes so grandes e bolas de basquete so redondas. Notao: Letras maisculas do alfabeto so usadas para representar proposies so denominadas letras de proposio; O smbolo um conectivo lgico que representa a letra e. Nesta perspectiva podemos reescrever a sentena composta como sendo A B, e qual seria o valor lgico de A B? Tarefa: Se A verdadeira e B falsa, que valor lgico, ser A B? Se A falsa e B verdadeira, que valor lgico, ser A B? Se A e B so falsas, que valor lgico voc atribuiria a A B? Olhando A B como sendo uma expresso denominada conjuno de A e B; A e B so denominados os elementos ou fatores, desta expresso. Com a inteno de facilitar o trabalho de verificao dos valores lgicos de um conjuno podemos utilizar uma tabela, que ser denominada tabela-verdade, aonde ser representado todos as possibilidades para os valores lgicos e associando a cada possibilidade de valor lgico de cada proposio e o valor lgico da expresso composta. A B A B V V V V F F F V F F F F Um outro conectivo a palavra ou, denotada pelo smbolo A expresso A B . (leia A ou B) denominada disjuno de A e B; A e B so os elementos ou fatores, da

disjuno. Se A e B forem ambas verdadeiras, ento A B tambm dever ser verdadeira e assim temos a primeira linha da tabela verdade para a disjuno. Tarefa: Use sua compreenso da palavra ou para completar a tabela-verdade para a disjuno. As proposies tambm podem ser compostas utilizando a esttica Se proposio A, ento proposio 2, a proposio composta denotada por A B (A implica B). O conectivo lgico chamado de condicional (ou a implicao) e significa que a verdade de A implica, ou leva a, a verdade de B. No condicional A B, A a proposio antecedente e B a conseqente. A construo da tabela verdade da condicional j no to bvia quanto as tabelasverdade para a conjuno ou disjuno. Para compreender sua definio, suponhamos a seguinte situao: Se eu passar no vestibular ento vou dar um churrasco. Note que se ele no passar no vestibular, ento independente se ele fizer o churrasco ou no no pode afirmar que a observao falsa. Provavelmente pode-se dizer que a afirmao verdadeira. Por conveno A B considerada verdadeira se A for falsa, independentemente do valor lgico de B. Tarefa: Resuma essa discusso escrevendo a tabela verdade para A B. O conectivo bicondicional (ou equivalncia) simbolizado por . A expresso A B uma abreviao de (A B) (B A), e podemos observar que A B verdadeira exatamente quando A e B tm os mesmos valores lgicos. Tarefa: Escreva a tabela verdade para A B. At o momento vimos conectivos lgicos que so conectivos binrios, pois juntam duas expresses atravs de um conectivos lgicos, produzindo uma terceira expresso. Considere agora um conectivo unrio, isto , um conectivo agindo em uma expresso para produzir uma segunda expresso. A negao um conectivo lgico unrio. A negao de A simbolizada por A e lida como no A. Devido riqueza da lngua portuguesa, palavras com significados ligeiramente diferentes so representados pelo mesmo conectivo lgico. A tabela abaixo mostra algumas expresses comuns em portugus associadas a diversos conectivos lgicos.

Expresses em Portugus Conectivo Lgico Expresso Lgica e; mas; tambm; alm disso Conjuno A B ou Disjuno A B Se A, ento B Condicional AB A implica B A, logo B A s se B; A somente se B B segue de A A uma condio suficiente para B; basta A para B B uma condio necessria para A. A se e somente se B Bicondicional AB A condio necessria e suficiente para B (equivalncia) no A Negao A falso que A ... No verdade que A ... Exemplo: O fogo uma condio necessria para a fumaa pode ser dita de outra forma. Se houver fumaa, ento haver fogo. O antecedente h fumaa e o conseqente h fogo. Tarefa: Escreva o antecedente e o conseqente de cada uma das proposies a seguir. a) Se a chuva continuar, ento o rio vai transbordar. b) Uma condio suficiente para a falha de uma rede eltrica que a chave central desligue. c) Os abacates s esto maduros quando esto escuros e macios d) Uma boa dieta uma condio necessria para um gato ser saudvel. Observao: A negao deve ser feita com muito cuidado, principalmente nos casos em que a proposio composta. A tabela mostra alguns exemplos:

Proposio Negao Correta Vai chover falso que v amanh chover amanh No vai chover amanh Pedro alto e falso que Pedro magro seja alto e magro Pedro no alto ou no magro Pedro baixo ou gordo O rio raso ou falso que o rio est poludo seja raso ou esteja poludo. O rio no raso nem est poludo. O rio fundo e no est poludo

Negao Incorreta

Pedro baixo e gordo Essa uma proposio muito forte. Pedro no tem ambas as propriedades (ser alto e ser gordo) mas ainda pode ter uma delas O rio no raso ou no est poludo. Essa uma proposio muito fraca. O rio no tem nenhuma das duas propriedades, no deixa de ter apenas uma delas.

Tarefa: A negao da proposio Jlia gosta de manteiga mas detesta creme? Podemos encadear letras de proposio, conectivos e parnteses (ou colchetes) para formar novas expresses, como: (A B) (B A) claro que, como qualquer outra linguagem de programao existem certas regras de sintaxe (regras que dizem quais as cadeias que formam expresses vlidas) tm que ser obedecidas, por exemplo: A)) BC Este tipo de sintaxe no ser vlida. Uma cadeia que forma uma expresso vlida denominada uma frmula bem formulada ou fbf (A abreviao wff do ingls well-formed formula, utilizada em alguns textos). Para reduzir o nmero de parnteses necessrios em uma fbf, vamos considerar uma ordem de aplicao dos conectivos lgicos. A ordem de precedncia a seguinte: 1. Para conectivos dentro de vrios parnteses, efetua-se inicialmente as expresses dentro dos parnteses mais internos, seguindo a ordem: 2. ` 3. , 4. 5. Isso quer dizer que a expresso A B significa que A (B) e no (A B). Analogamente, A B C o mesmo que (A B) C e no A (B C). Entretanto, muitas vezes o uso do parnteses s para ter certeza de que no h possibilidade de confuso.

Em uma fbf com diversos conectivos, o ltimo a ser aplicado chamado conectivo principal. Em A C), neste caso percebe-se que o conectivo principal Agora ((A (B . B) C) (B C), que poderia ser escrito como P Q para verificar qual o conectivo principal. Fbfs compostas dependem dos valores lgicos associados s suas letras de proposies. Escrevemos a tabela-verdade para qualquer fbf a partir de seus componentes, e o conectivo principal aparece sempre na ultima coluna da tabela. Exemplo: Construa a tabela verdade para a fbf A B (A B). O conectivo principal, de acordo com as regras de precedncia, o condicional. Desta forma temos: A B B A B A B (A B) A B (A B) V V F V V F F V F V V V F F F V F F V F V F F V V F V V Uma questo importante para se analisar : Se estivermos elaborando uma tabela-verdade para uma fbf com n letras diferentes de proposio, quantas linhas (sem contar as letras de proposio e seus conectivos) deve ter essa tabela? Pelas tabelas estudadas at o momento vimos que uma fbf com apenas uma letra de proposio tem duas linhas e que uma fbf com duas tem quatro linhas. O nmero de linhas igual ao nmero de combinaes verdadeiro/falso possveis. Como construir uma tabela verdade para uma fbf com n proposies? Os elementos da ultima proposio se alterna simplesmente, o da penltima coluna alterna de dois em dois grupos e da terceira coluna de quatro em quatro e assim sucessivamente. Tarefa: Construa tabelas-verdade para as fbfs a seguir: a) b) c) d) (A B) (B A) (A (B B) A) [(A B) C] (A B) (B A)

Tautologias Uma tautologia verdadeira independente dos valores lgicos atribudos s suas letras de proposio, j uma contradio aquela em que o valor lgico ser sempre falso, independentemente dos valores lgicos atribudos. Exemplos: Tautologia (A A) Hoje vai ter sol ou hoje no vai ter sol (tem que ser verdadeira, j que uma das duas pode acontecer) Contradio (A A) Hoje quinta feira e hoje no quinta feira ( falsa qualquer que seja o dia da semana). Suponha que P e Q representam duas fbfs e suponha que a fbf P Q seja uma tautologia. Se fizermos uma tabela-verdade usando as letras de proposio ento os valores lgicos de P e de Q seriam sempre iguais em todas as linhas da tabela. Nesse caso as proposies P e Q so fbfs equivalentes, que ser denotado por P Q e isto representa que a fbf P Q uma tautologia. Vejamos algumas equivalncias bsicas. Representaremos qualquer contradio por 0 e 1 qualquer tautologia. (comutatividade) 1a. AB B A 1b. A B B A (associatividade) 2a. (A CA C) B) (B 2b. (A B) A (B C) C (distributividade) 3a. A C)(AB) (AC) (B 3b. A(B (A (A C) B) C) (elem. neutros) 4a. A 0 A 4b. A 1 A (complementares) 5a. A A 1 5b. A A 0 Exemplo: Considere as tabelas verdade abaixo que mostra a equivalncia 1a, a comutatividade para a disjuno e o elemento neutro para conjuno 4b. A V V F F A V F B AB V V F V V V F F 1 A 1 V V V F B A A B B A V V V V V V F V A 1 A V V

Tarefa: Verifique a equivalncia 5a. Note que as equivalncias esto agrupadas em cinco pares. Em cada par uma equivalncia pode ser obtida da outra substituindo-se por e vice-versa, 0 por 1 e idem. , Cada equivalncia em um dos pares a dual da outra. Assim 1a e 1b so duais uma da outra.

Duas equivalncias muito teis so chamadas as Leis de De Morgan, matemtico ingls do sculo XIX. LEIS de DE MORGAN: (A B) A B e (A B) A B Cada uma dual da outra. As leis de De Morgan auxiliam na negao de uma proposio composta. CONECTIVOS LGICOS NO MUNDO REAL Sabemos que os programas de busca na internet so extremamente teis, pois contm recursos disponveis, mas um pouco de cuidado pode ajudar a chegar ao resultado mais rapidamente. Por exemplo, se deseja pesquisar carros usados, o resultado obtido ser todas as referncias que contm a palavra carros ou a palavra usados, isso poderia incluir diversas referncias que no fazem parte da pesquisa. Se voc escrever carros usados (entre aspas) na maior parte dos programas de busca, isso faria uma restrio e faria uma busca nas pginas que tiverem exatamente a frase. A maior parte dos programas de busca permite que utilize uma expresso usando conectivos lgicos o que pode ajudar ainda mais na sua pesquisa. Para diminuir ainda mais sua pesquisa sobre carros usados como, por exemplo, carros usados E (Ford OU Gurgel). Isso limitaria a pesquisa, no entanto pode ser que aparea outros tipos de veculos ento a pesquisa carros usados E (Ford OU Gurgel) E NO caminhes eliminaria os lugares que mencionam caminhes. Muitos programas de busca usam o sinal + no lugar de E (ou AND) e no lugar de E NO (ou AND NOT). Sabemos que os conectivos agem em combinaes de expresses verdadeiras ou falsas para produzir um valor lgico final. Tais valores fornecem a capacidade de deciso fundamental ao fluxo de controle em programas de computadores. Assim, em uma ramificao condicional de um programa, se o valor lgico da expresso for verdadeiro, o programa executar; se o valor lgico for falso, ele executar um trecho diferente de seu cdigo. Se uma expresso do cdigo pode ser substituda por outra equivalente mais simples, o valor lgico da expresso no ser afetado. Exemplo: Considere uma proposio em um programa de computador. If ((Fluxo de Sada > Fluxo de Entrada) and not ((Fluxo de Sada > Fluxo de Entrada) and (Presso < 1000))). do Alguma Coisa; else do Outra Coisa; Note que a expresso condicional tem a forma: A (A B) Onde A Fluxo de Sada > Fluxo de Entrada e B Presso < 1000. Essa expresso pode ser substituda por uma fbf equivalente. A (A B)= A (A B) (Leis de De Morgan) = (A A) (A B) (tautologia 3b) = 0 (A B) (tautologia 5b)

= (A B) 0 (tautologia 1a) = A B (tautologia 4a) A proposio pode, ento, ser escrita na forma: If ((Fluxo de Sada > Fluxo de Entrada) and not (Presso < 1000)). do Alguma Coisa; else do Outra Coisa;

ALGORITMO Para testar uma fbf sempre podemos recorrer sempre a uma tabela verdade, no entanto se o conectivo principal um condicional, ou seja, a fbf tem a forma P Q, ento podemos utilizar um procedimento mais rpido do que construir uma tabela-verdade para verificar se P Q ou no uma tautologia. Vamos supor que P Q no uma tautologia e ver se isso leva a uma coisa impossvel. Se esse for o caso, ento a hiptese de que P Q no uma tautologia tambm impossvel, e P Q vai ter que ser mesmo uma tautologia. Supor que P Q no uma tautologia o mesmo que dizer que pode assumir o valor falso e, pela tabela verdade para a condicional P Q s falsa quando P verdadeira e Q falsa. Designando os valores verdadeiro para P e falso para Q, determinamos os possveis valores lgicos para as fbfs que constituem P e Q. Continuamos a atribuio de valores lgicos dessa forma at que todas as letras de proposio tem um valor lgico. Se, por esse processo, a alguma letra de proposio for atribuda os valores verdadeiros e falso ao mesmo tempo, teremos uma situao impossvel, logo a fbf P Q tem que ser uma tautologia. Caso contrrio, encontramos uma maneira de tornar a proposio P Q falsa e, portanto, ela no uma tautologia. O que foi descrito somente um conjunto de instrues para que se possa executar uma tarefa de determinar se P Q ou no uma tautologia. Esse procedimento pode ser executado mecanicamente seguindo determinadas instrues, tal situao denominado algoritmo. Os algoritmos so muitas vezes descritos de maneira intermediria puramente verbal, essa forma intermediria de escrever dita pseudocdigo.Veja um pseudocdigo para determinar se P Q , ou no, uma tautologia. Observao // indica um comentrio.

ALGORITMO Testa a Tautologia(fbf P; fbf Q) // Dadas duas fbfs P e Q, decide se a fbf P Q , ou no, uma tautologia. //Suponha que P Q no uma tautologia P = verdadeira // atribui V a P Q = falsa // atribui F a Q repita para cada fbf composta qual j tenha sido atribuda um valor lgico, atribua os valores lgicos determinados para cada uma de suas componentes. at todas as letras de proposio terem valores lgicos se alguma letra de proposio tiver dois valores lgicos ento // contradio, a hiptese falsa escreva (P Q uma tautologia.) caso contrrio // existe uma maneira de tornar P Q falsa escreva (P Q no uma tautologia) fim se fim Testa Tautologia O algoritmo primeiro atribui os valores lgicos verdadeiro para P e falso para Q, de acordo com a hiptese de que P Q no uma tautologia. O algoritmo, ento, entra em um lao, onde uma seqncia de passos repetida at que uma determinada condio seja satisfeita. Dentro do lao, atribuem-se valores lgicos s componentes cada vez menores das proposies P e Q at que todas as letras de proposio tenham valores lgicos. Ento o algoritmo testa se ocorreu alguma contradio e a escreve sobre P Q verificando se ou no uma tautologia. Exemplo: Considere a fbf (A B) (B A). Essa proposio tem a forma necessria para usar o algoritmo Testa Tautologia, ou seja, da forma P Q, onde P A B e Q: B A. Seguindo o algoritmo, atribumos primeiro os valores lgicos. A B verdadeiro e B A falso Entretanto no lao, a atribuio de falso a proposio B A determina outras atribuies, a saber: B verdadeiro e A falso Ou B falso e A verdadeiro Trabalhando com P, A verdadeiro e A B verdadeiro atribui B verdadeiro. Isso encerra o lao. No ltimo passo do algoritmo B tem dois valores lgicos simultaneamente V e F, logo o algoritmo decide que (A B) (B A) uma tautologia.

LGICA PROPOSICIONAL A alegao do advogado no nicio desta disciplina consistiu em um nmero de declaraes (supostamente verdadeiras), seguida de um pedido ao jri para chegar a uma concluso baseado nessas declaraes. Utilizamos a lgica formal para representar proposies em forma simblica como fbf. O objetivo agora usar ferramentas da lgica formal para ver como chegar a concluses a partir de proposies dadas. O sistema formal que usa fbfs proposicionais chamado lgica proposicional, lgica declarativa ou clculo proposicional. Argumentos Vlidos Um argumento pode ser representado em forma simblica como: P1 P2 P3 ... Pn Q Onde P1 P2 P3 ... Pn so proposies dadas, chamadas de hipteses do argumento, e Q a concluso do argumento. Assim como o argumento do advogado devemos questionar: Quando esse deve ser considerado um argumento vlido? Essa questo pode ser vista de outras maneiras equivalentes: Quando Q pode ser deduzido logicamente de P1 , P2 , P3 , ... , Pn ? Quando Q uma concluso lgica de P1 , P2 , P3 , ... , Pn ? Quando P1 , P2 , P3 , ... , Pn implica logicamente Q? Quando Q segue logicamente de P1 , P2 , P3 , ... , Pn ?

Uma possibilidade de resposta informal que Q uma concluso lgica de P 1 , P2 , P3 , ... , Pn sempre que a verdade das proposies P1 , P2 , P3 , ... , Pn implica na verdade de Q. Em outras palavras: P1 P2 P3 ... Pn Q Quando o condicional for verdadeiro. No podemos nos esquecer que o condicional verdadeiro quando qualquer uma das hipteses falsa mas, em geral vamos nos preocupar quando todas as hipteses so verdadeiras. Alm disso, esse condicional deveria ser verdadeiro baseado na relao entre a concluso e as hipteses, e no em qualquer situao que por acaso tivermos sobre Q. Exemplo: Considere o seguinte argumento: Marechal Deodoro da Fonseca foi o primeiro presidente do Brasil. A proclamao da Repblica foi no dia 15 de novembro de 1889. Portanto, todo dia tem 24 horas. Esse argumento tem duas hipteses: 1) Marechal Deodoro da Fonseca foi o primeiro presidente do Brasil.

2) A proclamao da Repblica foi no dia 15 de novembro de 1889. E a concluso que: Todo dia tem 24 horas. Embora cada hiptese individualmente, assim como a concluso, seja verdadeira, no deveramos considerar esse argumento vlido. A concluso meramente um fato verdadeiro isolado, que no est relacionado com, nem segue de, as hipteses. Um argumento vlido deveria portanto ser verdadeiro baseado inteiramente em sua estrutura interna; ele deveria ser intrinsecamente verdadeiro. Temos ento a seguinte definio: Definio: A fbf proposicional: P1 P2 P3 ... Pn Q um argumento vlido quando for uma tautologia. O argumento do exemplo anterior poderia ser simbolizado como: A B C O que evidentemente, no uma tautologia. Considere o seguinte argumento: Marechal Deodoro da Fonseca foi o primeiro presidente do Brasil, ento Marechal Floriano Peixoto foi o primeiro vice-presidente. Marechal Deodoro da Fonseca foi o primeiro presidente do Brasil. Portanto, Marechal Floriano Peixoto foi o primeiro vicepresidente. Esse argumento tem duas hipteses: Uma representao simblica desse argumento tem a forma: (A B) A B. Uma tabela verdade ou o algoritmo Testa a Tautologia mostra que esse argumento uma tautologia. O argumento vlido; sua forma tal que a concluso segue, inevitavelmente das hipteses. De fato, essa forma de argumento conhecido pelo nome modus ponen (mtodo de afirmao) uma das regras de raciocnio que usaremos para construir a lgica proposicional. Para testar se P1 P2 P3 ... Pn Q uma tautologia, podemos utilizar as tabelasverdade ou usar o algoritmo Testa a Tautologia, no entanto utilizaremos a lgica formal, que usa um sistema de regras de deduo que modificam uma fbf de modo que a preservar seu valor lgico. Comearemos com as hipteses (supostas verdadeiras) e tenta aplicar as regras de deduo de maneira a terminar com a concluso Q. Definio: (Seqncia de Demonstrao) Uma seqncia de demonstrao uma seqncia de fbfs nas quais cada fbf uma hiptese ou o resultado de se aplicar uma das regras de deduo do sistema formal s fbfs anteriores na seqncia. Usando lgica formal para provar que Q uma concluso vlida de P 1, ..., Pn, precisamos produzir uma seqncia de demonstrao da forma.

P1 (hiptese) P2 (hiptese) ... Pn (hiptese) fbf1 (obtida aplicando uma regra de deduo s fbfs anteriores) fbf2 (obtida aplicando uma regra de deduo s fbfs anteriores) ... Q (obtida aplicando-se uma regra de deduo s fbfs anteriores). As regras de deduo para um sistema formal tm que ser escolhidas cuidadosamente. Se forem fortes demais, no preservaro os valores lgicos e seremos capazes de deduzir qualquer coisa de um dado conjunto de hipteses. Se forem fracas demais, existiro concluses que no seremos capazes de provar a partir de um conjunto dado de hipteses. Desejamos um sistema lgico formal que seja correto (apenas argumentos vlidos deveriam ser demonstrveis) e completo (todos os argumentos vlidos deveriam ser demonstrveis). Alm disso, as regra de deduo deveriam ser mantidas mnimas de modo a tornar o sistema formal tratvel. Gostaramos que o sistema tivesse o menor nmero possvel de regras de deduo que o torne completo. Regras de Deduo para a Lgica Proposicional As regras de deduo para a lgica proposicional so basicamente de dois tipos, equivalncias e inferncias. As regras de equivalncia permitem que fbfs individuais sejam reescritas mantendo o mesmo valor lgico, enquanto as regras de inferncia permitem a deduo de novas fbfs a partir de fbfs anteriores na seqncia de demonstrao. Para a lista de regras de equivalncia ser dado um nome para cada regra para facilitar sua identificao em uma seqncia de demonstrao. Anteriormente j estudamos algumas, no entanto essas regras foram dadas para letras de proposio; so dadas aqui para fbfs arbitrrias P, Q, R, mas continuam sendo tautologias. Regras de Equivalncia Expresso Equivalente a PQ Q P PQ Q P (PQ) R P(Q R) (PQ) R P(Q R) (P Q) P Q (P Q) P Q P Q P Q P (P) PQ (PQ) (QP) Nome/Abreviao Comutatividade- com Associatividade ass Leis de De Morgan De Morgan Condicional cond Dupla negao dn Definio de equivalncia - equi

Exemplo: Suponha que uma hiptese de um argumento proposicional pode ser simbolizada como (A B) C. Uma seqncia de demonstrao para o argumento poderia comear com os seguintes passos: 1. (A B) C hip 2. (A B) C 1, De Morgan 3. (A B) C 2, cond. Note que as regras de equivalncia permitem substituio em qualquer direo. As regras de inferncia dizem que se uma ou mais fbfs, contidas na primeira coluna das regras de inferncia, fazem parte de uma seqncia de demonstrao, ento podemos adicionar uma nova fbf na seqncia substituindo as anteriores por uma correspondente. Ao contrrio das regras de equivalncia, as regras de inferncias no funcionam em ambas as direes. No podemos inverter. Regras de Inferncia De Podemos Deduzir Q P, P Q P P Q, Q P, Q P Q P, Q P Q P P Q PQ, PR QR Q P Q, P PQ Q P Q P PQ P P P P P P (P Q) R P(QR) P, P Q P (Q R) (P Q) (P R) P (Q R) (P Q) (PR) Nome/Abreviao da Regra Modus Ponens mp Modus Tollens mt Conjuno conj Simplificao simp Adio ad Silogismo Hipottico sh Silogismo disjuntivo sd Contraposio cont Contraposio cont Auto-referncia auto Auto-referncia auto Exportao exp Inconsistncia inc Distributividade dist Distributividade dist

Suponha que A (B C) e A so duas hipteses em um argumento. Uma seqncia de demonstrao para o argumento poderia comear com os seguintes passos: 1. A (B C) hip 2. A hip 3. B C 1, 2 mp A justificativa no passo 3 que os passos 1 e 2 tm exatamente a forma necessria para o modus ponens, onde P A e Q B C (mtodo de afirmao em latim) diz que Q pode ser inferido de P e P Q.

As regras de inferncia tambm preservam os valore lgicos. Por exemplo, suponha que P e P Q so ambas fbfs verdadeiras em uma seqncia de demonstrao. Ento Q dedutvel dessas duas fbfs pelo modus ponens. Se P e P Q so ambas verdadeiras, ento pela tabela verdade do condicional Q tambm verdadeira.. As regras de deduo representam receitas para transformar fbfs. Uma regra s pode ser aplicada quando a fbf tiver exatamente a forma descrita na regra. Exemplo: Usando a lgica proposicional, prove o argumento: A C) [(A B) (D C)] B D valido. (B Inicialmente vamos listar as hipteses: 1. A hip 2. B C hip 3. (A B) (D C) hip 4. B Nosso objetivo chegar a D, a concluso. Mas, podemos fazer alguns passos Bastante bvios que podem ou no, ser teis mais tarde. 5. C 2, 4 mp 6. A B 1, 4 conj 7. D C 3, 6 mp Pelo menos agora conseguimos D, embora no esteja sozinho. Note que no passo 5 conseguimos C, que ainda no foi usado. Mas no passo 7, uma disjuno e a regra do condicional diz que podemos transformar uma disjuno em um certo tipo de condicional. A disjuno tem que ter uma regra na fbf da esquerda. 8. C D 7, com 9. C D 8, cond 10. D 5, 9 mp As seqncias de demonstrao envolvem certa quantidade de fbf que so escritas s porque isso pode ser feito e uma certa conscincia de qual o objetivo e como atingi-lo. Embora no to mecnico como a construo de uma tabela-verdade, mas permitem um modo mais ou menos de construir a seqncia de demonstrao. Existe apenas um determinado nmero de passos legtimos que podem ser feitos em qualquer ponto dado da seqncia. Pode tambm existir tambm, mais de uma seqncia de demonstrao correta.

MTODOS DEDUTIVOS E OUTRAS REGRAS Suponha que o argumento que queremos provar tenha a forma: P1 P2 P3 ... Pn (R S) Onde a concluso uma implicao. Ao invs de usar P1, ..., Pn como hipteses e inferir R S, o mtodo dedutivo nos permite adicionar R como uma hiptese adicional e depois inferir S. Em outras palavras, podemos provar: P1 P2 P3 ... Pn R S Isso se torna uma vantagem, pois nos d mais uma hiptese, isto , mais artifcios para facilitar a demonstrao. Exemplo: Use a lgica proposicional para provar [A (A B)] (A B) Pelo mtodo dedutivo, temos duas hipteses ao invs de uma e queremos obter B. 1. A (A B) hip 2. A hip 3. A B 1, 2 mp 4. B 2, 3 mp Uma questo que pode nos vem a cabea : Ser que o sistema correto? Sim, o sistema correto e completo. Todo argumento que podemos provar uma tautologia e todo condicional que uma tautologia demonstrvel. O que seria correto e completo? Correo e completamento dizem que o conjunto de regras de deduo que usamos est na medida certa. Assim muitos sistemas formais usam regras de inferncias adicionais, sempre preservando os valores lgicos, e podemos utiliza-ls como justificativa em uma seqncia de demonstrao tornando assim nossas demonstraes mais curtas. A regra do silogismo hipottico (sh) : De P Q e Q R pode-se deduzir P R. Exemplo: Use a lgica proposicional para demonstrar que: (AB) (B C) (A D). 1. AB hip 2. B C hip 3. A B 1, cond 4. A C 2, 3 sh Tarefa: Tente agora sem utilizar as regras dedutivas. Argumentos Verbais

Um argumento verbal formado por declaraes simples pode ser testado logicamente por um processo em duas etapas. 1. Simbolize cada declarao usando fbfs proposicionais 2. Prove a validade do argumento construindo uma seqncia de demonstrao das regras de deduo para a lgica proposicional. Exemplo: Se as taxas de juros carem, o mercado imobilirio vai melhorar. Ou a taxa federal de descontos vai cair, ou o mercado imobilirio no vai melhorar. As taxa de juros vo cair. Portanto, a taxa federal de descontos vai cair. Usando a notao: J taxa de juros vai cair I O mercado imobilirio vai melhorar F A taxa federal de descontos vai cair., podemos reescrever o argumento como: (J I) (F I) J F Uma seqncia de demonstrao : 1. J I hip 2. F I hip 3. J hip 4. I F 2, com 5. I F 4, cond 6. J F 1, 5 sh 7. F 3, 6 mp Obs: A validade do argumento uma funo apenas de seu formato lgico e no tem nada a ver com a verdade fatual de nenhum de seus componentes. O tipo de raciocnio que usamos na lgica proposicional pode ser aplicado no nosso dia-a-dia. Formam a base do pensamento lgico em computao, em matemtica, etc. Embora tenhamos abordado a lgica como um sistema mecnico de aplicao de regras, essa maneira de pensar torna-se bastante prtica, fazendo com que voc no sinta mais necessidade de consultar tabelas verdades e possa chegar a concluses lgicas e reconhecer argumentos vlidos por conta prpria.