Trigonometria

Curso Bsico de Lgica Matemtica a o a
Renata de Freitas Petrucio Viana Verso preliminar a
Conte do u
1 Lgica Sentencial o 1.1 Motivao . . . . . . . . . . . . . . . . . . . . . ca 1.1.1 Um Exemplo . . . . . . . . . . . . . . . 1.1.2 Verdades Lgicas . . . . . . . . . . . . . o 1.2 Sintaxe . . . . . . . . . . . . . . . . . . . . . . 1.2.1 Formao de Sentenas . . . . . . . . . ca c 1.2.2 Reescrita de Sentenas . . . . . . . . . . c 1.2.3 Simbolizao de Sentenas . . . . . . . . ca c 1.3 Semntica . . . . . . . . . . . . . . . . . . . . . a 1.3.1 Funo de Verdade . . . . . . . . . . . . ca 1.3.2 Regras de avaliaao e tabelas de verdade c 1.3.3 Interpretaes . . . . . . . . . . . . . . . co 1.4 Tautologias, Contingncias e Contradies . . . e co 1.5 Equivalncia Tautolgica . . . . . . . . . . . . . e o 1.6 Validade . . . . . . . . . . . . . . . . . . . . . . 1.6.1 Passos Lgicos . . . . . . . . . . . . . . o 1.6.2 Validade de Argumentos . . . . . . . . . 1.6.3 O Mtodo das Tabelas de Verdade . . . e 2 Lgica Mondica o a 2.1 O Clculo Sentencial . . . . . . . . . . . . . . a 2.1.1 O CS . . . . . . . . . . . . . . . . . . 2.1.2 Insucincia do CS . . . . . . . . . . . e 2.2 Quanticao . . . . . . . . . . . . . . . . . . ca 2.2.1 Quanticao em Dom ca nios Finitos . . 2.2.2 Quanticao em Dom ca nios Innitos . 2.3 Sintaxe . . . . . . . . . . . . . . . . . . . . . 2.3.1 Formas Sentenciais . . . . . . . . . . . 2.3.2 Constantes e Variveis . . . . . . . . . a 2.3.3 Forma dos Enunciados Atmicos . . . o 2.3.4 Propriedades e S mbolos de Predicado 2.3.5 Reescrita de S mbolos de Predicado . 2.3.6 Termos . . . . . . . . . . . . . . . . . 2.3.7 Reescrita e Simbolizao de Termos . ca 2.3.8 Simbolizao de Enunciados . . . . . . ca 3 7 7 7 8 9 9 17 22 26 26 29 36 41 43 45 45 46 48 57 57 57 60 64 64 67 69 69 71 73 74 75 77 78 79
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . dos conectivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . .
4 3 Arvores de Refutao ca 3.1 Inecincia das tabelas de verdade e 3.2 O mtodo de reduo ao absurdo . e ca 3.3 O mtodo de refutao . . . . . . . e ca 3.4 Arvores de refutao . . . . . . . . ca 3.5 Regras de refutao do CS . . . . . ca 3.6 Regras de refutao do CM . . . . ca
CONTEUDO 83 83 84 85 86 87 92 97 97 104 106 108 110 113 113 113 114 117 119 119 123 125 128 130 131 132 136 138 142 144 147 154 160 161
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
. . . . . .
4 Lgica Quanticacional o 4.1 O Clculo Mondico, CM . . . . . . . . . . . . . . . . . a a 4.1.1 Forma dos Enunciados Atmicos . . . . . . . . . o 4.1.2 Propriedades, Relaes e S co mbolos de Predicado 4.1.3 Reescrita de S mbolos de Predicado . . . . . . . 4.1.4 Simbolizao de Enunciados . . . . . . . . . . . . ca 5 Sistema Dedutivo 5.1 Regra T . . . . . . . . . . . . . 5.1.1 Mais algumas limitaes co 5.1.2 A Regra T . . . . . . . 5.1.3 Utilizando a Regra T . . 5.2 Mtodo de Anlise e S e a ntese . . 5.2.1 Anlise e S a ntese . . . . 5.2.2 Eliminao do . . . . ca 5.2.3 Introduo do . . . . ca 5.2.4 Eliminao do . . . . ca 5.2.5 Introduo do . . . . ca 5.2.6 Introduo do . . . . ca 5.2.7 Eliminao do . . . . ca 5.2.8 Eliminao do . . . . ca 5.2.9 Introduo do . . . . ca 5.2.10 Eliminao do . . . . ca 5.2.11 Introduo do . . . . ca 5.2.12 Eliminao do . . . . ca 5.2.13 Introduo do . . . . ca 5.2.14 Introduo do . . . . ca 5.2.15 Eliminao do . . . . ca
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . .
Prefcio a
Este texto foi escrito para ser usado como material de apoio nas disciplinas de Lgica o Matemtica, oferecidas para os alunos dos primeiros per a odos dos cursos de n superior. vel Por ser um texto introdutrio para alunos sa o dos a pouco tempo do segundo grau, possui algumas peculiaridades. Em particular, para sua leitura no necessrio quase a e a nenhum pr-requisito matemtico e nenhuma compreenso do que seja a atividade lgica. e a a o Tudo o que necessrio dado no texto. e a e Estas peculiaridades so o resultado da anlise, por parte dos autores, da seguinte a a questo: a lgica matemtica pode tanto ser considerada como o estudo do ferramental a o a lgico utilizado pelos matemticos, quanto como o estudo da lgica, utilizando o ferrao a o mental matemtico. a Tanto em uma abordagem como na outra, evidente que se deve ter algum conhecie mento do que seja a atividade matemtica e do tipo de questes de que trata a lgica, pois a o o no se pode estudar a lgica utilizada pelos matemticos se no se conhece a lgica que os a o a a o matemticos utilizam. E no se pode estudar a lgica utilizando ferramentas matemticas a a o a se no se conhece as ferramentas que os matemticos utilizam. Assim, no se pode estudar a a a devidamente a lgica matemtica se no se conhece um m o a a nimo de matemtica. a Por outro lado, uma crena geral mas no universal que se deve conhecer um e c a m nimo de lgica para que se possa aprender matemtica. o a Podemos dizer, ento, que o presente texto foi escrito sob a luz do seguinte paradoxo: a Conhecer a matemtica para estudar a lgica e ao mesmo tempo, conhecer a a o lgica para estudar a matemtica. o a Este texto uma tentativa de soluo para o paradoxo acima. Por isso, procuramos moe ca tivar a introduo de todos os conceitos lgicos apresentados, a partir de algumas anlises ca o a iniciais da atividade matemtica mais expl a cita, a saber, a prova de teoremas. Atravs da e anlise da prova de um resultado simples da aritmtica dos nmeros naturais, os principais a e u conceitos lgicos vo sendo gradativamente apresentados e o leitor levado a compreender o a e a lgica como uma atividade cr o tica e no apenas como uma coleo desconexa de conceitos a ca e resultados articiais. Os autores. 5
CONTEUDO
Cap tulo 1
Lgica Sentencial o
1.1
1.1.1
Motivao ca
Um Exemplo
O texto em destaque a seguir uma pgina t e a pica de um livro de Matemtica. Embora a ele deva ser lido com toda a ateno, nosso objetivo utiliz-lo apenas como referncia ca e a e para algumas questes e conceitos que sero introduzidos. o a
Nmeros Primos e Compostos u

Se a, b e c so inteiros tais que a b = c, dizemos que a e b so fatores (ou divisores) a a de c e que c um mltiplo de a e b. Como 3 4 = 12, o nmero 3 um fator de 12 e o e u u e nmero 12 um mltiplo de 3. Tambm 4 um fator de 12 e 12 um mltiplo de 4. O u e u e e e u nmero 12 tem ainda outros fatores. Por exemplo, 2, j que (2) (6) = 12. u a Consideremos agora os inteiros maiores que 1, isto , 2, 3, 4, . . . Cada um destes nmeros e u pode ser classicado como primo ou composto. Um nmero inteiro positivo p, maior que 1, u e primo se os unicos inteiros positivos que so fatores de p so o 1 e o prprio p. Todo nmero a a o u inteiro positivo maior que 1 que no primo composto. Assim, n composto se possui a e e e fatores diferentes de 1 e de n. Por exemplo, 5 primo, j que seus unicos fatores positivos e a so 1 e 5. Por outro lado, 10 composto, pois 2 um fator de 10, e 2 diferente de 1 e 10. a e e e Teorema Todo nmero inteiro positivo maior que 1 tem um fator primo. u
Prova: Seja n um inteiro positivo maior que 1. Sabemos que n primo ou n no primo. Se e a e n primo, como 1 n = n, ento n um fator de n e o teorema est provado. Se n no e a e a a e primo, ento n composto. Assim: a e n = n1 n 2 onde n1 e n2 so inteiros positivos, ambos menores que n. Se n1 primo, o teorema est a e a provado. Se no: a n1 = n3 n4 7
CAP ITULO 1. LOGICA SENTENCIAL
onde n3 e n4 so inteiros positivos, ambos menores que n1 . Novamente, se n3 primo, o a e teorema est provado. Se no, ento: a a a n3 = n5 n6 onde n5 e n6 so inteiros positivos, ambos menores que n3 . Generalizando o procedimento a acima teremos, depois de alguns passos: n2k1 = n2k+1 n2k+2 onde n2k+1 e n2k+2 so inteiros positivos, ambos menores que n2k1 . Como, para qualquer a valor de k: n > n1 > n3 > > n2k1 > 0 e n = n2k+1 n2k+2 n2k n2k2 n6 n4 n2 este procedimento deve terminar, ou seja, deve existir um menor inteiro primo n2k+1 que e um fator de n. Assim, o teorema est provado. a
As vrias partes que compem um texto de Matemtica podem ser classicadas, em a o a sentido estrito, nas seguintes categorias: denio, exemplo, teorema e prova (de um ca teorema). De uma maneira geral, a Lgica Matemtica pode ser considerada como o o a estudo de certos aspectos relacionados a denies, teoremas e provas. Aqui, trataremos co apenas de certas noes associadas a teoremas e provas. E, inicialmente, faremos algumas co observaes sobre um aspecto particular das provas. co
1.1.2
Verdades Lgicas o
Um teorema uma armao verdadeira, a qual estamos tentando justicar. Uma e ca prova de um teorema uma justicativa para que aceitemos a veracidade do teorema. e O primeiro aspecto das provas que queremos estudar est exemplicado no teorema que a aparece no texto em destaque, apresentado anteriormente. A prova desse teorema inicia do seguinte modo: Seja n um inteiro positivo maior que 1. Sabemos que n primo ou n no primo. e a e Ou seja, nesta prova tomamos um nmero inteiro positivo qualquer maior que 1 e u apresentamos a seguinte alternativa: ele primo ou no primo. No primeiro caso, e a e conclu mos trivialmente que ele possui um fator primo. No segundo, fornecemos uma explicao pormenorizada de como, aps sucessivas fatoraes, podemos encontrar um ca o co fator primo do tal nmero. Um passo fundamental da prova foi a considerao da frase: u ca n primo ou n no primo. e a e Examinando esta frase um pouco melhor, vemos que ela apresenta duas possibilidades complementares e excludentes. Ou seja, dado um inteiro positivo qualquer maior que 1, ou
1.2. SINTAXE
ele primo ou ele no primo. Observe que o que foi dito no uma caracter e a e a e stica apenas de nmeros e de propriedades de nmeros. De fato, dada uma propriedade P qualquer e u u um objeto a para o qual P faa sentido, a possui ou no possui a propriedade P . Por essa c a razo, so verdadeiras as sentenas: 2 par ou 2 no par, Tarski brasileiro ou Tarski no a a c e a e e a brasileiro, o conjunto dos nmeros perfeitos possui um maior elemento ou o conjunto dos e u nmeros perfeitos ou no possui um maior elemento, etc. u a Em resumo, queremos destacar os seguintes fatos: 1. Existem sentenas verdadeiras que possuem um tipo especial de verdade (que chamac remos de verdade lgica). o 2. Este tipo especial de sentena verdadeira (que chamaremos de sentena logicamente c c verdadeira) desempenha um papel importante na prova de teoremas. Assim, um primeiro passo nos estudos de Lgica Matemtica aprender a reconhecer o a e sentenas logicamente verdadeiras. O reconhecimento de verdades lgicas nossa moc o e tivao inicial e quase todos os conceitos que sero desenvolvidos visaro este m. ca a a
1.2
Sintaxe
A sintaxe de um sistema lgico trata da formao de sentenas e do estudo das seno ca c tenas de acordo com a maneira como so formadas. c a
1.2.1
Formao de Sentenas ca c
Como vimos na Seo 1.1, as sentenas: ca c - 2 par ou 2 no par, e a e - Tarski brasileiro ou Tarski no brasileiro e e a e - o conjunto dos nmeros perfeitos possui um maior elemento ou o conjunto dos nmeros u u perfeitos no possui um maior elemento a so logicamente verdadeiras porque armam duas possibilidades complementares e exclua dentes. Este fato nos leva a considerar que a verdade lgica de uma sentena est associada o c a a ` maneira como ela foi formada. Assim, nosso primeiro passo no reconhecimento das verdades lgicas ser o estudo da formao de sentenas. o a ca c Inicialmente, estudaremos a formao de sentenas por meio das part ca c culas no, e, a ou, se...ento e se, e somente se. Estas so algumas das part a a culas mais utilizadas na linguagem matemtica. a
10 Sentenas c
Em seu n vel mais elementar, a lgica trata das sentenas e dos diversos modos de o c combin-las. a Denio 1.1 Uma sentena uma expresso de uma dada linguagem que pode ser clasca c e a sicada como verdadeira ou falsa, de maneira exclusiva, em um dado contexto. Exemplo 1 So exemplos de sentenas: a c a) A cidade de Cubato polu a e da. b) A Amaznia um deserto. o e c) Aristteles alto ou no. o e a d) Boole e no escocs. e a e e As expresses acima so sentenas pois, no contexto usual, podem ser classicadas o a c como verdadeiras ou falsas. Em particular, a primeira e a terceira so verdadeiras, ena quanto que a segunda e a quarta so falsas. a A denio 1.1 restringe a aplicao da palavra sentena, quando utilizada em lgica. ca ca c o De uma maneira geral, as linguagens possuem outras expresses alm daquelas classicadas o e como sentenas, no sentido acima. c Exemplo 2 No so exemplos de sentenas: a a c a) Estude para a prova. b) Que prova dif cil! c) Quanto voc tirou na prova? e As expresses acima no so sentenas, pois no podem ser classicadas como vero a a c a dadeiras ou falsas. So, respectivamente, uma frase imperativa, uma frase exclamativa e a uma frase interrogativa. Conectivos Outra caracter stica essencial a todas as sentenas que, alm de poderem ser classic e e cadas como verdadeiras ou falsas, tambm podem ser utilizadas na formao de outras e ca sentenas. c
1.2. SINTAXE
11
Exemplo 3 Sentenas podem ser combinadas para formar sentenas por meio de exc c presses como e, ou, mas, porm, que so aplicadas a duas sentenas. Por exemplo, o e a c dadas as sentenas: c - A Matemtica uma cincia exata. a e e - A Aritmtica um ramo da Matemtica. e e a - Frege formalizou a Aritmtica. e - A formalizao de Frege inconsistente. ca e por aplicaoes das expresses e, ou, mas, e porm, podemos formar as sentenas: c o e c - A Matemtica uma cincia exata e a Aritmtica um ramo da Matemtica. a e e e e a - Frege formalizou a Aritmtica mas a formalizao de Frege inconsistente. e ca e - Frege formalizou a Aritmtica e a formalizao de Frege inconsistente, porm a Arite ca e e mtica um ramo da Matemtica e a Matemtica uma cincia exata. e e a a e e Tambm podemos formar sentenas a partir de sentenas, por aplicao de expresses e c c ca o como no e poss que, que so aplicadas a uma unica sentena: a e vel a c - A Matemtica no uma cincia exata. a a e e - E poss que Frege tenha formalizado a Aritmtica. vel e - Frege formalizou a Aritmtica e poss que a formalizao de Frege seja inconsistente. e e vel ca Embora as expresses no, e, ou, mas, porm e poss o a e e vel que no possuam todas a a mesma classicao gramatical, do ponto de vista da Lgica todas possuem a mesma ca o funo, a saber, a de formar sentenas a partir de uma ou mais sentenas previamente ca c c dadas. Em Lgica, as expresses utilizadas para este m recebem uma denominao o o ca especial. Denio 1.2 Um conectivo uma expresso de uma dada linguagem, utilizada para ca e a formar sentenas a partir de sentenas dadas. c c Exemplo 4 Dadas as sentenas 2 par e 3 < 2, podemos formar, por exemplo, as c e seguintes sentenas: c a) 2 par e 3 < 2. e b) 2 par ou 3 < 2. e c) Se 2 par, ento 3 < 2. e a
12 d) 2 par se, e somente se, 3 < 2. e e) 2 no par. a e
Uma maneira adequada de se considerar os conectivos pensar neles como operaes. e co Uma operao uma maneira de combinar elementos para formar novos elementos. Por ca e exemplo, a operao de adio que associa aos nmeros 1 e 2 o nmero 3. No caso dos ca ca u u conectivos os elementos operados so sentenas e o resultado obtido uma nova sentena. a c e c Exemplo 5 O no pode ser considerado como uma operao que associa, por exemplo, a ca ` sentena 2 par, a sentena 2 no par. Assim, diferentemente da sua classicao a c e c a e ca gramatical usual, em Lgica, o no classicado como conectivo. o a e
Peso de um conectivo
Observe que, no Exemplo 4, para formar a sentena: c e) 2 no par, a e aplicamos o conectivo no a uma unica sentena, a saber: 2 par; enquanto que, para a c e formar as sentenas: c a) 2 par e 3 < 2, e b) 2 par ou 3 < 2, e c) Se 2 par, ento 3 < 2 e e a d) 2 par se, e somente se, 3 < 2, e aplicamos os conectivos e, ou, se...ento e se, e somente se a duas sentenas. a c Os conectivos so classicados de acordo com o nmero de sentenas que necessitam a u c para a formao de uma nova sentena. ca c Denio 1.3 O peso de um conectivo o nmero exato de sentenas utilizadas para ca e u c formar uma nova sentena, por meio deste conectivo. c Exemplo 6 A tabela abaixo lista os pesos dos conectivos. Conectivo no a e ou se...ento a se, e somente se Peso 1 2 2 2 2
1.2. SINTAXE
13
Embora todos os conectivos exeram o mesmo papel na formao de sentenas, situac ca c es muito diferentes podem acontecer ao se avaliar as sentenas obtidas por aplicao co c ca destes conectivos. Assim, devido a grande quantidade de conectivos e a diversidade na maneira de us-los na avaliao de sentenas, numa primeira abordagem, no se faz um a ca c a estudo geral dos conectivos. Ao invs disto, o que fazemos xar apenas um pequeno grupo e e de conectivos, que possuam caracter sticas ans, e estud-los de maneira detalhada. Como a j dissemos anteriormente, nosso objetivo estudar certos aspectos lgicos da atividade a e o matemtica. Assim, consideraremos apenas os conectivos no, e, ou, se...ento e se, e a a a somente se. Tradicionalmente, estes so os conectivos considerados no tratamento lgico a o do racioc nio matemtico. Salvo meno expl a ca cita em contrrio, sempre que usarmos a a palavra conectivo estaremos nos referindo a um dos conectivos no, e, ou, se...ento e a a se, e somente se.
Sentenas atmicas e sentenas moleculares c o c

Podemos agora classicar as sentenas de acordo com o fato de terem sido ou no c a obtidas a partir de sentenas anteriores por meio de conectivos. c Denio 1.4 Uma sentena atmica se nela no ocorrem conectivos. ca c e o a As sentenas atmicas so consideradas as sentenas bsicas, isto , aquelas a partir c o a c a e das quais todas as outras sentenas podem ser formadas. c Exemplo 7 So exemplos de sentenas atmicas: a c o a) 3 primo. e b) 2 maior que 0. e c) Todo homem mortal. e d) E necessrio urgncia no envio desta carta. a e As sentenas acima so atmicas pois em nenhuma delas ocorre no, e, ou, se...ento c a o a a ou se, e somente se. Denio 1.5 Uma sentena molecular se no atmica, isto , se nela ocorre pelo ca c e a e o e menos um conectivo. Exemplo 8 So exemplos de sentenas moleculares: a c a) 5 no primo. a e b) Se Gotlob Frege estiver certo e Bertrand Russell resolver o paradoxo, ento a Matemtica a a ser apenas um ramo da Lgica. a o
14
As sentenas so moleculares pois em cada uma delas ocorre pelo menos um conectivo. c a Na primeira ocorre o conectivo no, enquanto que na segunda ocorrem os conectivos e e a se...ento. a
Classicao das sentenas moleculares ca c

Podemos ainda classicar as sentenas moleculares pelo modo como foram obtidas a c partir de outras sentenas por aplicao dos conectivos. c ca No caso do no, temos a seguinte denio: a ca Denio 1.6 Uma sentena uma negao se obtida de uma outra sentena por ca c e ca e c intermdio do conectivo no. e a Exemplo 9 A sentena no o caso que Joo gosta de Maria ou seja, Joo no gosta de c a e a a a Maria, a negao da sentena Joo gosta de Maria. e ca c a Neste exemplo, salientamos o uso freqente da expresso no o caso que como no. u a a e a Observe que, como o no um conectivo de peso 1, para se obter uma negao, o no a e ca a deve ser aplicado a uma unica sentena. Assim, temos a seguinte denio: c ca Denio 1.7 A sentena utilizada na formao de uma negao chamada a sentena ca c ca ca e c negada ou componente da negao. De uma maneira geral, se uma sentena qualquer, ca e c dizemos que a sentena negada da negao no o caso que . e c ca a e Exemplo 10 Na negao no o caso que 1 + (1 + 1) = 3 1, ou seja, no o caso que ca a e a e 1 + (1 + 1) no igual a 3 1, a sentena negada 1 + (1 + 1) no igual a 3 1, que por a e c e a e sua vez uma negao cuja sentena negada 1 + (1 + 1) igual a 3 1. e ca c e e Neste exemplo, salientamos o uso freqente, em Matemtica, de uma simbologia espeu a cial para a negao de sentenas. ca c No caso do e, temos a seguinte denio: ca Denio 1.8 Uma sentena uma conjuno se obtida de duas outras sentenas por ca c e ca e c intermdio do conectivo e. e Exemplo 11 A sentena 3 no divide 6 nem 8, ou seja, 3 no divide 6 e 3 no divide 8, c a a a e a conjuno da sentena 3 no divide 6 com a sentena 3 no divide 8. Estas por sua vez ca c a c a so, respectivamente, as negaes das sentenas 3 divide 6 3 divide 8. a co c Neste exemplo salientamos a necessidade de algumas vezes termos de reescrever as sentenas para explicitar sua formaao a partir dos conectivos. c c Observe que, como o e um conectivo de peso 2, para se obter uma conjuno, o e e ca deve ser aplicado a duas sentenas. Assim, temos a seguinte denio: c ca
1.2. SINTAXE
15
Denio 1.9 As sentenas utilizadas na formao de uma conjuno so chamadas ca c ca ca a componentes da conjuno. De uma maneira geral, se e so sentenas quaisquer, ca a c dizemos que a primeira componente e que a segunda componente da conjunao e e c e . Exemplo 12 A sentena 3 2 = 6 e 2 + 2 = 5 uma conjuno, pois foi obtida a partir c e ca das sentenas componentes 3 2 = 6 e 2 + 2 = 5 pelo uso do conectivo e. Dizemos ainda c que a sentena 3 2 = 6 a primeira componente da conjuno e a sentena 2 + 2 = 5 c e ca c e a segunda componente da conjuno. ca No caso do ou, temos a seguinte denio: ca Denio 1.10 Uma sentena uma disjuno se for obtida de duas outras sentenas ca c e ca c por intermdio do conectivo ou. e Exemplo 13 A sentena 2 par ou no natural, ou seja, 2 par ou 2 no natural, a c e a e e a e e disjuno da sentena 2 par com a sentena 2 no natural. ca c e c a e Observe que, como o ou um conectivo de peso 2, para se obter uma disjuno, o ou e ca deve ser aplicado a duas sentenas. Assim, temos a seguinte denio: c ca Denio 1.11 As sentenas utilizadas na formao de uma disjuno so chamadas ca c ca ca a componentes da disjunao. De uma maneira geral, se e so sentenas quaisquer, c a c dizemos que a primeira componente e que a segunda componente da disjuno e e ca ou . Exemplo 14 A sentena 2 um nmero par ou eu como o meu chapu uma disjuno, c e u e e ca pois foi obtida a partir das sentenas componentes 2 um nmero par eu vou comer o meu c e u chapu pelo uso do conectivo ou. Dizemos ainda que a sentena 2 um nmero par a e c e u e primeira componente da disjuno e a sentena eu vou comer o meu chapu a segunda ca c e e componente da disjuno. ca No caso do se...ento, temos a seguinte denio: a ca Denio 1.12 Uma sentena uma implicao se obtida de duas outras sentenas ca c e ca e c por intermdio do conectivo se...ento. e a Exemplo 15 A sentena o sistema de Frege inconsistente se Bertrand Russell descobriu c e um paradoxo, ou seja, se Bertrand Russell descobriu um paradoxo, ento o sistema de Frege a inconsistente, a implicao da sentena o sistema de Frege inconsistente pela sentena e e ca c e c Bertrand Russell descobriu um paradoxo. Neste exemplo salientamos o uso freqente da expresso se como se...ento. u a a
16
CAP ITULO 1. LOGICA SENTENCIAL Observe que, como o se...ento um conectivo de peso 2, para se obter uma implicao, a e ca
o se...ento deve ser aplicado a duas sentenas. Assim, temos a seguinte denio: a c ca Denio 1.13 As sentenas utilizadas na formaao de uma implicao so chamadas ca c c ca a componentes da implicaao. De uma maneira geral, se e so sentenas quaisquer, c a c dizemos que a antecedente e que a conseqente da implicaao se , ento . e e u c a Exemplo 16 A sentena se Poincar acha a Lgica importante, ento todo mundo acha a c e o a Lgica importante uma implicao, pois foi obtida a partir das sentenas componentes o e ca c Poincar acha a Lgica importante todo mundo acha a Lgica importante pelo uso do conece o o tivo se...ento. Dizemos ainda que a sentena Poincar acha a Lgica importante o ana c e o e tecedente da implicao e a sentena todo mundo acha a Lgica importante o conseqente ca c o e u da implicaao. c Observe que, neste caso, no dizemos primeira e segunda componentes. a No caso do se, e somente se, temos a seguinte denio: ca Denio 1.14 Uma sentena uma biimplicao se obtida de duas outras sentenas ca c e ca e c por intermdio do conectivo se, e somente se. e Exemplo 17 A sentena David Hilbert est errado se, e somente se, h um problema que c a a no possui soluo a bimplicaao das sentenas David Hilbert est errado h um problema a ca e c c a a que no possui soluo. a ca Observe que, como o se, e somente se um conectivo de peso 2, para se obter uma e biimplicao, o se, e somente se deve ser aplicado a duas sentenas. Assim, temos a ca c seguinte denio: ca Denio 1.15 As sentenas utilizadas na formao de uma biimplicao so chamadas ca c ca ca a componentes da biimplicao. De uma maneira geral, se e so sentenas quaisquer, ca a c dizemos que a primeira componente e que a segunda componente da biimplicao e e ca se, e somente se . Exemplo 18 A sentena o nmero de tomos no universo primo se, e somente se, no c u a e a possui divisores prprios uma biimplicao, pois foi obtida a partir das sentenas compoo e ca c nentes o nmero de tomos no univeros primo e o nmero de tomos no universo no possui u a e u a a divisores prprios pelo uso do conectivo se, e somente se. Dizemos ainda que a sentena o o c nmero de tomos no univeros primo a primeira componente da biimplicao e a senu a e e ca tena o nmero de tomos no universo no possui divisores prprios a segunda componente c u a a o e da biimplicaao. c
1.2. SINTAXE
17
1.2.2
Reescrita de Sentenas c
Ambig idade u Na Seo 1.2.1, classicamos as sentenas moleculares de acordo com a maneira como ca c so formadas a partir de outras sentenas, por aplicao dos conectivos. Em alguns casos, a c ca as sentenas tiveram que ser reescritas, para que pudessem ser classicadas. Embora c a reescrita de sentenas seja uma necessidade natural, na verdade, nem toda sentena c c pode ser trivialmente reescrita para que possamos classic-la em uma das categorias a denidas. Veremos agora que como a formao de sentenas usualmente no obedece a ca c a regras precisas, em certos casos, classicar uma sentena como atmica ou molecular pode c o ser uma tarefa dif cil. Exemplo 19 Vejamos alguns exemplos. a) Considere a sentena 4 diferente de 0. Se no levarmos em conta que o signicado c e a da expresso ser diferente de o mesmo que o da expresso no ser igual a, a e a a conclu mos que a sentena atmica pois nela no ocorrem conectivos. Por outro c e o a lado, se levarmos em conta a identidade destes signicados, a sentena poder ser c a reescrita como 4 no igual a 0 e da ser classicada como molecular pois nela ocorre a e o conectivo no. a b) Considere a sentena Richard Dedekind e Giuseppe Peano so casados. Levando em c a conta o signicado da sentena, conclu c mos que esta deve ser reescrita como Richard Dedekind casado e Giuseppe Peano casado pois, obviamente, no estamos querendo e e a dizer que ambos so casados um com o outro e sim que cada um deles casado a e com sua respectiva esposa. Portanto, esta sentena uma conjuno e deve ser c e ca classicada como molecular. Por outro lado, considere a sentena Kurt Gdel e Hao Wang so amigos. Levando c o a em conta o signicado da sentena, conclu c mos que esta no pode ser reescrita como a Kurt Gdel amigo e Hao Wang amigo, como zemos com a sentena anterior. o e e c De fato, quando dizemos que duas pessoas so amigas, estamos querendo dizer que a elas so amigas uma da outra e no atribuindo uma propriedade a cada uma dea a las isoladamente. Assim, esta sentena deve ser classicada como atmica pois a c o expresso e que nela ocorre no deve ser confundida com o conectivo e. a a c) Considere a sentena Maria e Joo so casados. Aqui temos um caso amb uo. De c a a g fato, levando em conta somente o signicado da sentena, no podemos concluir se c a ela deve ou no ser reescrita como Maria casada e Joo casado. Quando dizemos a e a e que um homem e uma mulher so casados podemos tanto estar querendo dizer que a eles so casados um com o outro quanto que eles so casados, mas com pessoas a a
18
CAP ITULO 1. LOGICA SENTENCIAL diferentes. Tudo depende do contexto em que a sentena est inserida. Assim, c a esta sentena tanto pode ser usada para armar uma relaao entre duas pessoas c c quanto para atribuir uma propriedade a cada uma delas isoladamente. Dependendo do contexto associado, esta sentena pode ser classicada tanto como atmica quanto c o molecular. d) Considere a sentena traga sua esposa ou venha sozinho e tenha uma noite agradvel. c a Levando em conta a maneira como est escrita, esta sentena pode ser lida de dois a c modos diferentes. De fato, considerando que a sentena obtida a partir das senc e tenas traga sua esposa e venha sozinho e tenha uma noite agradvel por aplicao c a ca do conectivo ou, a sentena pode ser lida como traga sua eposa, ou venha sozinho e c tenha uma noite agradvel. Por outro lado, considerando que a sentena obtida a a c e partir das sentenas traga sua esposa ou venha sozinho e tenha uma noite agradvel, c a por aplicao do conectivo e, a sentena pode ser lida como traga sua esposa ou ca c venha sozinho, e tenha uma noite agradvel. No primeiro caso, a sentena uma disa c e juno. No segundo, a sentena uma conjuno. Examinando os signicados de ca c e ca cada sentena reescrita, conclu c mos que cada uma delas possui um contedo bastante u diferente do da outra. Os exemplos anteriores mostram algumas sentenas que podem ser consideradas amc
b uas em relao a maneira como so formadas. Esta ambigidade decorre basicamente g ca a u do seguinte: Presena impl c cita de conectivos (no sentido lgico). Tal o caso do exemplo 19 (a). o e Presena expl c cita de expresses consideradas como conectivos (no sentido lgico) o o desempenhando um papel diferente daquele desempenhado pelos conectivos. Tal e o caso do exemplo 19 (c). Ausncia de uma notao que indique precisamente de que maneira esta sentena e ca c foi formada a partir de senteas anteriores. Tal o caso do exemplo 19 (d). c e A presena de ambigidades acarreta a possibilidade de leituras distintas para uma c u mesma sentena e isto pode acarretar anlises lgicas incompat c a o veis. Somos levados, ento, a a introduzir a reescrita de sentenas, de modo que sua formao obedea a regras precisas c ca c e ambigidades sejam evitadas. u Regras de reescrita Na tentativa de evitar ambigidades, usual reescrevermos as sentenas de modo que u e c sua formao obedea a regras precisas. Estas regras decorrem das seguintes consideraes: ca c co
1.2. SINTAXE
19
Como estamos considerando apenas sentenas que so formadas a partir de outras c a sentenas pelo uso dos conectivos, as sentenas atmicas so consideradas como as c c o a unidades bsicas a partir das quais todas as outras sentenas so formadas. Assim, a c a um primeiro passo na formao de sentenas no amb uas explicitar as sentenas ca c a g e c atmicas que esto sendo utilizadas. o a Para eliminar ambigidades decorrentes dos vrios usos dos conectivos em outras u a linguagens, na Linguagem da Lgica, o nmero, a forma e o uso dos conectivos na o u formao de sentenas moleculares so denidos precisamente. ca c a Para facilitar a reescrita e enfatizar que os conectivos esto sendo utilizados num a sentido restrito, em relao a maneira como so usados em outras linguagens, na ca a Linguagem da Lgica, os conectivos so simbolizados conforme a seguinte tabela: o a Conectivo no a e ou se...ento a se, e somente se Temos, ento, as seguintes regras de reescrita: a Sentenas atmicas c o S mbolo
Regra 1
Uma sentena atmica deve ser reescrita encerrada entre parnteses. c o e
Exemplo 20 Como no possuem a ocorrncia de conectivos, as sentenas: a e c a) 7 primo. e b) 8 maior que 0. e c) E necessrio que Maria pegue o trem. a d) Todo homem mortal. e so atmicas. Assim, devem ser reescritas encerradas entre parnteses: a o e a) (7 primo) e b) (8 maior que 0) e c) ( necessrio que Maria pegue o trem) e a d) (todo homem mortal) e
20 Negaoes c
Regra 2
Uma negao deve ser reescrita como ( ), onde a sentena negada, ca e c
previamente reescrita.
Exemplo 21
a) A negao 7 no primo deve ser reescrita como ((7 primo)). De ca a e e
fato, a sentena obtida pela aplicao do no ` sentena 7 primo. Esta ultima c e ca a a c e deve ser reescrita como (7 primo). Assim, aplicando a Regra 2 a esta sentena e c atmica reescrita, temos a reescrita da negao. o ca b) A negao no o caso que 7 no seja primo deve ser reescrita como (((7 primo))). ca a e a e De fato, a sentena obtida pela aplicao do no ` sentena 7 no primo que c e ca a a c a e deve ser reescrita como ((7 primo)). Assim, aplicando a Regra 2 a esta negaao e c reescrita, temos a reescrita da negao original. ca
Conjunes co
Regra 3
Uma conjuno deve ser reescrita como ( ), onde e so suas compoca a
nentes, previamente reescritas.
Exemplo 22
a) A conjuno 3 no primo nem maior que 0, ou seja, 3 no primo ca a e e a e
e 3 no maior que 0, deve ser reescrita como (((3 primo)) ((3 maior que a e e e 0))). De fato, a conjuno obtida por aplicao do conectivo e `s sentenas 3 no ca e ca a c a primo e 3 no maior que 0 que, segundo as regras anteriores, devem ser reescritas, e a e respectivamente, como ((3 primo)) e ((8 maior que 0)). Aplicando agora a e e Regra 3 `s duas sentenas reescritas, temos a reescrita da conjuno. a c ca b) Como j discutimos anteriormente, a conjuno Joo e Maria foram ` feira amb ua a ca a a e g pois no sabemos se devemos interpret-la como Joo foi ` feira e Maria foi ` feira a a a a a ou como Joo e Maria foram ` feira, juntos. Esta ambigidade de signicado acarreta a a u ambigidade de formao, pois no sabemos decidir se ela deve ser classicada como u ca a atmica ou molecular. Para reescrever as sentenas onde ocorrem este tipo de amo c bigidade, faremos a conveno de consider-las sempre como sentenas moleculares, u ca a c mesmo que haja risco de mudarmos o contedo da sentena. u c Assim, a sentena deve ser reescrita como ((Joo foi ` feira) (Maria foi ` feira)). c a a a
1.2. SINTAXE Disjunes co
21
Regra 4
Uma disjuno deve der reescrita como ( ), onde e so suas compoca a
nentes, previamente reescritas.
Exemplo 23
a) A disjuno 2 no maior que 0, ou 3 primo e 2 maior que 0 deve ca a e e e
ser reescrita como (((2 maior que 0)) ((3 primo) (2 maior que 0))) e e e b) A conjunao 2 no maior que 0 ou 3 primo, e 2 maior que 0 deve ser reescrita c a e e e como ((((2 maior que 0)) (3 primo)) (2 maior que 0)). Observe que, e e e neste caso, a primeira componente uma disjuno que foi reescrita de acordo com e ca a Regra 4. Implicaes co
Regra 5
Uma implicao deve ser reescrita como ( ), onde o antecedente e ca e
o conseqente, previamente reescritos. u
Exemplo 24
a) Considerando o signicado da sentena Joo vai ` praia sempre que c a a
faz sol conclu mos que ela deve ser reescrita como se faz sol, ento Joo vai ` praia. a a a Assim, a sentena original uma implicao que deve ser reescrita como ((faz sol) c e ca (Joo vai ` praia)). Neste exemplo, salientamos o uso da expresso sempre que a a a como se...ento. a b) Considerando o signicado da sentena caso chova, Joo no vai ` piscina, conclu c a a a mos que ela deve ser reescrita como se chover, ento Joo no vai ` piscina. Assim, a a a a a sentena original uma implicao que deve ser reescrita como ((chove) ( c e ca (Joo vai ` piscina))). Neste exemplo, salientamos o uso da expresso caso como a a a se...ento. a Biimplicaes co
Regra 6
Uma biimplicao deve ser reescrita como ( ), onde e so suas ca a
componentes, previamente reescritas.
Exemplo 25 A biimplicaao Paulo emagrecer se, e somente se, no beber muito refrigec a a rante e no comer macarro deve ser reescrita como ((Paulo emagrece) ( (Paulo no a a a bebe muito refrigerante)) ((Paulo come macarro))). Neste exemplo salientamos que a
22
na anlise lgica das sentenas, no estamos levando em conta o tempo verbal. Assim, a o c a sempre que poss vel, as as sentenas devem ser reescritas com o verbo no presente do c indicativo.
1.2.3
Simbolizao de Sentenas ca c
Voltando `s sentenas: a c a) 2 par ou 2 no par, e a e b) Tarski brasileiro ou Tarski no brasileiro e e a e c) o conjunto dos nmeros perfeitos possui um maior elemento ou o conjunto dos nmeros u u perfeitos no possui um maior elemento, a observamos que todas so disjunoes e que so reescritas como: a c a a) ((2 par) ( (2 par))), e e b) ((Tarski brasileiro) ( (Tarski brasileiro))) e e e c) ((o conjunto dos nmeros perfeitos possui um maior elemento) ( (o conjunto dos u nmeros perfeitos possui um maior elemento))). u Examinaremos agora cada uma em separado. a) A sentena ((2 par) ( (2 par))) a disjuno da sentena atmica (2 par) com c e e e ca c o e a sentena ( (2 par)), que a negao de (2 par). Como a sentena apresenta c e e ca e c duas alternativas das quais a primeira verdadeira, a sentena verdadeira. e c e b) A sentena ((Tarski brasileiro) ( (Tarski brasileiro))) a disjuno da sentena c e e e ca c (Tarski brasileiro), que atmica, com a sentena ( (Tarski brasileiro)) que a e e o c e e negao de (Tarski brasileiro). Como a sentena apresenta duas alternativas das ca e c quais a segunda verdadeira, a sentena verdadeira. e c e c) A sentena ((o conjunto dos nmeros perfeitos possui um maior elemento) ( (o conc u junto dos nmeros perfeitos possui um maior elemento))) a disjuno da sentena u e ca c atmica (o conjunto dos nmeros perfeitos possui um maior elemento) com a sentena o u c ( (o conjunto dos nmeros perfeitos possui um maior elemento)) que a negao de u e ca (o conjunto dos nmeros perfeitos possui um maior elemento). Esta sentena tambm u c e apresenta duas alternativas das quais uma deve ser verdadeira. At o momento em e que este texto foi escrito, a questo da existncia de uma maior nmero perfeito a e u ainda no havia sido resolvida. Assim, no sabemos qual das duas alternativas a a a e
1.2. SINTAXE
23
verdadeira. No entanto, como j dissemos anteriormente, as duas alternativas aprea sentadas na sentena so complementares e excludentes. Por isso, uma delas, com c a certeza, verdadeira (embora no saibamos qual) e por isso a sentena tambm e a c e e verdadeira. Observe que a mesma explicao dada sobre a verdade da ultima sentena acima ca c tambm pode ser aplicada `s outras duas sentenas, ou seja, como as sentenas expressam e a c c alternativas excludentes e complementares as sentenas so verdadeiras, independente do c a conhecimento que possu mos sobre a verdade ou falsidade de suas componentes (embora nos dois primeiros casos tenhamos usado este conhecimento para determinar a verdade das sentenas). Dizemos, ento, que a verdade das sentenas acima no depende do contexto c a c a em que as sentenas esto inseridas, mas apenas da maneira como foram formadas. E, por c a isso, so verdades lgicas. a o Dada uma sentena , nosso objetivo determinar se uma verdade lgica, ou no. c e e o a Para isso, devemos determinar se verdadeira em todos os contextos, ou no. O fato de e a uma sentena ser verdadeira em todos os contextos depende da maneira como a sentena c c foi formada e no do seu contedo. As regras de reescrita nos permitem explicitar como a u as sentenas so formadas. Vamos agora introduzir a simbolizao das sentenas, como o c a ca c passo nal que nos permitir esconder o seu contedo e explicitar a sua forma. u Descrever um processo que possa ser aplicado na simbolizao de sentenas no uma ca c a e tarefa muito fcil. Muitas vezes, dada uma sentena, dif decidir que caminho tomar a c e cil para obter uma simbolizao adequada. Neste texto, sempre que poss ca vel, o processo de simbolizao ser efetuado segundo os seguintes passos: ca a Passo 1) Passo 2) Passo 3) biimplicao. ca Passo 4) Passo 5) Reescrever a sentena de acordo com as regras de reescrita. c Simbolizar a sentena reescrita, substituindo as sentenas atmicas pelas c c o Classicar a sentena como atmica ou molecular. c o Classicar todos os conectivos que ocorrem na sentena. c Determinar se a sentena negao, conjuno, disjuno, implicao ou c e ca ca ca ca
letras p, q, r, s ou t (indexadas ou no), de modo que cada ocorrncia de uma mesma sena e tena atmica seja substitu sempre pela mesma letra e que sentenas atmicas distintas c o da c o sejam substitu das por sentenas atmicas distintas. c o Exemplo 26 Apresentamos a seguir alguns exemplos de simbolizao, efetuados segundo ca os passos acima. a) Rafael feliz. e Efetuando o processo de simbolizaao, temos: c Passo 1) Atmica. o
24 Passo 2) Passo 3) Passo 4) Passo 5) No pode ser aplicado. a No pode ser aplicado. a (Rafael feliz) e
A sentena pode ser simbolizada como: c
p, onde: p : (Rafael feliz) e b) Rafael feliz e Jlia gosta dele. e u Primeiramente, a sentena deve ser reescrita como Rafael feliz e Jlia gosta de c e u Rafael. Efetuando o processo de simbolizao, temos: ca Passo 1) Passo 2) Passo 3) Passo 4) Passo 5) Molecular. Possui ocorrncia do conectivo e. e Conjuno. ca ((Rafael feliz) (Jlia gosta de Rafael)) e u A sentena pode ser simbolizada como: c
(p q), onde: p : (Rafael feliz) e q : (Jlia gosta de Rafael) u Observe que esta sentena no pode ser simbolizada como (p p), pois as sentenas c a c atmicas que a compem so distintas. o o a c) Rafael ser feliz caso Jlia goste de Rafael. a u Primeiramente, a sentena deve ser reescrita como se Jlia gostar de Rafael, ento c u a Rafael ser feliz. Efetuando o processo de simbolizao, temos: a ca Passo 1) Passo 2) Passo 3) Passo 4) Passo 5) Molecular. Possui ocorrncia do conectivo se...ento. e a Implicao. ca ((Jlia gosta de Rafael) (Rafael feliz)) u e A sentena pode ser simbolizada como: c
(p q), onde: p : (Jlia gosta de Rafael) u q : (Rafael feliz) e Neste exemplo ilustramos o uso da expresso caso como se...ento. a a d) Rafael feliz pois Jlia gosta dele. e u Primeiramente, a sentena deve ser reescrita como Jlia gosta de Rafael, e se Jlia c u u gostar de Rafael, ento Rafael ser feliz. Efetuando o processo de simbolizao, temos: a a ca
1.2. SINTAXE Passo 1) Passo 2) Passo 3) Passo 4) Passo 5) Molecular. Possui ocorrncia dos conectivos e e se...ento. e a Conjuno cuja segunda componente uma implicao. ca e ca ((Jlia gosta de Rafael) ((Jlia gosta de Rafael) (Rafael feliz))) u u e A sentena pode ser simbolizada como: c
25
(p (p q)), onde: p : (Jlia gosta de Rafael) u q : (Rafael feliz) e Neste exemplo ilustramos o uso da expresso pois como uma combinaao dos coneca c tivos e e se...ento. a e) Rafael feliz, dado que Jlia gosta de Rafael e ela feliz. e u e Primeiramente, a sentena deve ser reescrita como Jlia gosta de Rafael e Jlia c u u e feliz, e se Jlia gostar de Rafael e Jlia for feliz, ento Rafael ser feliz. Efetuando o u u a a processo de simbolizao, temos: ca Passo 1) Passo 2) Passo 3) Molecular. Possui ocorrncia dos conectivos e e se...ento. e a Conjuno cuja primeira componente uma conjuno (de sentenas ca e ca c
atmicas) e cuja segunda componente uma implicaao (cujo antecedente uma o e c e conjuno de sentenas atmicas e cujo conseqente uma sentena atmica). ca c o u e c o Passo 4) (((Jlia gosta de Rafael) (Jlia feliz)) (((Jlia gosta de Rafael) u u e u
(Jlia feliz)) (Rafael feliz))). u e e Passo 5) ((p p: q: r:
A sentena pode ser simbolizada como: c
q) ((p q) r)), onde: (Jlia gosta de Rafael) u (Jlia feliz) u e (Rafael feliz) e
Exemplo 27 Nos exemplos a seguir, no explicitamos os passos do processo de sima bolizao. ca a) 2 + 2 = 4 (p), onde: p : (2 + 2 = 4) b) 0 e 2 so pares. a (p q), onde: p : (0 par) e q : (2 par) e
26 c) Kurt Gdel e Hao Wang so amigos. o a p, onde: p : (Kurt Gdel e Hao Wang so amigos) o a d) 1 est entre 0 e 2. a p, onde: p : (1 est entre 0 e 2) a e) 1 maior que 0 e 2 tambm. e e (p q), onde: p : (1 maior que 0) e q : (2 maior que 0) e f ) Todos os nmeros naturais so reais. u a p, onde: p : (todos os nmeros naturais so reais) u a g) Os nmeros 2, 3 e 5 so primos. u a ((p p: q: r:
q) r), onde: (o nmero 2 primo) u e (o nmero 3 primo) u e (o nmero 5 primo) u e
h) Ao menos um dos nmeros 1, 2 e 3 primo. u e ((p p: q: r: q) r), onde: (1 primo) e (2 primo) e (3 primo) e
i) Exatamente um dos nmeros 1, 2 e 4 primo. u e ((((p q) r) (p ( q r))) (q ( p r))) (r ( p q)), onde: p : (1 primo) e q : (2 primo) e r : (4 primo) e A sentena acima tambm poderia ser simbolizada como a disjuno: c e ca ((p ( q r)) (q ( p r))) (r ( p q)).
1.3
1.3.1
Semntica a
Funo de Verdade ca
Segundo a denio, uma sentena verdadeira ou falsa, de maneira exclusiva, em ca c e um dado contexto. Vamos agora estudar um processo de avaliao das sentenas, ou seja, ca c uma maneira de dada uma sentena , determinar se verdadeira ou falsa em um dado c e contexto. Nosso objetivo determinar se verdadeira em todos os contextos, ou no. e e a
1.3. SEMANTICA
27
Denio 1.16 Os valores de verdade so o V ( verdadeiro) e o F ( falso). Uma sentena ca a c verdadeira se seu valor de verdade V e falsa se seu valor de verdade F . e e e e Da denio de sentena decorre que uma sentena possui um unico valor de verdade ca c c em um dado contexto. A avaliao de uma sentena a determinao deste valor de ca c e ca verdade.
Sentenas atmicas c o
Com relao ` avaliao de sentenas atmicas, assumimos o seguinte: ca a ca c o 1. Como as sentenas atmicas so as unidades bsicas a partir das quais todas as c o a a outras sentenas so formadas, consideramos no existir nenhum v c a a nculo entre os valores de verdade das sentenas atmicas. Assim, quando sentenas atmicas so c o c o a listadas, no levamos em conta nenhum v a nculo entre seus valores de verdade. Exemplo 28 Dadas as sentenas atmicas (chove l fora) e (o cho est molhado), no c o a a a a levamos em conta os poss veis v nculos que venham a existir entre seus valores de verdade. Por exemplo, a segunda ser uma conseqncia da primeira. ue 2. O valor de verdade de uma sentena atmica depende exclusivamente do contexto c o ao qual a sentena est associada. c a Exemplo 29 Somente pessoas que possuem algum conhecimento sobre a histria da lgica o o sabem que a sentena atmica (Gerhard Gentzen provou a consistncia da aritmtica) c o e e e verdadeira. O exemplo acima nos mostra que s podemos avaliar uma sentena atmica se cono c o hecemos o contexto ao qual ela est associada. a
Sentenas moleculares c
Com relao a avaliao de sentenas moleculares, vrias situaes podem acontecer. ca ca c a co 1. O valor de verdade de uma sentena molecular pode depender ou no do valor de c a verdade das suas componentes. Exemplo 30 a) Considere a conjuno ((2 par) (3 ca e e mpar)). Esta uma sentena e c
verdadeira, pois arma dois fatos que realmente acontecem. A conjuno arma que ca cada uma das componentes (2 par) e (3 e e mpar) verdadeira e estas realmente so e a sentenas verdadeiras. Assim, a conjuno verdadeira. c ca e
28
CAP ITULO 1. LOGICA SENTENCIAL b) Por outro lado, a conjuno ((2 par) (3 par)) falsa, pois arma dois fatos ca e e e acontecem e um deles, na verdade, no acontece. A conjuno arma que cada uma a ca das componentes (2 par) e (3 par) verdadeira mas a segunda componente, na e e e verdade, uma sentena falsa. Assim, a conjuno falsa. e c ca e O exemplo acima mostra que o valor de verdade de uma conjuno pode depender do ca
valor de verdade das suas componentes, sendo verdadeira ou falsa, segundo estes valores. Exemplo 31 Considere a disjuno ((amanh vai chover) ((amanh vai chover))). No ca a a caso desta sentena, uma situao diferente daquela apresentada no Exemplo 30 acontece. c ca De fato, a disjuno verdadeira pois arma que duas alternativas, das quais uma sempre ca e acontece, verdadeira. Agora, exatamente porque, das alternativas oferecidas, uma das e duas sempre acontece, em qualquer contexto que enuncissemos esta disjuno, ter a ca amos: i. Caso amanh chova, a sentena verdadeira, pois sua primeira componente vera c e e dadeira. ii. Caso amanh no chova, a sentena verdadeira, pois sua segunda componente a a c e e verdadeira. Assim, a disjunao verdadeira e verdadeira em qualquer contexto em que for enunc e ciada. Ou seja, seu valor de verdade no depende do valor de verdade das suas coma ponenetes, pois este pr xado, a saber, verdadeiro em todos os contextos. e e O exemplo acima mostra que, em alguns casos, o valor de verdade de uma sentena c molecular pode no depender do valor de verdade de suas componentes e ser pr xado para a e qualquer contexto. (Como j dissemos anteriormente estamos particularmente interessados a em caracterizar as sentenas que possuem esta propriedade, devido ao papel importante c que desempenham na prova de teoremas.) O que devemos examinar agora como funciona a dependncia entre os valores de e e verdade de uma sentena composta e o valor de verdade das suas componentes. c 2. Existem casos em que o valor de verdade de uma sentena molecular pode ser dec terminado exclusivamente a partir dos valores de verdade das suas sentenas comc ponentes. Exemplo 32 Considere as sentenas atmicas (2 par) e (3 par). Sabemos que estas c o e e sentenas so verdadeira e falsa, respectivamente. c a Considere agora as sentenas moleculares ((2 par) (3 par)) e ((2 par) (3 c e e e e par)), obtidas por aplicaes dos conectivos e e ou, respectivamente, `s sentenas dadas. co a c Quanto ao valor de verdade destas sentenas moleculares, temos o seguinte: c
1.3. SEMANTICA
29
i. A conjuno falsa, pois arma que duas coisas devem acontecer e dado que uma ca e e delas no acontece. a ii. A disjunao verdadeira, pois oferece duas alternativas das quais sabemos que aconc e tece. 3. Existem casos em que o valor de verdade de uma sentena molecular no pode ser c a determinado exclusivamente a partir dos valores de verdade das sentenas compoc nentes, mas depende de alguma coisa a mais, por exemplo, a ordem em que os fatos narrados pelas suas componentes realmente aconteceram, alm destes valores. e Exemplo 33 Considere as sentenas atmicas (Tarzan tirou a roupa) e (Tarzan caiu no c o rio), as quais admitimos serem ambas verdadeiras. Considere agora as sentenas moleculares ((Tarzan tirou a roupa) (Tarzan caiu no c rio)) e ((Tarzan caiu no rio) (Tarzan tirou a roupa)), obtidas por aplicaoes do conectivo c e `s sentenas dadas. Quanto ao valor de verdade destas sentenas moleculares, temos o a c c seguinte: i. Uma das duas conjunes deve ser vardadeira, pois admitimos que ambas as compoco nentes so verdadeiras. a ii. No sabemos dizer qual das duas verdadeira, pois no sabemos em que ordem os a e a fatos registrados nas sentenas atmicas ocorreram. c o Temos, ento, a importante denio: a ca Denio 1.17 Um conectivo por funo de verdade se o valor de verdade das senca e ca tenas moleculares obtidas por seu intermdio determinado unica e exclusivamente a c e e partir dos valores de verdade das sentenas componentes. c Com relao ` avaliao de sentenas moleculares, adotaremos a seguinte conveno: ca a ca c ca Os conectivos no, e, ou, se...ento e se, e somente se so por funo de a a a ca verdade.
1.3.2
Regras de avaliao e tabelas de verdade dos conectivos ca
As regras de avaliao descrevem como podemos determinar o valor de verdade de uma ca sentena molecular, dados os valores de verdade das suas componentes. Estas regras so c a denidas em conformidade com o uso que se faz dos conectivos no, e, ou, se...ento e se, a a e somente se, na Linguagem Matemtica. a
30
Negao ca
Na Linguagem Matemtica, o no utilizado quando queremos negar o contedo de a a e u uma sentena. c Exemplo 34 Por exemplo, na Teoria dos Conjuntos usamos o no quando denimos a a complementao de conjuntos. Esta a operao que associa a cada subconjunto A, de ca e ca um dado universo U , um outro conjunto A, chamado o complemento de A, formado pelos elementos de U que no pertencem a A. Dado u U , a condio para que u esteja em A a ca que u no esteja em A e a condiao para que u esteja em A que u no esteja em A. e a c e a Em outras palavras: e e u A verdadeira se, e somente se, u A falsa. Temos, ento, a seguinte regra de avaliao para negaes: a ca co Regra 1 Uma negao verdadeira se a sentena negada falsa. E falsa se a sentena ca e c e e c
negada verdadeira. e Assim, para uma sentena qualquer , temos: c verdadeira se falsa e e falsa se verdadeira e e Esta regra pode ser sumarizada na seguinte tabela, chamada a tabela de verdade do no: a V F F V
Conjuno ca
Na Linguagem Matemtica, o e utilizado quando queremos armar a ocorrncia a e e simultnea de dois fatos. a Exemplo 35 Por exemplo, na Teoria dos Conjuntos, usamos o e quando denimos a interseo de conjuntos. Esta a operao que associa a dois subconjuntos A e B, de ca e ca um dado universo U , um outro subconjunto A B, chamado a interseo de A com B, ca formado pelos elementos de U que esto simultaneamente em A e em B. Dado u U , a a condio para que u esteja em A B que u esteja em A e u esteja em B. Com isto, ca e queremos dizer que u deve estar em A e, ao mesmo tempo, em B. Assim, a condio para ca que u no esteja em A B que u no esteja em ao menos um dos conjuntos A ou B. a e a Em outras palavras:
1.3. SEMANTICA u A B verdadeira e se, e somente se, u A e u B so simultaneamente verdadeiras. a Temos, ento, a seguinte regra de avaliao para conjunes: a ca co Regra 2
31
Uma conjuno verdadeira se suas componentes so simultaneamente verca e a
dadeiras. E falsa quando ao menos uma das suas componentes falsa. e e Assim, dadas duas sentenas quaisquer e , temos: c ( ) verdadeira se e so verdadeiras e a ( ) falsa se falsa e verdadeira e e e ( ) falsa se verdadeira e falsa e e e ( ) falsa se e so falsas e a Esta regra pode ser sumarizada na seguinte tabela, chamada a tabela de verdade do e: V V F F V F V F V F F F
Disjuno ca
Na Linguagem Matemtica, o ou utilizado quando queremos apresentar alternativas. a e Mas isto feito de uma maneira muito particular. e Exemplo 36 Por exemplo, na Teoria dos Conjuntos, usamos o ou quando denimos a unio de conjuntos. Esta a operao que associa a dois subconjuntos A e B, de um a e ca dado universo U , um outro subconjunto A B, chamado a unio de A e B, formado a pelos elementos de U que esto apenas em A, os que esto apenas em B e os que esto a a a simultaneamente em A e em B. Dado u U , a condio para que u esteja em A B ca e que u esteja em A ou u esteja em B. Com isto, queremos dizer que u pode estar s em A, o pode estar s em B ou, ainda, pode estar em ambos A e B. Assim, a condio para que o ca u no esteja em A B que u no esteja em nenhum dos conjuntos A e B. Em outras a e a palavras: u A B falsa e se, e somente se, u A e u B so simultaneamente falsas. a
32
CAP ITULO 1. LOGICA SENTENCIAL Temos, ento, a seguinte regra de avaliao para disjunes: a ca co
Regra 3
Uma disjuno falsa se suas componentes so simultaneamente falsas. E ca e a e
verdadeira quando ao menos uma das suas componentes verdadeira. e Assim, dadas duas sentenas quaisquer e , temos: c ( ) verdadeira se e so verdadeiras e a ( ) verdadeira se verdadeira e falsa e e e ( ) verdadeira se falsa e verdadeira e e e ( ) falsa se e so falsas e a Esta regra pode ser sumarizada na seguinte tabela, chamada a tabela de verdade do ou: V V F F V F V F V V V F
Esta maneira peculiar de usar o ou no prpria da Linguagem Matemtica, mas a e o a tambm freqente na L e e u ngua Portuguesa. Exemplo 37 Usualmente, quando dizemos amanh o tempo vai car nublado ou vai chover, a no estamos exclu a ndo a possibilidade de ambas as coisas acontecerem ao mesmo tempo. Este o uso do ou no sentido no-exclusivo ou inclusivo. Mas tambm existe uma e a e outra maneira de usar o ou que talvez seja ainda mais freqente na L u ngua Portuguesa que o uso do ou no sentido no-exclusivo. a Exemplo 38 Usualmente, quando dizemos Marcelo vai de carro ou de nibus, estamos o querendo dizer que uma das duas coisas acontece, mas no o caso que ambas aconteam a e c ao mesmo tempo. Este o uso do ou no sentido exclusivo. Embora na l e ngua portuguesa o uso do ou no sentido exclusivo seja mais freqente, por uma questo de tradio, na Linguagem u a ca Matemtica o ou utilizado mais comumente no sentido inclusivo. a e Na Linguagem Matemtica, o ou utilizado nos dois sentidos. Por exemplo, 0 par a e e ou mpar e 2 natural ou real. e
1.3. SEMANTICA
33
Biimplicao ca
Na Linguagem Matemtica, o se, e somente se utilizado quando queremos dizer que a e duas sentenas tm o mesmo contedo. c e u Exemplo 39 Considere a seguinte denio, da Geometria Euclideana Plana: ca Denio ca Duas retas so paralelas se, e somente se, no coincidem e no a a a
possuem pontos em comum. Na denio acima estamos identicando os contedos das sentenas duas retas so ca u c a paralelas e duas retas no coincidem e no possuem pontos em comum. a a O exemplo acima nos leva a considerar que para a avaliao de biimplicaes deca co ver amos utilizar um critrio como o seguinte: e Uma biimplicaao verdadeira se suas componentes possuem o mesmo contec e u do e falsa quando suas componentes possuem contedos distintos. e u Mas, como estamos considerando que o conectivo se, e somente se por funo de e ca
verdade, a unica informao que poder ser utilizada quanto ao contedo das sentenas ca u c componentes, na avaliao de sentenas moleculares formadas por seu intermdio, so os ca c e a valores de verdade destas sentenas. Assim, temos a seguinte regra de avaliao para c ca biimplicaes: co Regra 4 Uma biimplicao verdadeira se suas componentes possuem os mesmos vaca e
lores de verdade e falsa quando suas componentes possuem valores de verdade distintos. e
Assim, dadas duas sentenas quaisquer e , temos: c ( ) verdadeira se e so verdadeiras e a ( ) falsa se verdadeira e falsa e e e ( ) falsa se falsa e verdadeira e e e ( ) verdadeira se e so falsas e a Esta regra pode ser sumarizada na seguinte tabela, chamada a tabela de verdade do se, e somente se: V V F F V F V F V F F V
34
Implicao ca
De uma maneira geral, o se...ento no por funo de verdade. a a e ca Exemplo 40 Considere as sentenas Paulo cou doente e o mdico deu um remdio para c e e Paulo, que consideramos verdadeiras. a) Se Paulo ca doente, ento o mdico receita o remdio para Paulo. a e e Se a sentena acima for verdadeira, o mdico apenas cumpre sua obrigaao. c e c b) Se o mdico receita o remdio para Paulo, ento Paulo ca doente. e e a Se a sentena acima for verdadeira, temos dois casos: c i. Se Paulo cou doente porque tomou o remdio, o mdico um charlato. e e e a ii. Se Paulo cou doente por qualquer outro motivo, mas no porque tomou o a remdio, no podemos culpar o mdico. e a e Usualmente, o valor de verdade de uma implicao depende da existncia de alguma ca e relao de causa e efeito entre o antecedente e o conseqente. Assim, usualmente, o ca u se...ento no por funo de verdade. a a e ca Como considerar o se...ento por funo de verdade? a ca V V F F Teremos quatro casos: V V F F V F V F V F F F V F F V V F V F V F V V V F V F V F ? ?
No primeiro aso, a tabela de verdade do seria mesma que a do . No segundo caso, a tabela de verdade do seria mesma que a do . No terceiro caso, a tabela de verdade do seria mesma que a do . No quarto caso, a tabela de verdade do no corresponderia a nenhuma tabela a conhecida.
1.3. SEMANTICA Regra 5
35
Uma implicao falsa se seu antecedente verdadeiro e seu conseqente ca e e u e
falso. E verdadeira em todos os outros casos. e Assim, dadas duas sentenas quaisquer e , temos: c ( ) verdadeira se e so verdadeiras e a ( ) falsa se verdadeira e falsa e e e ( ) verdadeira se falsa e verdadeira e e e ( ) verdadeira se e so falsas e a Esta regra pode ser sumarizada na segunte tabela, chamada a tabela de verdade do se...ento: a V V F F V F V F V F V V
Alguns exemplos do uso das tabelas de verdade na avaliao de sentenas moleculares ca c so apresentados a seguir. a Exemplo 41 Dadas as sentenas atmicas 0 par e 1 par, que so V e F , respectivac o e e a mente, temos: a) 0 no par F . a e e b) 1 no par V . a e e Exemplo 42 Dadas as sentenas atmicas 0 par, 1 par e 2 par, que so V , F e V , c o e e e a respectivamente, temos: a) 0 par e 2 par V . e e e b) 0 par e 1 par F . e e e c) 1 par e 2 par F . e e e d) 1 par e 3 par F . e e e Exemplo 43 Dadas as sentenas atmicas 1 par, 2 par, 2 primo e 3 par, que so c o e e e e a F , V , V e F , respectivamente, temos: a) 2 par ou 2 primo V . e e e
36 b) 2 par ou 1 par V . e e e c) 1 par ou 2 primo V . e e e d) 1 par ou 3 par F . e e e
Observe que uma disjuno assume o valor V quando suas componentes assumem ca ambas o valor V . Por esta razo, em Lgica Matemtica, o ou dito ser usado no sentido a o a e inclusivo. Exemplo 44 Dadas as sentenas atmicas 0 par, 1 par, 2 par e 3 par, que so V , c o e e e e a F , V e F , respectivamente, temos: a) Se 0 par, ento 2 par V . e a e e b) Se 0 par, ento 1 par F . e a e e c) Se 1 par, ento 0 par V . e a e e d) Se 1 par, ento 3 par V . e a e e Exemplo 45 Dadas as sentenas atmicas 0 par, 1 par e 2 par, que so V , F e V , c o e e e a respectivamente, temos: a) 0 par se, e somente se, 2 par V . e e e b) 0 par se, e somente se, 1 par F . e e e c) 1 par se, e somente se, 2 par F . e e e d) 1 par se, e somente se, 3 par V . e e e
1.3.3
Interpretaoes c
O valor de verdade de uma sentena molecular pode depender ou no do contexto c a associado. Ou seja, existem sentenas que so sempre verdadeiras, independente do conc a texto. Sentenas que so `s vezes verdadeiras, `s vezes falsas, dependendo do contexto. c a a a E sentenas que so sempre falsas, independente do contexto. Veremos agora que, para o c a caso das sentenas formadas pelo uso dos conectivos no, e, ou, se...ento e se, somente c a a se (que possuem tabelas de verdade), dada uma sentena qualquer, podemos decidir em c qual dos casos ela est inserida. a Exemplo 46 Considere as seguintes sentenas: c a) Chove ou no chove. a b) Bras a capital do Brasil e So Paulo a maior cidade da Amrica Latina. lia e a e e
1.3. SEMANTICA c) Faz sol e no faz sol. a
37
Avaliando estas sentenas, conclu c mos que 1 verdadeira e sempre verdadeira, indee pendente do contexto; 2 verdadeira, mas poderia ser falsa, dependendo do contexto; 3 e e falsa e sempre falsa, independente do contexto. Simbolizando, temos: a) (p ( p)) b) (q r) c) (s ( s)) onde: p : (chove) q : (Bras a capital do Brasil) lia e r : (So Paulo a maior cidade da Amrica Latina) a e e s : (faz sol) Vamos, agora, avaliar estas sentenas utilizando as tabelas de verdade. c a) A sentena (p ( p)) formada por aplicao do conectivo ` sentena atmica p, c e ca a c o obtendo ( p) e por aplicao do conectivo `s sentenas p e ( p). De acordo com ca a c a tabela de verdade do , o valor de verdade de (p ( p)) pode ser determinado diretamente a partir dos valores de p e ( p). De modo anlogo, de acordo com a a tabela de verdade do , o valor de verdade de ( p) tambm pode ser determinado e diretamente a partir do valor de verdade de p. Assim, dado o valor de p, podemos calcular de maneira direta o valor de (p ( p)), calculando o valor de ( p) pela tabela do e calculando o valor de (p ( p)), usando a tabela do . Mas, como p atmica, o valor de p no pode ser calculado a partir do valor de nenhuma outra e o a sentena. De acordo com a denio de sentena, teremos, ento, dois casos: c ca c a 1. Se p possui valor V , ( p) possui valor F e (p ( p)) possui valor V . 2. Se p possui valor F , ( p) possui valor V e (p ( p)) possui valor V . Como, em ambos os casos, a sentena (p ( p)) possui valor V e estes so os unicos c a casos poss veis, conclu mos que (p ( p)) uma verdade lgica, pois sempre assume e o valor V . O que foi dito acima pode ser sumarizado na seguinte tabela, chamada a tabela de verdade de (p ( p)): p V F ( p) F V (p ( p)) V V
38
CAP ITULO 1. LOGICA SENTENCIAL b) A sentena (q r) formada por aplicao do conectivo `s sentenas atmicas c e ca a c o q e r. De acordo com a tabela de verdade do , o valor de verdade de (q r) pode ser determinado diretamente a partir dos valores de q e r. Como q e r so atmicas, a o os valores de q e r no podem ser calculados a partir do valor de nenhuma outra a sentena. De acordo com a denio de sentena teremos, ento, quatro casos: c ca c a 1. Se q e r possuem ambas o valor V , (q r) possui valor V . 2. Se q possui valor V e r possui valor F , (q r) possui valor F . 3. Se q possui valor F e r possui valor V , (q r) possui valor F . 4. Se q e r possuem ambos valor F , (q r) possui valor F . Os dois primeiros casos acima so sucientes para concluirmos que (q r) no a a e uma verdade lgica, pois pode assumir tanto o valor V como o valor F . o O que foi dito acima pode ser sumarizado na seguinte tabela, chamada a tabela de verdade de (q r): q V V F F r V F V F (q r) V F F F
c) A sentena (s ( s)) formada por aplicao do conectivo ` sentena atmica c e ca a c o s, obtendo ( s) e por aplicao do conectivo `s sentenas s e ( s). De acordo ca a c com a tabela de verdade do , o valor de verdade de (s ( s)) pode ser determinado diretamente a partir dos valores de s e ( s). Analogamente, de acordo com a tabela de verdade do , o valor de verdade de ( s) tambm pode ser determinado e diretamente a partir do valor de verdade de s. Assim, dado o valor de s, podemos calcular de maneira direta o valor de (s ( s)). Como s atmica, o valor de s e o no pode ser calculado a partir do valor de nenhuma outra sentena. De acordo com a c a denio de sentena, teremos, ento dois casos: ca c a 1. Se s possui valor V , ( s) possui valor F e (s ( s)) possui valor F . 2. Se s possui valor F , ( s) possui valor V e (s ( s)) possui valor F . Como em ambos os casos (s ( s)) possui valor F e estes so os unicos casos a poss veis, conclu mos que (s ( s)) sempre possui valor F . O que foi dito acima pode ser sumarizado na seguinte tabela, chamada a tabela de verdade de (s ( s)):
1.3. SEMANTICA s V F ( s) F V (s ( s)) F F
39
O Exemplo 46 mostra como podemos associar a sentenas simbolizadas uma tabela de c verdade que lista todos os valores de verdade poss veis que esta sentena simbolizada pode c assumir. Em particular, inspecionando a tabela de uma sentena podemos determinar se c esta sentena ou no uma verdade lgica. c e a o Apresentaremos agora algumas denies que nos permitiro estender o processo esboco a ado acima para todas as sentenas simbolizadas. c c Denio 1.18 Uma interpretaao para uma sentena simbolizada uma atribuio ca c c e ca de valores de verdade as letras sentenciais que ocorrem em , de modo que a cada letra ` seja atribu um unico valor de verdade. do Exemplo 47 a) A sentena simbolizada p atmica e, portanto, possui apenas duas c e o
interpretaes: co p V F b) A sentena simbolizada (p (q p)) possui ocorrncia duas sentenas atmicas p c e c o e q. Portanto, possui quatro interpretaes: co p V V F F q V F V F
c) A sentena simbolizada (((p q) (q r)) (p r)) possui ocorrncia das trs c e e sentenas atmicas p, q e r. Logo, possui oito interpretaes: c o co p V V V V F F F F q V V F F V V F F r V F V F V F V F
De uma maneira geral, temos o seguinte resultado:
40
Proposio 1.1 Se uma sentena simbolizada que possui a ocorrncia de m letras ca e c e sentenciais distintas, ento possui exatamente 2m interpretaes. a co Prova: Seja uma sentena simbolizada que possui a ocorrncia de m letras c e
sentenciais distintas. De acordo com a denio, cada interpretao para pode ser visualizada como uma ca ca linha de uma tabela: p1 p2 ... ... pm
onde em cada uma das lacunas ocorre uma das letras V ou F . Decorre da que o nmero de interpretaes distintas para ser exatamente o nmero u co a u total de maneiras de preencher cada linha da tabela acima, associando a cada letra sentencial exatamente um dos valores V ou F . Como temos duas possibilidades para cada uma das lacunas e o preenchimento de uma lacuna independente do preenchimento das e outras, pelo Princ pio Fundamental da Contagem (da Anlise Combinatria), o nmero a o u total de possibilidades de preenchimento de uma linha 2 2 . . . 2 = 2m . e m vezes
(Reduo do N mero de Parnteses) ca u e

Para facilitar a escrita de sentenas simbolizadas, daqui por diante adotaremos as c seguintes regras. Regra 1 Os parnteses externos no sero escritos. e a a
Exemplo 48 Ao invs de ((p (p q)) q), escreveremos simplesmente: e (p (p q)) q.
Regra 2
Os parnteses em torno da negao no sero escritos. e ca a a
Exemplo 49 Ao invs de (( q) (p q)) ( p), escreveremos simplesmente: e ( q (p q)) p.
Regra 3
O e o tm precedncia sobre o e o . e e
Exemplo 50 Ao invs de ( q (p q)) p, escreveremos simplesmente: e

q
(p q) p.
1.4. TAUTOLOGIAS, CONTINGENCIAS E CONTRADICOES Regra 4 O se aplica ` menor sentena que o sucede. a c
41
Exemplo 51 Escreveremos (p q), pois escrevendo p q o se aplica somente ` a sentena p. c
1.4
Tautologias, Contingncias e Contradies e co
Podemos, agora, classicar as sentenas simbolizadas, de acordo com suas tabelas de c verdade. Algumas sentenas so verdadeiras em todas as suas interpretaes. c a co Denio 1.19 Uma sentena simbolizada uma tautologia se V em todas as suas ca c e e interpretaes. co Escrevemos |= , ao invs de uma tautologia. e e As tautologias so exatamente as verdades lgicas que podem ser formadas utilizandoa o se somente os conectivos no, e, ou, se...ento e se, e somente se (que possuem tabelas a a de verdade). Exemplo 52 So exemplos de tautologias: a a) p (q p) b) q (p q) c) (p q) (p q) Assim, uma tautologia se, na ultima coluna de sua tabela de verdade, ocorre e somente o valor V . Algumas sentenas so verdadeiras em algumas de suas interpretaes e falsas em c a co outras. Denio 1.20 Uma sentena simbolizada uma contingncia se V em algumas das ca c e e e suas interpretaes e F em outras. co Exemplo 53 So exemplos de contingncias: a e a) q (p q) p b) p (p q) q c) (p q r) (p r) (q r)
42
CAP ITULO 1. LOGICA SENTENCIAL Assim, uma contingncia se, na ultima coluna de sua tabela de verdade ocorre e e
tanto o valor V quanto o valor F . Algumas sentenas so falsas em todas as suas interpretaes. c a co Denio 1.21 Uma sentena simbolizada uma contradio se F em todas as suas ca c e ca e interpretaes. co Exemplo 54 So exemplos de contradies: a co a) p q p q b) p q p q c) (p q) p q Assim, uma contradio se, na ultima coluna de sua tabela de verdade, ocorre e ca somente o valor F . Temos, ento, o conjunto das sentenas simbolizadas particionado em trs subconjuntos a c e disjuntos: o conjunto das tautologias, o das contingncias e o das contradies. e co
Principais exemplos de tautologias

Apresentamos a seguir os principais exemplos de tautologias. O leitor deve se familiarizar com estas sentenas, construindo suas tabelas de verdade. c a) p (p q) q b) q (p q) p c) p (p q) q d) p q p e) p p q f) p (q p q) g) (p q) (p r) (p q r) h) (p q) (q r) (p r) i) (p q) ( p q) q j) (p q r) (p r) (q r) k) (p q q) p l) p p q
1.5. EQUIVALENCIA TAUTOLOGICA m) p p n) (p p)
43
1.5
Equivalncia Tautolgica e o
No Exemplo 27, uma mesma sentena foi simbolizada de duas maneiras distintas. c Vejamos um outro exemplo. Exemplo 55 A sentena caso Joo a convide, caso Ricardo a convide, Clia vai ao cinema c a e pode ser simbolizada como p q r, onde: p : (Joo convida Clia) a e q : (Ricardo convida Clia) e r : (Clia vai ao cinema). e Mas, levando em conta que a sentena quer dizer que se Clia no foi ao cimema, nem c e a Joo nem Ricardo a convidou, temos outra simbolizao: r p q. a ca Surge, ento, a questo de decidir se duas simbolizaes distintas expressam o mesmo a a co contedo. Esta questo pode ser resolvida com uso das tabelas de verdade, mediante os u a conceitos a seguir. Denio 1.22 Uma interpretao para duas sentenas simbolizadas e uma atrica ca c e buio de valores de verdade `s letras sentenciais que ocorrem em e . ca a Exemplo 56 As sentenas simbolizadas p q r e r p q possuem ocorrncias c e das sentenas atmicas p, q e r. Logo, possuem oito interpretaes. c o co Denio 1.23 Duas sentenas simbolizadas e so tautologicamente equivalentes ca c a se, em cada interpretao para e , os valores de e so iguais. ca a Escreveremos: |=| no lugar de e so tautologicamente equivalentes. a Exemplo 57 a) p q r |=| r p q
b) (p q) (p q) |=| (p q) (p q) c) (p q) (p q) |=| (p q) A proposio a seguir relaciona os conceitos de tautologia e equivalcia tautolgica. ca e o Proposio 1.2 Se e so sentenas simbolizadas, ento as seguintes condies so ca a c a co a equivalentes: a) |=|
44 b) |= Prova: () Suponhamos que |=| .
Da em cada interpretao para e , as sentenas e assumem o mesmo valor de , ca c verdade. Construindo a tabela de , teremos ento que, em cada linha, e assumem a valores iguais. Assim, assumir o valor V em todas as linhas, ou seja, |= . a () Suponhamos que |= . Da em cada linha da tabela de verdade de ocorre a letra V . , Assim, em cada linha, os valores de e so iguais. a Como cada linha da tabela inicia com uma interpretao para e , as sentenas e ca c assumem o mesmo valor de verdade em cada interpretao, ou seja, |=| . ca Principais equivalncias tautolgicas e o Apresentamos a seguir os principais exemplos de equivalncias tautolgicas. Para se e o familiarizar com cada um deles, o leitor deve, para cada item, aplicar a proposio acima ca e construir a tabela de verdade que verica a equivalncia. e a) p |=| p b) p q |=| q p c) p q |=| q p d) (p q) r |=| p (q r) e) (p q) r |=| p (q r) f) (p q) r |=| (p q) (p r) g) (p q) r |=| (p q) (p r) h) (p q) |=| p q i) (p q) |=| p q j) p p |=| p k) p p |=| p l) p (p q) |=| p m) p (p q) |=| p
1.6. VALIDADE
45
1.6
1.6.1
Validade
Passos Lgicos o
Nossa motivao para a introduo dos conceitos anteriores foi a determinao da ca ca ca verdade lgica de sentenas. O problema da determinao da verdade lgica foi levantado o c ca o a partir de um certo aspecto das provas, exemplicado na prova do teorema apresentado na Seo 1.1. ca Faremos agora uma outra anlise da prova ali apresentada para motivar outra questo a a fundamental nos estudos de Lgica Matemtica. o a Outro aspecto das provas, exemplicado no teorema que aparece na motivao, o ca e uso de certos passos lgicos como garantia para a correo da prova. A prova apresentada o ca consiste essencialmente em tomar um nmero inteiro positivo qualquer n, maior que 1, e u efetuar o seguinte racioc nio: n primo ou n no primo. e a e No primeiro caso, conclu mos trivialmente que n possui um fator primo. No segundo, fornecemos uma explicao pormenorizada de como encontrar, ca aps sucessivas fatoraes, um fator primo de n. o co Ou seja, a idia central da prova pode ser assim sumarizada: e (n primo) (n primo) e e (n primo) (n possui um fator primo) e (n primo) (n possui um fator primo) e Logo, (n possui um fator primo) Simbolizando, temos a seguinte seqncia: ue p p pq p q Logo, q onde: p : (n primo) e q : (n possui um fator primo) Esta seqncia simboliza a idia de que, se temos duas alternativas e cada uma delas ue e nos leva ` concluso que estamos buscando, ento podemos garantir que a concluso deve a a a a ser verdadeira. Em oposio ao que foi dito acima, observe que nenhuma prova correta poderia ser ca baseada em um passo lgico como: o pr q r Logo, r
46
pois, mesmo garantindo que as p r e q r, no podemos garantir que temos r. De a fato, se p, q e r fossem sentenas e fossem todas falsas, ter c amos: p r V , q r V , e e mas r F . Ou seja, esse no um passo lgico correto. e a e o Em resumo, queremos destacar os seguintes fatos: 1. Podemos usar seqncias de sentenas para expressar certos passos lgicos. ue c o 2. Passos lgicos corretos so freqentemente utilizados na prova de teoremas. o a u 3. Passos lgicos que no so corretos no devem ser utilizados na prova de teoremas. o a a a Assim, nossa prxima etapa no estudo de Lgica Matemtica ser aprender a reconheo o a a cer seqncias de sentenas que podem ser usados para expressar passos lgicos corretos. ue c o
1.6.2
Validade de Argumentos
Seqncias de sentenas nas quais uma considerada como concluso das outras reue c e a cebem uma denominao especial. ca Denio 1.24 Um argumento uma seqncia nita de sentenas, em que uma conca e ue c e siderada como concluso e as demais so chamadas premissas. As premissas de um ara a gumento so consideradas como justicativas para a concluso. a a Exemplo 58 So exemplos de argumentos: a a) Scrates homem. o e Todos os homens so mortais. a Logo, Scrates mortal. o e b) Vov se chama Ana. o Vov se chama Lcio. o u Conseqentemente, eu me chamo Ana Lcia. u u c) H exatamente 136 caixas de laranja no depsito. a o Cada caixa contm pelo menos 140 laranjas. e Nenhuma caixa contm mais do que 166 laranjas. e Deste modo, no depsito esto pelo menos 6 caixas contendo o mesmo nmero de o a u laranjas. d) Nunca se provou que existe uma quantidade nita de pares de nmeros naturais da forma u (p, p + 2), onde p primo. e Da existe uma quantidade innita de tais pares. , Exemplo 59 No so exemplos de argumentos: a a
1.6. VALIDADE a) Todos os professores que fazem pesquisa gostam de ensinar. Mrcia uma professora que gosta de ensinar. a e Existem professores que no fazem pesquisa. a
47
b) Se a funo seno for derivvel e se toda funo derivvel for cont ca a ca a nua, ento a funo a ca seno ser cont a nua. c) 1 um nmero natural e positivo. e u e 2 um nmero natural e positivo. e u e 3 um nmero natural e positivo. e u e ... Logo, todo nmero natural positivo. u e As premissas de um argumento so usadas como justicativas para a sua concluso. a a No entanto, existem casos em que as premissas realmente justicam a concluso e outros a em que isto no acontece. a Exemplo 60 Examinando o Exemplo 58, temos: a) No argumento do item (a),as premissas justicam a concluso. a b) No argumento do item (b),as premissas no justicam a concluso. a a c) No argumento do item (c), dif decidir se as premissas justicam a concluso e cil a mas isto pode ser feito com um pouco de manipulao algbrica, se admitimos as ca e propriedades usuais das operaes de adio e multiplicao de nmeros inteiros. co ca ca u d) No argumento do item (d),at hoje no se sabe se as premissas justicam ou no a e a a concluso. a Utilizamos um argumento quando estamos interessados em provar a verdade de uma determinada sentena. Assim, argumentamos sobre determinadas bases (as premissas), c de modo que o que queremos provar (a concluso) tenha a sua verdade assentada sobre a a verdade das premissas. Neste sentido, argumentar corretamente no o mesmo que estar a e certo. Mesmo que as bases sobre as quais argumentamos no sejam verdadeiras, podemos a efetuar boas argumentaes. co Exemplo 61 Consideremos o seguinte argumento: O conjunto dos nmeros pares um subconjunto do conjunto dos nmeros nau e u turais. Todo conjunto possui mais elementos que cada um dos seus subconjuntos. Assim, existem mais nmeros naturais que nmeros pares. u u
48
CAP ITULO 1. LOGICA SENTENCIAL No argumento anterior, uma das premissas no verdadeira (qual?). Porm, caso a e e
admitamos que ambas as premissas sejam verdadeiras, seremos obrigados a concluir que existem mais nmeros naturais que nmeros pares. Logo, este um bom argumento (emu u e bora uma de suas premissas seja falsa). O Exemplo 61 mostra que o fator determinante da boa argumentao no est na ca a a verdade das premissas sobre as quais ela se assenta, mas sim no fato de que, se aceitarmos as premissas do argumento em questo como verdadeiras, no poderemos considerar falsa a a a sua concluso. a Exemplo 62 O argumento seguinte deve ser classicado como um bom argumento, a partir de qualquer critrio razovel, embora at hoje no saibamos se sua premissa (e e a e a tambm concluso) uma sentena verdadeira. e a e c Dizemos que um nmero natural perfeito se igual ` soma de seus divisores prprios. u e e a o Por exemplo, 6 = 1 + 2 + 3 perfeito, mas 10 = 1 + 2 + 5 no . e a e Argumento Existe um maior nmero perfeito. u Portanto, existe um maior nmero perfeito. u
Segundo a denio de sentena, no podemos admitir que ao considerarmos a preca c a missa do argumento acima como verdadeira, sua concluso seja falsa. a Em decorrncia temos a seguinte denio: e ca Denio 1.25 ca (i) Um argumento ser vlido se em qualquer contexto for imposs a a vel
que sua concluso seja falsa, caso se admita que suas premissas sejam verdadeiras. a (ii) Um argumento ser invlido se no for vlido, isto , se for poss que, em algum a a a a e vel contexto, admitindo que suas premissas sejam verdadeiras se possa ter a concluso a falsa. Veremos na prximo seo como utilizar as tabelas de verdade para vericar a validade o ca de argumentos.
1.6.3
O Mtodo das Tabelas de Verdade e
Cada uma das regras de avaliaao pode ser interpretada como associando a cada conecc tivo uma tabela de verdade que descreve, de forma sucinta, a dependncia entre o valor de e verdade de uma sentena simbolizada composta e o valor de verdade de suas componentes. c Para os conectivos considerados as tabelas so as seguintes: a V F
F V
1.6. VALIDADE V V F F V F V F V F F F V V V F V F V V V F F V
49
Estas regras tambm nos permitem associar, a cada sentena simbolizada , uma e c tabela de verdade que descreve o comportamento de verdade de , isto , que valores e de verdade assume em cada uma das suas interpretaes. co Seja uma sentena simbolizada na qual ocorrem as letras p1 , . . . , pm . A tabela de c verdade de pode ser constru mediante a execuo dos seguintes passos: da ca Passo 1) Passo 2) Passo 3) Em uma linha de referncia, escreva as letras p1 , . . . , pm . e Abaixo da linha de referncia, escreva todas as 2m interpretaes para . e co Utilizando as tabelas de verdade dos conectivos, calcule gradativamente
todos os valores de verdade de cada sentena simbolizada utilizada na formao de , at c ca e obter o valor de . Passo 4) Ao nal do processo, a matriz formada pelas m primeiras colunas em conjunto com a ultima coluna (aquela indexada por ) ser a tabela de . a Uma aplicao importante das tabelas de verdade a vericao da validade de arguca e ca mentos. Conforme foi dito na Seo 1.6.2, um argumento vlido quando as premissas do ca e a argumento so, de fato, sucientes para justicar a concluso. a a Exemplo 63 So exemplos de argumentos: a a) Joo tem cabea grande. a c Pessoas de cabea grande so intelectuais. c a Logo, Joo um intelectual. a e Neste caso, as premissas justicam a concluso. a b) Joo faz faculdade. a Joo estuda losoa. a Logo, Joo um intelectual. a e Neste caso, as premissas no justicam a concluso. a a Outras maneiras de dizer que um argumento vlido so: e a a 1. A concluso decorre necessariamente das premissas. a 2. A verdade das premissas suciente para acarretar a verdade da concluso. e a 3. A verdade da concluso decorre necessariamente da verdade das premissas. a
50
CAP ITULO 1. LOGICA SENTENCIAL 4. Supondo que as premissas sejam verdadeiras, podemos garantir que a concluso a tambm verdadeira. e e
Exemplo 64
a) Considere o argumento: Se o co est latindo, o co no est na casa. Se o co est na casa, a a a a a a a
ento h algum em frente ` porta se o co est latindo. O co est latindo, a a e a a a a a pois o co est na casa. Logo, no o caso que h algum em frente ` porta a a a e a e a ou o co est latindo. a a Reescrevendo, temos: (o co est latindo) ( (o co est na casa)) a a a a (o co est na casa) a a ((o co est latindo) (h algum em frente ` porta)) a a a e a (o co est na casa) (o co est latindo) a a a a Logo, ( (h algum em frente ` porta)) (o co est latindo) a e a a a Simbolizando, temos: p q q (p r) q p r p onde: p : (o co est latindo) a a q : (o co est na casa) a a r : (h algum em frente ` porta) a e a Ser este argumento vlido? a a b) Considere o seguinte argumento: Se o co est latindo, o co est na casa. Se o co est na casa, ento a a a a a a a o co no est latindo ou h algum em frente ` porta. Na realidade, o co a a a a e a a est latindo. Logo, no o caso que h algum em frente ` porta. a a e a e a Reescevendo, temos: (o co est latindo) (o co est na casa) a a a a (o co est na casa) a a (( (o co est latindo)) (h algum em frente ` porta)) a a a e a (o co est latindo) a a Logo, ( (h algum em frente ` porta)) a e a
1.6. VALIDADE Simbolizando, temos: pq q ( p r) p r onde: p : (o co est latindo) a a q : (o co est na casa) a a r : (h algum em frente ` porta) a e a Ser este argumento vlido? a a c) Considere o argumento: 7 par se divis por 2. 7 divis por 2. Logo, 7 par. e e vel e vel e Reescrevendo, temos: (7 divis por 2) (7 par) e vel e (7 divis por 2) e vel Logo, (7 par) e Simbolizando, temos: pq p q onde: p : (7 divis por 2) e vel q : (7 par) e Ser este argumento vlido? a a
51
Vamos agora determinar a validade dos argumentos acima, utilizando as tabelas de verdade. Inicialmente, consideraremos o caso mais simples, ou seja, o argumento do item (c) Utilizando a denio de validade, no podemos determinar diretamente a validade ca a do argumento (c) pois, no contexto associado ao argumento, uma de suas premissas e falsa. Mas, como a prpria denio d a entender, para a determinao da validade, o ca a ca no estamos interessados em saber o que acontece apenas no contexto original e sim nos a contextos em que as premissas so simultaneamente verdadeiras. a
52
Denio 1.26 Um argumento vlido se, em todos os contextos em que as premissas ca e a so simultaneamente V , a concluso tambm V . a a e e Ou seja, um argumento vlido se no existe um contexto em que as premissas sejam e a a simultaneamente V e a concluso F . a No caso dos conectivos que possuem tabelas, contexto o mesmo que interpretao. e ca Assim, podemos reescrever a denio: ca Denio 1.27 Um argumento vlido se, em todas as interpretaes para as premissas ca e a co e concluso simbolizadas em que as premissas so simultaneamente V , a concluso tambm a a a e V. e Ou seja, um argumento vlido se no existe uma interpretao para as premissas e e a a ca concluso simbolizadas em que as premissas sejam simultaneamente V e a concluso F . a a Neste caso, vericar a validade se resume em vericar se: i) Em todas as linhas da tabela de verdade em que as premissas so simultaneamente a V , a concluso V (vlido). a e a ii) Existe uma linha da tabela de verdade em que as premissas so simultaneamente V a e a concluso F (invlido). a e a Exemplo 65 a) De acordo com a tabela: p V V F F o argumento (c): pq p q vlido, pois, em todas as interpretaoes em que as premissas so simultaneamente e a c a V (no caso, somente a primeira), a concluso V . a e b) Considere um exemplo simples: 7 ser par necessrio para que seja divis por 2. 7 par. Logo, 7 e a vel e e divis por 2. vel q V F V F pq V F V V
1.6. VALIDADE Reescrevendo, temos: (7 divis por 2) (7 par) e vel e (7 par) e Logo, (7 divis por 2) e vel Simbolizando, temos: pq q p onde p e q so como no item (c) do Exemplo 64. a De acordo com a tabela: p V V F F q V F V F pq V F V V
53
o argumento invlido, pois existe uma interpretao (a terceira) em que as pree a ca missas so simultaneamente V , a concluso F . a a e O conectivo que expressa a simultaneidade dos valores de verdade das sentenas c componentes o . De fato, temos que 1 2 . . . m V se, e somente se, e e cada um dos i , 1 i m, V . Assim, para vericar a validade do argumento: e 1 2 . . . m devemos vericar se a tabela: 1 2 . . . m V V F F V F V F
no possui a ocorrncia da segunda linha, ou seja, se nunca temos a sentena sima e c bolizada 1 2 . . . m assumindo o valor V e assumindo o valor F , o que e equivalente a determinar se 1 2 . . . m sempre V , pois o unico caso e em que a simbolizao assume o valor F aquele em que o antecedente assume valor ca e V e o conseqente assume valor F . u
54 1 2 . . . m V V F F Exemplo 66 V F V F
CAP ITULO 1. LOGICA SENTENCIAL 1 2 . . . m V F V V
a) De acordo com a tabela: p V V F F q V F V F pq V F V V p (p q) V F F F p (p q) q V V V V
o argumento: p pq q vlido, pois |= p (p q) q. e a b) De acordo com a tabela: p V V F F o argumento: pq q p invlido, pois (p q) q p no uma tautologia. e a a e Vamos agora vericar a validade dos argumentos (a) e (b) do Exemplo (c). Exemplo 67 a) Desenvolvendo a tabela: p V V V V F F F F q V V F F V V F F r V F V F V F V F (p q) (q (p r)) (q p) ( r p) V V V V V V V V q V F V F pq V F V V (p q) q V F V F (p q) q p V V F V
1.6. VALIDADE vemos que o argumento: p q q (p r) q p r p vlido, pois |= (p q) (q (p r)) (q p) ( r p). e a b) Desenvolvendo a tabela: p V V V V F F F F q V V F F V V F F r V F V F V F V F (p q) (q ( p r)) p r F V V V V V V V
55
vemos que o argumento: pq q ( p r) p r invlido, pois (p q) (q ( p r)) p r no uma tautologia. e a a e
O mtodo e
Em resumo, temos o seguinte: Denio 1.28 Uma interpretaao para as sentenas simbolizadas 1 , . . . , m uma ca c c e atribuio de valores de verdade `s letras sentenciais que ocorrem em 1 , . . . , m , de modo ca a que, a cada letra sentencial, seja atribu um unico valor. do Denio 1.29 Sejam 1 , . . . , m , sentenas simbolizadas. uma conseqncia tauca c e ue tolgica de 1 , . . . , m , denotado 1 , . . . , m |= , se, em todas as interpretaes para o co 1 , . . . , m , em que 1 , . . . , m so simultaneamente V , tambm V . a e e Escreveremos 1 , . . . , m |= no lugar de uma conseqncia tautolgica de e ue o 1 , . . . , m . Proposio 1.3 Se 1 , . . . , m , so sentenas simbolizadas, ento as seguintes condica a c a co es so equivalentes: a
56 a) 1 , . . . , m |= b) |= 1 . . . m Prova: () Suponhamos que 1 , 2 , . . . , m |= .
Vamos mostrar que, se 1 . . . m no fosse uma tautologia, ter a amos uma contradio. ca De fato, se 1 . . . m no fosse uma tautologia, pela tabela do , ter a amos que 1 . . . m seria V e seria F . Da pela tabela do , ter , amos que cada i , 1 i m, seria V . Mas, pela hiptese, 1 , 2 , . . . , m |= e, assim, se todos os 1 , 2 , . . . , m fossem V , o ter amos que tambm seria V , uma contradio. e ca Logo, |= 1 . . . m . () Suponhamos que |= 1 . . . m . Suponhamos tambm que cada um dos i , 1 i m, V . e e Da pela tabela do , a conjuno 1 . . . m V . , ca e Como |= 1 . . . m , pela tabela do , teremos que V . e Logo, 1 , 2 , . . . , m |= . Assim, o Mtodo das Tabelas de Verdade para vericar a validade de argumentos o e e seguinte: Passo 1) Passo 2) Passo 3) invlido. a Reescrever o argumento. Simbolizar as premissas 1 , . . . , m e a concluso do argumento. a Vericar, utilizando as tabelas de verdade, se a sentena simbolizada c
1 . . . m uma tautologia. Se sim, o argumento vlido. Caso contrrio, e e a a e
Cap tulo 2
Lgica Mondica o a
2.1 O Clculo Sentencial a
Uma sentena uma expresso de uma dada linguagem que pode ser classicada como c e a verdadeira ou falsa, de maneira exclusiva, em um dado contexto. Um conectivo uma expresso de uma dada linguagem utilizada para formar sentenas e a c a partir de sentenas dadas. c Sentenas so classicadas de acordo com a ocorrncia ou no de conectivos. Sentenas c a e a c atmicas no possuem ocorrncias de conectivos. Sentenas moleculares so formadas a o a e c a partir de outras sentenas pelo uso de conectivos. c No Cap tulo 1, estudamos a formao e a avaliao de sentenas, quando somente os ca ca c conectivos no, e, ou, se...ento e se, e somente se so considerados. A cada um dos a a a conectivos foi associada uma tabela de verdade que descreve como podemos determinar o valor de verdade de uma sentena molecular, obtida por aplicao do conectivo, a partir c ca dos valores de verdade das sentenas componentes. Os conectivos aos quais podemos c associar tabelas desse tipo recebem uma denominao especial: ca Denio 2.1 Um conectivo por funo de verdade se o valor de verdade (verdadeiro ca e ca ou falso) das sentenas moleculares obtidas por seu intermdio pode ser determinado unica c e e exclusivamente a partir dos valores de verdade das sentenas componentes. c Todos os conectivos considerados so por funo de verdade. a ca
2.1.1
O CS
A Lgica Sentencial Clssica o estudo da formao e avaliao de sentenas, obtidas o a e ca ca c por aplicao de conectivos por funo de verdade. ca ca No Cap tulo 1 estudamos a Lgica Sentencial Clssica levando em conta somente a o a formao e avaliao de sentenas onde ocorrem os conectivos no, e, ou, se...ento e se, ca ca c a a e somente se. Esta parte da Lgica Sentencial Clssica ser chamada Clculo Sentencial o a a a (CS). 57
58 Sintaxe do CS
CAP ITULO 2. LOGICA MONADICA
A formao de sentenas no CS regulada por regras gramaticais r ca c e gidas. A parte do CS que estuda a formao de sentenas chamada sintaxe do CS. Na sintaxe do CS, ca c e temos: I. Um alfabeto, cujos s mbolos so usados na formao das sentenas simbolizadas. a ca c
Denio 2.2 O alfabeto do CS consiste dos seguintes s ca mbolos: i) Letras sentenciais: p, q, r ou s (indexadas ou no). a ii) Conectivos: ( no), ( e), ( ou), ( se...ento) e ( se, e somente se). a a iii) Parnteses: ( (abre parnteses) e ) (fecha parnteses). e e e II. Um conjunto de regras de formao que determinam como as sentenas simbolizadas ca c
devem ser formadas a partir dos s mbolos do alfabeto. Denio 2.3 As regras de formao do CS so as seguintes: ca ca a Rf1 ) Cada letra sentencial uma sentena simbolizada. e c Rf2 ) Se e so sentenas simbolizadas, ento ( ), ( ), ( ), ( ) e a c a ( ) so sentenas simbolizadas. a c Semntica do CS a A avaliao de sentenas no CS tambm regulada por regras r ca c e e gidas. A parte do CS que estuda a avaliao de sentenas chamada semntica do CS. Na ca c e a semntica do CS, temos: a III. Uma tabela de verdade associada a cada conectivo, que determina como cada conectivo deve ser utilizado na avaliao de sentenas. ca c Denio 2.4 As tabelas de verdade dos conectivos so: ca a V F V V F F V F V F V F F F
F V V F V V V F F V
V V V F
2.1. O CALCULO SENTENCIAL IV.
59
Uma maneira de, utilizando as tabelas dos conectivos, associar a cada sentena c
simbolizada uma tabela de verdade que descreve o comportamento de verdade da sentena, c ou seja, que valor uma sentena assume, para cada uma das atribuies de valores V ou c co F `s letras sentenciais que ocorrem em . a Denio 2.5 Uma interpretao para uma sentena simbolizada uma atribuio de ca ca c e ca valores V ou F a cada uma das letras sentenciais que ocorre em . Denio 2.6 A tabela de verdade de uma sentena simbolizada na qual ocorrem as letras ca c sentenciais p1 , . . . , pm pode ser constru mediante a aplicao das seguintes regras: da ca Rt1 ) Em uma linha de referncia, escreva as letras p1 , . . . , pm . e Rt2 ) Em cada uma das 2m linhas abaixo da linha de referncia, escreva uma das 2m e interpretaes para . co Rt3 ) Utilizando as tabelas de verdade dos conectivos, calcule, para cada linha da tabela, o valor de verdade de cada sentena simbolizada utilizada na formao de , at obter c ca e o valor de . Tautologias, Contingncias e Contradies e co Cada sentena simbolizada classicada segundo sua tabela de verdade. c e Denio 2.7 Uma sentena simbolizada uma tautologia se ocorre V em todas as linhas ca c e da ultima coluna de sua tabela de verdade. E uma contingncia se ocorre V em algumas e linhas da ultima coluna de sua tabela e ocorre F em outras. E uma contradio se ocorre e ca F em todas as linhas da ultima coluna de sua tabela de verdade. O Mtodo das Tabelas de Verdade e As principais aplicaes dos conceitos apresentados so a determinao de verdades co a ca lgicas e a vericao da validade de argumentos. o ca Uma sentena uma verdade lgica se verdadeira em todos os contextos. c e o e No caso de uma sentena simbolizada , vericar se uma verdade lgica se reduz a c e o vericar se uma tautologia. Em particular, se a sentena simbolizada uma tautologia, e c e a sentena original classicada como verdade lgica. Se no, a sentena original no c e o a c a e classicada como verdade lgica. o Todos os conceitos e tcnicas do CS so elaborados de modo que as sentenas que e a c podem ser simbolizadas como tautologias sejam verdades lgicas. Mas, como veremos o adiante, existem outras verdades lgicas alm daquelas classicadas como tais, no CS. o e
60
CAP ITULO 2. LOGICA MONADICA Um argumento uma seqncia nita de sentenas em que uma considerada como e ue c e
concluso e as demais so consideradas como premissas. As premissas de um argumento a a servem como evidncias para sua concluso. e a Um argumento vlido se no existe um contexto em que suas premissas so simule a a a taneamente verdadeiras e a concluso falsa. a No caso de argumentos simbolizados no CS, vericar a validade de um argumento: 1 , 2 , . . . , m se reduz a vericar se a implicaao 1 2 . . . m (cujo antecedente a conc e juno das premissas do argumento e cujo conseqente a concluso do argumento) uma ca u e a e tautologia, ou no. Em particular, se a sentena simbolizada uma tautologia, o argua c e mento classicado como vlido. Se no, o argumento classicado como invlido. Todos e a a e a os conceitos e tcnicas do CS so elaborados de maneira que os argumentos que podem e a ser simbolizados como argumentos vlidos so, realmente, vlidos. Mas, como veremos a a a adiante, existem outros argumentos vlidos alm daqueles classicados como tais, no CS. a e Em resumo, as tabelas de verdade do CS fornecem um mtodo para a determinao e ca tanto de verdades lgicas quanto da validade de argumentos cujas sentenas so simo c a bolizadas na linguagem do CS. Veremos agora o que acontece com certas sentenas que c so verdades lgicas e certos argumentos que so vlidos mas que no so classicados a o a a a a como tais no CS.
2.1.2
Insucincia do CS e
Na Seo 1.6.3, vericamos a validade de argumentos no CS, utilizando o Mtodo ca e das Tabelas de Verdade. Todos os argumentos que conclu mos serem vlidos no CS so, a a realmente, vlidos. Mas, como veremos a seguir, existem argumentos que so vlidos mas a a a que o CS garante que no so. a a
Argumentos
'$ Vlidos a
CS
&%
A gura acima ilustra o que foi dito. Nela os argumentos que so vlidos no CS a a constituem apenas uma parte de todos os argumentos vlidos. Neste pargrafo, veremos a a exemplos simples de argumentos utilizados em Matemtica que so vlidos, mas cuja veria a a cao da validade est fora do escopo dos mtodos dispon ca a e veis no CS. Em outras palavras,
2.1. O CALCULO SENTENCIAL
61
os mecanismos de simbolizao e avaliao de sentenas, dispon ca ca c veis no CS, no so sua a cientes para determinar a validade de todos os argumentos utilizados em Matemtica. a Por esta razo, dizemos que o CS insuciente para os estudos de Lgica Matemtica. a e o a Exemplo 1 Considere o seguinte argumento: Todos os nmeros naturais so nmeros pares. u a u Todos os nmeros inteiros so nmeros naturais. u a u Logo, todos os nmeros inteiros so nmeros pares. u a u As sentenas que compem este argumento so classicadas como atmicas, no CS. c o a o Simbolizando, temos: p q r onde: p : (todos os nmeros naturais so nmeros pares) u a u q : (todos os nmeros inteiros so nmeros naturais) u a u r : (todos os nmeros inteiros so nmeros pares) u a u Segundo o Mtodo das Tabelas de Verdade, temos que p q |= r se, e somente se, e |= p q r. Construindo a tabela: p V V V V F F F F Verdade, o argumento invlido. e a Vamos agora examinar mais detalhadamente cada sentena que compe o argumento. c o 1. A primeira premissa a sentena todos os nmeros naturais so nmeros pares, que e c u a u expressa uma relao entre as propriedades ser um nmero natural e ser um nmero ca u u par. Intuitivamente, toda propriedade dene um conjunto, formado pelos elementos que satisfazem essa propriedade. Assim, ser um nmero natural dene o conjunto u X dos nmeros naturais, e ser um nmero par, o conjunto Y dos nmeros pares. u u u Como a sentena arma que todos os nmeros que so pares tambm so naturais, c u a e a ela est armando que todos os elementos de X tambm so elementos de Y . a e a q V V F F V V F F r V F V F V F V F pq V V F F F F F F pq r V F V V V V V V
vericamos que p q r no uma tautologia. Assim, segundo o Mtodo das Tabelas de a e e
62
CAP ITULO 2. LOGICA MONADICA 2. A segunda premissa a sentena todos os nmeros inteiros so nmeros naturais, que e c u a u expressa uma relao entre as propriedades ser um nmero inteiro e ser um nmero ca u u natural. A propriedade ser um nmero inteiro dene o conjunto Z dos nmeros u u inteiros. Como a sentena arma que todos os nmeros que so pares tambm so c u a e a inteiros, ela est armando que todos os elementos de Y tambm so elementos de a e a Z. Observe que ambas as premissas so falsas, pois nem todos os naturais so pares e a a nem todos os inteiros so naturais. Mas, de acordo com a denio, para vericar a ca a validade de um argumento, no estamos interessados nos valores de verdade das a premissas do argumento, no contexto em que elas so dadas, mas sim com o que a acontece nos contextos em que elas so verdadeiras. Admitamos, ento, que ambas a a as premissas so verdadeiras. Ou seja, admitamos que todos os elementos de X so a a elementos de Y e que todos os elementos de Y so elementos de Z. a 3. A concluso a sentena todos os nmeros inteiros so nmeros pares, que expressa a e c u a u uma relao entre as propriedades ser um nmero inteiro e ser um nmero par, ca u u anloga `s propriedades que foram expressas pelas premissas. Ou seja, a concluso a a a arma que todos os elementos de X so elementos de Z. Assim, para que esta a sentena seja falsa, ter que existir um elemento x de X que no um elemento de c a a e Z. Mas, como admitimos que ambas as premissas so verdadeiras, temos que todo a elemento de X um elemento de Y . Da x tambm um elemento de Y . E, do e , e e mesmo modo, todo elemento de Y um elemento de Z. Da x um elemento de Z. e , e Assim, x e no um elemento de Z, uma contradio. e a e ca Temos, ento, que a concluso do argumento no pode ser falsa, caso admitamos a a a que as premissas so verdadeiras. Ou seja, conclu a mos que o argumento vlido, e a contradizendo a anlise feita pelo Mtodo das Tabelas de Verdade. a e Observe que, na anlise da validade do argumento feita acima, desrespeitamos duas a
regras bsicas que regularam explicitamente todo o nosso estudo da formao e avaliao a ca ca de sentenas, no CS. De fato: c 1. Analisamos a formao de sentenas consideradas atmicas no CS. ca c o 2. Analisamos o signicado das sentenas, discutindo o papel das part c culas todo e existe, que no fazem parte da linguagem do CS. a Exemplo 2 Considere agora o seguinte argumento: Todos os nmeros naturais so nmeros pares. u a u Existe um nmero natural. u Logo, existe um nmero par. u
2.1. O CALCULO SENTENCIAL
63
Do mesmo modo que no Exemplo 1, todas as sentenas acima so classicadas como c a atmicas, no CS. Simbolizando o argumento, temos: o p q r onde: p : (todos os nmeros naturais so nmeros pares) u a u q : (existe um nmero natural) u r : (existe um nmero par) u Segundo o Mtodo das Tabelas de Verdade, de acordo com a mesma tabela do Exemplo e 1, conclu mos que o argumento invlido. e a Vamos agora examinar mais detalhadamente cada sentena que compe o argumento. c o 1. A primeira premissa a mesma do argumento anterior e arma que todos os elee mentos de X tambm so elementos de Y . e a 2. A segunda premissa a sentena existe um nmero natural. Como a sentena arma e c u c que existe um nmero natural, ela est armando que algum elemento pertence ao u a conjunto X. Observe que, como j vimos anteriormente, a primeira premissa falsa mas a segunda a e premissa verdadeira pois, de fato, existe um nmero natural. Mas, de acordo com e u a denio, para vericar a validade de um argumento, no estamos interessados nos ca a valores de verdade das premissas do argumento no contexto em que elas so dadas, a mas sim com o que acontece nos contextos em que elas so verdadeiras. Admitamos, a ento que ambas as premissas so verdadeiras. Ou seja, admitamos que todos os a a elementos de X so elementos de Y e que existe um elemento em X. a 3. A concluso a sentena existe um nmero par. Como a sentena arma que existe a e c u c um nmero par, ela est armando que algum elemento pertence ao conjunto Y . u a Logo, para que esta sentena seja falsa, no poder existir nenhum elemento em Y c a a e, como os elementos de X tambm esto em Y , no poderia existir nenhum elemento e a a em X. Assim, existe e no existe um elemento em X, uma contradio. a ca Temos, ento, que a concluso no poder ser falsa, caso admitamos que as premissas a a a a so verdadeiras. O argumento vlido, contradizendo anlise feita pelo Mtodo das a e a a e Tabelas de Verdade. Observe que, na anlise da validade do argumento feita acima, desrespeitamos as a mesmas regras bsicas que regularam nosso estudo do CS desrespeitadas na anlise do a a argumento do Exemplo 1. Em resumo, queremos destacar os seguintes fatos:
64
CAP ITULO 2. LOGICA MONADICA 1. Todos os argumentos que mostramos serem vlidos utilizando o Mtodo das Tabelas a e de Verdade so realmente vlidos. a a 2. Existem argumentos simples, utilizados na Matemtica, que reconhecemos como a vlidos, mas que no so classicados como vlidos se utilizamos o Mtodo das a a a a e Tabelas de Verdade. 3. A anlise da validade destes argumentos se baseia na anlise da formao de sena a ca tenas consideradas atmicas no CS e no papel de part c o culas como todo e existe, que no fazem parte da linguagem do CS. a Assim, um terceiro passo nos estudos de Lgica Matemtica ser estudar a formao o a a ca
de sentenas consideradas atmicas e o papel das part c o culas todo e existe na formao e ca avaliao de sentenas. ca c
2.2
Quanticao ca
Estudaremos agora, de forma intuitiva, a formao e a avaliao de sentenas por ca ca c meio das part culas todo e existe. Estas particulas, em conjunto com os conectivos, so as a part culas mais utilizadas na linguagem matemtica. a Denio 2.8 As part ca culas todo e existe so chamadas quanticadores. a
2.2.1
Quanticao em Dom ca nios Finitos
Inicialmente, vamos analisar a relao existente entre os quanticadores e os conectivos ca e e ou. Exemplo 3 Considere uma sala na qual esto quatro pessoas: Maria, Jos, Pedro e a e Paulo.
Maria
Pedro
Jos e Sala 1
Paulo
A sentena todos nesta sala so homens falsa, assim como falsa a primeira das c a e e sentenas: c
2.2. QUANTIFICACAO Maria homem, e Pedro homem, e Jos homem, ee Paulo homem, e enquanto que as outras trs so verdadeiras. e a
65
Logo, a sentena todos nesta sala so homens falsa, assim como falsa a conjuno c a e e ca (Maria homem) (Pedro homem) (Jos homem) (Paulo homem), que expressa o e e ee e mesmo contedo que a sentena onde ocorre o todos. u c Exemplo 4 Considere agora uma sala em que esto quatro pessoas: Joo, Jos, Pedro e a a e Paulo.
Joo a
Pedro
Jos e Sala 2
Paulo
Neste contexto, a sentena todos nesta sala so homens verdadeira, assim como c a e tambm so verdadeiras as sentenas: e a c Joo homem, a e Pedro homem, e Jos homem, ee Paulo homem. e Logo, a sentena todos nesta sala so homens verdadeira, assim como a conjuno c a e ca (Joo homem) (Pedro homem) (Jos homem) (Paulo homem), que expressa o a e e ee e mesmo contedo que a sentena onde ocorre o todos. u c Generalizando os exemplos apresentados acima, dado um dom nio com m objetos a1 , a2 , . . . , am , e uma propriedade P sobre estes objetos, podemos concluir que a sentena todos os elementos do dom c nio possuem a propriedade P verdadeira quando cada e uma das m sentenas: c a1 possui a propriedade P , a2 possui a propriedade P , ... am possui a propriedade P ,
66
verdadeira. Ou seja, quando a conjuno (a1 possui a propriedade P ) (a2 possui a e ca propriedade P ) . . . (am possui a propriedade P ) verdadeira. E a mesma sentena e c e falsa quando ao menos uma das sentenas: c a1 possui a propriedade P , a2 possui a propriedade P , ... am possui a propriedade P , falsa. Ou seja quando a conjunao (a1 possui a propriedade P ) (a2 possui a propriedade e c P ) . . . (am possui a propriedade P ) falsa. e Assim, podemos considerar que, em dom nios nitos, o todo equivalente a um e e generalizado. Exemplo 5 Considere agora a mesma Sala 1 do Exemplo 3 e a sentena nesta sala existe c uma mulher. Esta sentena verdadeira. E tambm verdadeira a primeira das sentenas c e e e c Maria mulher, e Pedro mulher, e Jos mulher, ee Paulo mulher, e enquanto que as outras trs so falsas. e a Logo, a sentena nesta sala existe uma mulher verdadeira, assim como verdadeira c e e a disjuno (Maria mulher) (Pedro mulher) (Jos mulher) (Paulo mulher), que ca e e ee e expressa o mesmo contedo que a sentena onde ocorre o existe. u c Exemplo 6 Considere agora a Sala 2 do Exemplo 4. Neste contexto, a sentena nesta c sala existe uma mulher falsa, assim como tambm so falsas todas as sentenas: e e a c Joo mulher, a e Pedro mulher, e Jos mulher, ee Paulo mulher. e Logo, a sentena nesta sala existe uma mulher falsa, assim como falsa a disjuno c e e ca (Joo mulher) (Pedro mulher) (Jos mulher) (Paulo mulher) que expressa o a e e e e e mesmo contedo que a sentena onde ocorre o existe. u c Generalizando os exemplos apresentados acima, dado um dom nio com m objetos a1 , a2 , . . . , am , e uma propriedade P sobre estes objetos, podemos concluir que a sentena existe ao menos um elemento do dom c nio que possui a propriedade P verdadeira e quando ao menos uma das sentenas: c
2.2. QUANTIFICACAO a1 possui a propriedade P , a2 possui a propriedade P , ... am possui a propriedade P ,
67
verdadeira. Ou seja, quando a disjuno (a1 possui a propriedade P ) (a2 possui a e ca propriedade P ) . . . (am possui a propriedade P ) verdadeira. E a mesma sentena e c e falsa quando todas as sentenas: c a1 possui a propriedade P , a2 possui a propriedade P , ... am possui a propriedade P , so falsas. Ou seja, quando a disjuno (a1 possui a propriedade P ) (a2 possui a proa ca priedade P ) . . . (am possui a propriedade P ) falsa. e Assim, podemos considerar que, em dom nios nitos, o existe equivalente a um ou e generalizado.
2.2.2
Quanticao em Dom ca nios Innitos
Se trabalhssemos somente com dom a nios nitos, poder amos abolir o uso dos quanticadores e car somente com os conectivos, escrevendo conjunes e disjunes generaco co lizadas no lugar de sentenas onde ocorrem o todo e o existe. Mas, como em Matemtica, c a mesmo nos estudos mais elementares, dom nios innitos so considerados, devemos levar a adiante a anlise da formao e avaliao de sentenas por meio dos quanticadores. Vea ca ca c jamos agora o que acontece em dom nios innitos. Exemplo 7 Considere o conjunto N = {0, 1, 2, . . . , . . .} dos nmeros naturais. A sentena u c todos os elementos de N so maiores que 0 falsa, assim como falsa a primeira das a e e sentenas: c 0 maior que 0, e 1 maior que 0, e 2 maior que 0, e ... enquanto que todas as outras so verdadeiras. a Logo, a sentena todos os elementos de N so maiores que 0 falsa, assim como seria c a e falsa a conjuno innita (0 maior que 0) (1 maior que 0) (2 maior que 0) ca e e e . . . , que expressaria o mesmo contedo que a sentena onde ocorre o todos, se pudesse u c ser escrita.
68
Exemplo 8 Considere o mesmo conjunto N e a sentena todos os elementos de N so c a inteiros. Esta sentena verdadeira, assim como so verdadeiras todas as sentenas: c e a c 0 um inteiro, e 1 um inteiro, e 2 um inteiro, e ... Logo, a sentena todos os elementos de N so inteiros verdadeira, assim como seria c a e verdadeira a conjuno innita (0 inteiro) (1 inteiro) (2 inteiro) . . . , que ca e e e expressaria o mesmo contedo que a sentena onde ocorre o todos, se pudesse ser escrita. u c Assim, podemos considerar que, em dom nios innitos, o todo equivalente, em termos e de contedo, a uma conjuno innita, embora uma tal conjuno no possa ser escrita. u ca ca a Exemplo 9 Considere agora o mesmo conjunto N e a sentena existe um elemento em c N que par e primo. Esta sentena verdadeira, assim como verdadeira a terceira das e c e e sentenas: c 0 par e primo, e 1 par e primo, e 2 par e primo, e ... enquanto que todas as outras so falsas. a Logo, a sentena existe um elemento em N que par e primo verdadeira, assim como c e e seria verdadeira a disjuno innita (0 par e primo) (1 par e primo) (2 par e ca e e e primo) . . . , que expressaria o mesmo contedo que a sentena onde ocorre o existe, se u c pudesse ser escrita. Exemplo 10 Considere ainda o conjunto N e a sentena existe um elemento em N que c e irracional. Esta sentena falsa, assim como so falsas todas as sentenas: c e a c 0 irracional, e 1 irracional, e 2 irracional, e ... Logo, a sentena existe um elemento em N que irracional falsa, assim como seria c e e falsa a disjuno innita (0 irracional) (1 irracional) (2 irracional) . . . , que ca e e e expressaria o mesmo contedo da sentena onde ocorre o existe, se pudesse ser escrita. u c
2.3. SINTAXE
69
Assim, podemos considerar que, em dom nios innitos, o existe equivalente, em e termos de contedo, a uma disjuno innita, embora uma tal disjuno no possa ser u ca ca a escrita. Em resumo, temos as seguintes concluses: o 1. Em termos de contedo, o todo equivalente a um generalizado e o existe u e e equivalente a um generalizado. 2. Mas, em termos de reescrita, no existe uma associao direta entre os conectivos a ca e e os quanticadores todo e existe, pois, nos casos dos dom nios innitos, no a poder amos escrever, de maneira direta, o quanticador todo como um e nem o quanticador existe como um .
2.3
2.3.1
Sintaxe
Formas Sentenciais
Embora, em termos de contedo, o todo seja equivalente a um generalizado e o u existe seja equivalente a um generalizado, em termos da reescrita das sentenas onde c estes quanticadores ocorrem, eles no podem ser assim considerados. Isto acontece por a que, no caso dos dom nios innitos, uma sentena onde o todo ocorre no pode ser escrita c a de maneira direta como uma conjuno e uma sentena onde o existe ocorre no pode ser ca c a escrita de maneira direta como uma disjuno. Assim, temos que encontrar um mecanismo ca que nos permita escrever em uma expresso nita tanto a conjuno como a disjuno das a ca ca sentenas: c a1 possui a propriedade P a2 possui a propriedade P ... an possui a propriedade P ... A idia fazer o seguinte: e e 1. Dado um dom nio D e uma propridade P sobre elementos de D, consideramos o conjunto das sentenas da forma ai possui a propriedade P , onde os ai s denotam os c elementos de D. 2. Se D for nito, podemos considerar que a sentena para todo elemento de D vale c a propriedade P equivalente ` conjuno (a1 possui a propriedade P ) (a2 possui e a ca a propriedade P ) . . . (am possui a propriedade P ). Analogamente, neste caso, podemos considerar que a sentena existe ao menos um elemento de D para o qual vale c
70
CAP ITULO 2. LOGICA MONADICA a propriedade P equivalente ` disjuno (a1 possui a propriedade P ) (a2 possui a e a ca propriedade P ) . . . (am possui a propriedade P ). Este exatamente o signicado dos quanticadores, quando associados a dom e nios nitos. 3. Mas se D for innito o procedimento acima no poder ser executado, pois no a a a podemos escrever nem conjunes nem disjunes innitas. Neste caso, fazemos o co co seguinte: a. Consideramos as sentenas individuais: c a1 possui a propriedade P a2 possui a propriedade P ... am possui a propriedade P ... b. Introduzimos uma nova letra, por exemplo x, que pode ser usada para denotar qualquer elemento do dom nio innito. c. Utilizando a letra x, representamos a forma geral das sentenas individuais c por uma unica expresso: a x possui a propriedade P , chamada a forma sentencial. d. Associamos a cada quanticador um s mbolo, conforme a seguinte tabela: Quanticador para todo existe ao menos um e. Escrevemos:
x
S mbolo
(x possui a propriedade P ),
se queremos armar que a propriedade P vale para todos os elementos do dom nio. E escrevemos:
x
(x possui a propriedade P ),
se queremos armar que existe ao menos um dos elementos do dom nio que satisfaz a propriedade.
2.3. SINTAXE
71
Exemplo 11 Considere o conjunto N dos nmeros naturais. Cada elemento de N possui u um nome, que um dos numerais: zero, um, dois, trs, quatro, . . . Assim, se queree e mos armar que todos os elementos de N so positivos, ao invs de escrevermos innitas a e sentenas: c zero positivo e um positivo e dois positivo e ... tomamos uma nova letra x que pode assumir como valor qualquer nmero natural e esu crevemos uma unica expresso que possui a forma das sentenas anteriores: a c x positivo e A partir da podemos escrever x (x positivo), armando que todos os elementos de , e N so positivos. Por outro lado, se queremos armar que existe uma elemento de N que a e positivo, escrevemos x (x positivo). e
2.3.2
Constantes e Variveis a
Duas categorias de s mbolos ocupam lugar de destaque no procedimento de formao ca esboado na Seo 2.3.1: c ca 1. S mbolos como os numerais zero, um, dois, trs, . . . que denotam elementos ese pec cos de um dom nio. 2. S mbolos como a letra x que podem denotar um elemento qualquer de um dom nio. Denio 2.9 ca i) Uma constante uma expresso de uma dada linguagem que denota e a
um elemento espec co em um dado contexto. ii) Uma varivel uma expresso de uma dada linguagem que pode denotar um elemento a e a qualquer em um dado contexto. Exemplo 12 Alguns exemplos de constantes utilizadas na Matemtica so: a a a) Os numerais: cinco, cinquenta, quinhentos, cinco mil. b) O nome do conjunto dos nmeros naturais: N. u Alguns exemplos de variveis utilizadas na Matemtica so: a a a c) Variveis para nmeros naturais: m, n, p. a u
72
CAP ITULO 2. LOGICA MONADICA d) Variveis para conjuntos de nmeros naturais: A, B, C. a u Observe que, enquanto cinco o nome de um nmero natural espec e u co, m pode denotar qualquer um dos nmeros 0, 1, 2, 3, 4, . . . Do mesmo modo, enquanto N deu nota um conjunto espec co, A pode denotar qualquer um dos conjuntos , {0, 1}, {1, 3, 5, 7, }, {2, 4, 6, 8, . . .}, N, etc. Constantes denotam elementos espec cos em um dado contexto. Mas, em contextos
diferentes, uma mesma constante pode denotar elementos diferentes. Exemplo 13 Alguns autores utilizam a expresso 1, que usualmente denota um determia nado nmero natural, para denotar tambm a matriz identidade: u e 1 0 0 1 Utilizando as noes de constante, varivel e forma sentencial, podemos descrever o co a processo de formao de sentenas onde ocorrem os quanticadores. ca c Dada uma sentena: c a possui a propriedade P onde a uma constante, substitu e mos a pela varivel x obtendo a forma sentencial: a x possui a propriedade P A seguir, quanticando a varivel x, temos as sentenas: a c
x x
(x possui a propriedade P ) (x possui a propriedade P )
Analogamente, se temos as sentenas: c

x x
(x possui a propriedade P ) (x possui a propriedade P )
eliminado os quanticadores e , temos a forma sentencial: x possui a propriedade P A seguir, substituindo a varivel x pela constante a, temos a sentena: a c a possui a propriedade P
2.3. SINTAXE
73
Em resumo, temos o seguinte diagrama, que mostra como podemos passar de sentenas c para formas sentenciais e vice-versa, por meio dos processos de substituio, quanticao ca ca e eliminao: ca a possui a propriedade P
substituicao
substituicao
x possui a propriedade P
eliminacao
x
quantificacao
(x possui a propriedade P ) x (x possui a propriedade P )
O diagrama acima ilustra trs fatos importantes sobre a formao de sentenas onde e ca c ocorrem os quanticadores para todo e existe ao menos um: 1. A forma sentencial x possui a propriedade P considerada como uma componente e das sentenas x (x possui a propriedade P ) e x (x possui a propriedade P ). c 2. A partir da forma sentencial x possui a propriedade P podemos formar sentenas de c duas maneiras distintas: a) Atravs da substituio de variveis por constates. e ca a b) Atravs da quanticao de variveis. e ca a 3. As sentenas x (x possui a propriedade P ) e x (x possui a propriedade P ) so obtidas c a a partir de sentenas a possui a propriedade P atravs da substituio de constantes c e ca por variveis e da quanticao de variveis. a ca a
2.3.3
Forma dos Enunciados Atmicos o
Sentenas e formas sentenciais recebero uma denominao especial. c a ca Denio 2.10 Um enunciado uma expresso de uma dada linguagem, que pode ser ca e a utilizada como uma sentena ou como uma forma sentencial. c Quanto ` formao, os enunciados podem ser classicados em duas categorias. a ca Denio 2.11 Um enunciado atmico se no possui a ocorrncia de conectivos ou ca e o a e quanticadores. Na Lgica Mondica, temos o seguinte princ sobre a forma dos enunciados atmicos: o a pio o Todo enunciado atmico da forma Sujeito-Predicado. o e
74
CAP ITULO 2. LOGICA MONADICA Ou seja, um enunciado atmico expressa a predicao de uma propriedade a um eleo ca
mento de um determinado dom nio. Exemplo 14 a) 2 par. e
Sujeito: 2 Predicado: ser par b) 3 maior do que 5 e Sujeito: 3 Predicado: ser maior do que 5 c) A est entre B e C. a Sujeito: A Predicado: estar entre B e C d) Maria vai ` feira com Joo. a a Sujeito: Maria Predicado: ir ` feira com Joo a a e) Maria e Joo so casados. a a Sujeito: Maria e Joo (sujeito composto) a Predicado: serem casados Para sistematizar a reescrita de enunciados atmicos, devemos examinar um pouco o melhor o conceito de propriedade.
2.3.4
Propriedades e S mbolos de Predicado
Uma propriedade descreve um estado de coisas, dizendo se um determinado elemento possui, ou no, uma caracter a stica. Exemplo 15 Vejamos dois exemplos de propriedades. a) A propriedade ser par diz que certos nmeros naturais so mltiplos de 2. u a u b) A propriedade ser primo diz que certos nmeros naturais no possuem divisores diu a ferentes de 1 e de si prprios. o Para evitar ambigidade na reescrita de enunciados atmicos, vamos exigir que uma u o propriedade satisfaa `s seguintes condies: c a co
2.3. SINTAXE
75
1. Existe um dom nio que contm todos os elementos sobre os quais faz sentido pere guntar se possuem a propriedade. 2. Dado um elemento do dom nio no qual a propriedade est denida, uma e somente a uma das alternativas acontece: ou ele possui a propriedade ou ele no possui a a propriedade. Formalmente, temos a seguinte denio: ca Denio 2.12 ca i) Uma propriedade P em um dom nio D um subconjunto de D. e
ii) Dado a um elemento qualquer de D, dizemos que a possui ou no a propriedade P a caso a seja, ou no, um elemento de P . a Exemplo 16 A propriedade ser par o conjunto {0, 2, 4, . . .} dos nmeros pares. e u Denio 2.13 Um s ca mbolo de predicado uma expresso de uma dada linguagem, que e a pode ser utilizada para denotar uma propriedade. Para reescrever enunciados atmicos, devemos reescrever as expresses que denotam o o propriedades e sujeitos.
2.3.5
Reescrita de S mbolos de Predicado
Temos a seguinte regra para a reescrita de s mbolos de predicado. Regra Um s mbolo de predicado deve ser reescrito como (x), onde uma seqncia e ue
de letras maisculas e x uma varivel. u e a Usualmente, a seqncia de letras maisculas utilizada na reescrita de s ue u mbolos de predicado uma expresso que induz o signicado da propriedade que ele denota. e a Exemplo 17 Para os s mbolos de predicado do Exemplo 14, temos: a) PAR (x) b) MAIOR-QUE-5 (x) c) ENTRE-B-E-C (x) ` d) VAI-A-FEIRA-COM-JOAO (x) e) CASADOS (x) Exemplo 18 Vamos agora reescrever os enunciados do Exemplo 14.
76 a) 2 par. e PAR (2) Falta reescrever o sujeito 2. b) 3 maior do que 5. e MAIOR-QUE-5 (3) Falta reescrever o sujeito 3. c) A est entre B e C. a ENTRE-B-E-C (A) Falta reescrever o sujeito A. d) Maria vai ` feira com Joo. a a ` VAI-A-FEIRA-COM-JOAO (Maria) Falta reescrever o sujeito Maria. e) Maria e Joo so casados. a a CASADOS (Joo e Maria) a Falta reescrever o sujeito Joo e Maria. a f ) Paulo e Cybele so estudiosos. a
ESTUDIOSO (Paulo) ESTUDIOSO(Cybele) Falta reescrever os sujeitos Paulo e Cybele. g) A me de Marcelo professora. a e PROFESSORA (me de Marcelo) a Falta reescrever o sujeito me de Marcelo. a h) O carro de Marcelo azul. e AZUL (carro de Marcelo) Falta reescrever o sujeito carro de Marcelo. i) Ele professor. e PROFESSOR (Ele) Falta reescrever o sujeito ele. Devemos agora reescrever os sujeitos.
2.3. SINTAXE
77
2.3.6
Termos
Expresses que so utilizadas como sujeitos recebero uma denominao especial. o a a ca Denio 2.14 Um termo uma expresso de uma dada linguagem, que pode ser utica e a lizada para denotar um objeto de um dado dom nio. Exemplo 19 So exemplos de termos: a a) Algumas constantes utilizadas em Matemtica: a Constante 0 1 e N Denotao ca zero um base dos logaritmos neperianos conjunto vazio conjunto dos nmeros naturais u
b) Algumas variveis usadas em Matemtica: a a Varivel a n x P r c) Alguns nomes como: Bar Luiz, Rua da Carioca, Rio de Janeiro, Brasil, Terra e Via Lctea. a d) Alguns pronomes como: ele, ela, aquele, aquela, etc. e) Termos mais complicados como: 1 r , logx , 7 + 5 , 1, 1 + 1, 2 f (x)dx, {0, 1, 2, 3, 4}, etc. 2 x! 0 Quanto ` formao, os termos podem ser atmicos ou moleculares. a ca o Denio 2.15 Um termo atmico se uma constante ou uma varivel. ca e o e a Na Lgica Mondica, todos os termos sero classicados como atmicos. o a a o Denotao usual ca um nmero natural u um nmero qualquer u um ponto uma reta um plano
78
2.3.7
Reescrita e Simbolizao de Termos ca
Temos as seguintes regras para a reescrita de termos na Lgica Mondica: o a Regra 1 Um termo atmico no deve ser reescrito. o a Classicar o termo como varivel ou constante. a Simbolizar os termos de acordo com as seguintes regras:
O processo de simbolizao de termos efetuado nos seguintes passos: ca e Passo 1) Passo 2)
5a. Uma constante deve ser simbolizada por uma das letras: a, b, c, d ou e (indexadas ou no). a 5b. Uma varivel deve ser simbolizada por uma das letras: x, y, z, u, v ou w (indexadas a ou no). a Exemplo 20 Vejamos alguns exemplos de reescrita de termos. a) Joo a a b) 2 b c) x x d) Ele y e) O pai de Joo a c f ) O pai dele z g) 3 d h) 2 + 3 e i) 2! + 3 a1
2.3. SINTAXE j) (2 + 3)! b1 k) x + yz w l) (x + y)z x1 m) xlog3 2 y2
79
2.3.8
Simbolizao de Enunciados ca
Os enunciados atmicos so aqueles que no podem ser formados a partir de enunciados o a a anteriores. Como j vimos no pargrafo 2.3.3, os enunciados atmicos so formados a partir a a o a de termos por aplicao de s ca mbolos de predicado e, portanto, so da forma: a P (t) Exemplo 21 Vejamos alguns exemplos de reescrita de enunciados atmicos. o a) Marcelo professor. e PROFESSOR(Marcelo) b) x um nmero perfeito. e u NUMERO-PERFEITO(x) c) Joo marido de Ana. a e MARIDO-DE-ANA(Joo) a d) Maria me de Isabel e de Ana. e a MAE-DE-ISABEL-E-ANA(Maria) Denio 2.16 Um enunciado molecular se no atmico, isto , se nela ocorre pelo ca e a e o e menos um conectivo ou quanticador. Temos as seguintes regras para a reescrita de enunciados moleculares: Regra 1 As regras para negao, conjuno, disjuno, implicao e biimplicao so ca ca ca ca ca a
anlogas `s do CS. a a
80 Regra 2
CAP ITULO 2. LOGICA MONADICA Uma generalizao deve ser reescrita como x, onde o enunciado geneca e
ralizado previamente reescrito. Regra 3 Uma existencializao deve ser reescrita como x, onde o enunciado ca e
existencializado previamente reescrito.
Exemplo 22 Vejamos alguns exemplos de reescrita de enunciados moleculares. a) x no um nmero perfeito. a e u (NUMERO-PERFEITO(x)) b) 2 par e x impar. e e PAR(2) IMPAR(x) c) Se x primo diferente de 2, ento x e a e mpar. PRIMO(x) DIFERENTE-DE-2(x) IMPAR(x) d) Se a par e b e e mpar, entao a e b so primos entre si. a PAR(a) IMPAR(b) PRIMOS-ENTRE-SI(a&b) e) Todos os nmeros so pares. u a x(NUMERO(x) PAR(x)) f ) Existem nmeros pares. u x(NUMERO(x) PAR(x)) O processo de simbolizao de enunciados efetuado nos seguntes passos: ca e Passo 1) Passo 2) Classicar o enunciado em atmico ou molecular. o Se for atmico, identicar sujeito e a propriedade. o
2a. Reescrever o enunciado de acordo com as regras de reescrita. 2b. Substituir os termos por termos simbolizados e os s mbolos de predicado por uma das letras P , Q, R, S ou T (indexada ou no), de modo que cada ocorrncia de um a e mesmo s mbolo de predicado seja substituindo pela mesma letra. Passo 3) Se o enunciado for molecular, classicar todos os conectivos e quanti-
cadores que ocorrem nele e determinar se negao, conjuno, disjuno, implicao, e ca ca ca ca biimplicao, generalizao ou existencializao. ca ca ca 3a. Reescrever o enunciado de acordo com as regras de reescrita.
2.3. SINTAXE
81
3b. Simbolizar o enunciado reescrito, substituindo os termos reescritos por termos simbolizados, os s mbolos de predicado pelas letras P, Q, R, S ou T (indexadas ou no), a de modo que cada ocorrncia de um mesmo s e mbolo de predicado seja substitu do pela mesma letra. Exemplo 23 Para os enunciados do Exemplo 21, temos: a) P (a) b) Q(x) c) R(b) d) S(c) Exemplo 24 Para os enunciados do Exemplo 22, temos: a) P (a) b) P (a) Q(x) c) P (x) Q(x) R(x) d) P (a) Q(b) S(c) e) x(P (x) Q(x)) f ) x(P (x) Q(x))
82
Cap tulo 3
Arvores de Refutao ca
3.1 Inecincia das tabelas de verdade e
Muitas vezes, devido ` grande quantidade de trabalho manual que ter a amos de executar, ser amos desencorajados a usar o mtodo das tabelas de verdade na vericao da e ca validade de argumentos. Exemplo 1 Vericar a validade do seguinte argumento: p (q r) q s t s q (p t) Usando a tabela de verdade ter amos um total de 25 = 32 linhas e aproximadamente 13 colunas (o que fornece um total de 416 entradas de V e F ). O Exemplo 1 nos ajuda a comprovar que o mtodo das tabelas de verdade no e a e adequado para um ser humano, uma vez que, para vericar a validade de argumentos relativamente pequenos, necessitamos de um nmero muito grande de linhas e colunas. u O leitor j familiarizado com a programao de computadores deve ter percebido que a ca e fcil fazer um programa de computador que implemente o mtodo das tabelas de verdade. a e Assim, parece que, se tivermos uma quantidade suciente de tecnologia ` nossa disposio, a ca o uso das tabelas de verdade no apresentar nenhum problema. Mas pode-se provar que, a a mesmo para computadores que processam uma grande quantidade de informao por ca segundo, do ponto de vista computacional, usar o mtodo das tabelas de verdade para e vericar a validade de certos argumentos pode ser extremamente custoso. Na verdade, descobrir um mtodo para vericar a validade de argumentos que seja e eciente, do ponto de vista computacional, ou provar que este mtodo no existe, o e a e principal problema no resolvido em um ramo da Matemtica chamado Teoria da Coma a putao. ca 83
84
CAP ITULO 3. ARVORES DE REFUTACAO Nas prximas sees, apresentaremos um mtodo que, em alguns casos, possui um o co e
desempenho melhor que a tabela de verdade, na vericao da validade de argumentos. ca Cabe observar que este melhor desembpenho no se d em uma quantidade signicativa a a de casos. Por isso o novo mtodo no pode ser considerado como uma alternativa para o e a mtodo das tabelas de verdade. e
3.2
O mtodo de reduo ao absurdo e ca
O mtodo que iremos apresentar, chamado mtodo de refutao, um caso particular e e ca e do mtodo de reduo ao absurdo. Este ultimo pode ser descrito sucintamente do seguinte e ca modo: 1) Temos um determinado enunciado que queremos provar, a partir de enunciados 1 , . . . , n :
1 , . . . , n = 2) Ao invs de tentarmos combinar a informao contida em 1 , . . . , n de modo a e ca justicar diretamente, acrescentamos a 1 , . . . , n o enunciado , ou seja, a negao do que queremos provar: ca
1 , . . . , n , 3) Consideramos que, quando podemos provar a partir de 1 , . . . , n , a verdade de est assegurada pela verdade de 1 , . . . , n . Logo, se podemos provar a partir a de 1 , . . . , n , de algum modo a informao contida em deve entrar em conito ca com a informao contida em 1 , . . . , n . Assim, raciocinamos sobre 1 , . . . , n , ca tentando encontrar alguma informao que contradiga alguma informao , j ca ca a obtida anteriormente:
1 , . . . , n , = , 4) Se isto acontecer, ento consideramos que est provado a partir de 1 , . . . , n . a a O mtodo de reduo ao absurdo possui as seguintes caracter e ca sticas: a) Tenta resolver o problema P1 de provar a partir de 1 , . . . , n transformando P1 no problema P2 de provar uma contradio a partir de 1 , . . . , n , . ca
3.3. O METODO DE REFUTACAO
85
b) P2 pode ser mais fcil que P1 . De fato, em P2 temos mais informaes (premisa co sas) para manipular. E, como qualquer contradio a que chegarmos manipulando ca 1 , . . . , n , nos mostra que a informao contida em 1 , . . . , n nos leva a , em ca P2 temos mais concluses para onde guiar nossos esforos. o c c) P2 pode ser mais dif que P1 . cil
3.3
O mtodo de refutao e ca
O mtodo de refutao pode ser descrito do seguinte modo: e ca 1) Queremos provar que uma sentena simbolizada uma tautologia. As informaes c e co que podemos usar para isto so as fornecidas pelas regras de formao e avaliao a ca ca de sentenas: c Regras de formao ca + = |= Regras de avaliao ca 2) Acrescentamos a informao dada nas regras de formao e avaliao a negao do ca ca ca ca que queremos provar, ou seja, que no uma tautologia: a e Regras de formao ca + Regras de avaliao ca + |= 3) Pela denio, temos que |= se, e somente se, para toda interpretao I para , ca ca temos que V em I. Da |= se, e somente se, existe uma interpretao I para e , ca , tal que F em I. e De acordo com o mtodo de reduo ao absurdo, se |= , a informao contida nas e ca ca regras de formao e avaliaao de sentenas deve entrar em conito com a existncia ca c c e de uma interpretao I tal que F em I. Este conito deve ser expresso na ca e a existncia de uma letra sentencial pi que deve ser ao mesmo tempo V e F em I. e Regras de formao ca + Regras de avaliao = pi V e F em I ca e + F em I e 4) Se isto acontecer, ento |= . a
86 Em resumo, temos: Metodo de Refutacao
CAP ITULO 3. ARVORES DE REFUTACAO
Objetivo: Dada uma sentena simbolizada do CS, determinar se |= . c Mtodo: Consiste dos seguintes passos: e Passo 1) Passo 2) Suponha que existe uma interpretao I para tal que F em I, ou seja, ca e Usando a informao contida nas regras de avaliao (sobre a relao entre ca ca ca no uma tautologia. a e os valores de verdade de uma sentena simbolizada e o valor de verdade de suas comc ponenetes), calcule o valor de verdade de cada letra sentencial de na interpretao I. ca Passo 3) Se existir uma letra sentencial de que , ao mesmo tempo, V e F em I, e ento |= . Se no, no uma tautologia. a a a e
Exemplo 2 Vamos usar o mtodo de refutao para provar que algumas sentenas sime ca c bolizadas so tautologias. a a) |= p p Prova: Suponhamos que |= p p, ou seja, que existe uma interpretao I para ca
p p tal que p p F em I. De acordo com a tabela de verdade do , para que e uma implicao seja F em uma dada interpretao I, sua antecedente deve ser V ca ca em I e sua consequente deve ser F em I. Assim, como supomos que p p F em e I, podemos concluir que p (o antecedente) V em I e que p (o consequente) F em e e I, contradizendo a denio de interpretao. Assim, |= p p. ca ca b) |= p (q p) Prova: Suponhamos que |= p (q p), ou seja, que existe uma interpretao ca
I para p (q p) tal que p (q p) F em I. De acordo com a tabela de e verdade do , como supomos que p (q p) F em I, podemos concluir que e p (o antecedente) V em I e que q p (o consequente) F em I. Aplicando e e novamente a tabela de verdade do , do fato de que q p F em I, conclu e mos que q V em I e que p F em I, contradizendo a denio de interpretaao. Assim, e e ca c |= p (q p).
3.4
Arvores de refutao ca
Exemplo 3 Vericar se as seguintes sentenas simbolizadas so tautologias, usando rc a a vores de refutao. ca
3.5. REGRAS DE REFUTACAO DO CS a) |= (p q) (q p) (p q)
87
Exemplo 4 Vericar a validade dos seguintes argumentos, usando rvores de refutao. a ca pq r q s t s qpt pq r sr t ps qt
a)
b)
3.5
Regras de refutao do CS ca
As rvores de refutao do CS so formadas por aplicao sucessiva das seguintes a ca a ca regras de refutao. ca Regra da negacao a) Como V se, e somente se, F , quando temos : V em um ramo da rvore, e e a marcamos : V como usada e expandimos este ramo acrescentando a todas as suas bifurcaes o diagrama: co | :F Em resumo: . . . : V . . . | :F b) Como F se, e somente se, V , quando temos : F em um ramo da rvore, e e a marcamos : F como usada e expandimos este ramo acrescentando a todas as suas bifurcaes o diagrama: co | :V Em resumo:
88
CAP ITULO 3. ARVORES DE REFUTACAO . . . : F . . . | :V
Regra da conjuncao a) Como V se, e somente se, V e V , quando temos : V em um ramo e e e da rvore, marcamos : V como usada e expandimos este ramo acrescentando a a todas as suas bifurcaes o diagrama: co | :V | :V Em resumo: . . . :V . . . | :V | :V b) Como F se, e somente se, F ou F , quando temos : F em um ramo e e e da rvore, marcamos : F como usada e expandimos este ramo acrescentando a a todas as suas bifurcaes o diagrama: co
d d
:F
:F
Em resumo: . . . :F . . .
d d
:F
:F
3.5. REGRAS DE REFUTACAO DO CS Regra da disjuncao
89
a) Como V se, e somente se, V ou V , quando temos : V em um ramo e e e da rvore, marcamos : V como usada e expandimos este ramo acrescentando a a todas as suas bifurcaes o diagrama: co
d d
:V
:V
Em resumo: . . . :V . . .
d d
:V
:V
b) Como F se, e somente se, F e F , quando temos : F em um ramo e e e da rvore, marcamos : F como usada e expandimos este ramo acrescentando a a todas as suas bifurcaes o diagrama: co | :F | :F Em resumo: . . . :F . . . | :F | :F
Regra da implicacao a) Como V se, e somente se, F ou V , quando temos : V e e e em um ramo da rvore, marcamos : V como usada e expandimos este ramo a acrescentando a todas as suas bifurcaes o diagrama: co Em resumo:
90

d d
:F
:V
. . . :V . . .
d d
:F
:V
b) Como F se, e somente se, V e F , quando temos : F em e e e um ramo da rvore, marcamos : F como usada e expandimos este ramo a acrescentando a todas as suas bifurcaes o diagrama: co | :V | :F Em resumo: . . . :F . . . | :V | :F
Regra da biimplicacao a) Como V se, e somente se, e possuem o mesmo valor de verdade, e quando temos : V em um ramo da rvore, marcamos : V como usada a e expandimos este ramo acrescentando a todas as suas bifurcaes o diagrama: co
d d
:V | :V
:F | :F
Em resumo:
3.5. REGRAS DE REFUTACAO DO CS . . . :V . . .

d d
91
:V | :V
:F | :F
b) Como F se, e somente se, e possuem valores de verdade distintos, e quando temos : F em um ramo da rvore, marcamos : F como usada a e expandimos este ramo acrescentando a todas as suas bifurcaes o diagrama: co
d d
:V | :F
:F | :V
Em resumo: . . . :F . . .
d d
:V | :F
:F | :V
Denio 3.1 Seja A uma rvore e R um ramo de A. ca a i) R fechado se existem ns a e b em R tais que a p : V e b p : F , para alguma e o e e letra sentencial p. ii) R aberto se no fechado. e a e
Metodo das Arvores de Refutacao do CS Objetivo: Dada uma sentena simbolizada do CS, determinar se |= ou no. c a Mtodo: Consiste dos seguintes passos: e Passo 1) Criar uma rvore com um unico n : F . a o
92 Passo 2) Passo 3)
CAP ITULO 3. ARVORES DE REFUTACAO Escolher na rvore um n ainda no marcado como usado de um ramo ainda a o a Examinar todos os ramos da rvore. a
aberto e aplicar a este n a regra de refutao correspondente. o ca Se todos os ramos esto fechados ou as unicas sentenas no marcadas como usadas a c a so atmicas, ento v para o Passo 4. a o a a Se existe um ramo aberto, v para Passo 2. a Passo 4) Se todos os ramos esto fechados, conclua |= . Se existe um ramo aberto, a conclua |= . Este mtodo pode ser aplicado na vericao da validade de argumentos do CS. De e ca fato, dado um argumento: 1 n sabemos que: 1 , . . . , n |= se, e somente se, |= 1 n Assim, basta aplicar o mtodo ` sentena 1 n . Se a sentena for uma e a c c tautologia, o argumento vlido. Se no, invlido. e a a e a Teorema 3.1 (Smullyan, 1968) Se for uma sentena simbolizada do CS, as seguintes c condies so equivalentes: co a a) |= b) Existe uma rvore de refutaao fechada para . a c
3.6
Regras de refutao do CM ca
As rvores de refutao do CM so formadas por aplicao sucessiva das regras de a ca a ca refutao do CS acrescidas das seguintes regras. ca Regra da quantificacao universal a) Como x V se, e somente se, todos os elementos do dom e nio possuem a propriedade expressa pelo enunciado , quando temos x : V em um ramo da rvore, a expandimos este ramo acrescentando a todas as suas bifurcaes o diagrama: co | (c/x) : V
3.6. REGRAS DE REFUTACAO DO CM
93
para cada constante c que j ocorre em alguma sentena no ramo. Quando o ramo a c no possui ocorrncias de constantes em nenhum de suas sentenas, escolhemos uma a e c constante c nova, isto , que ainda no ocorre no ramo. No marcamos x : V e a a como usada pois, quando uma sentena com uma ocorrncia de uma nova constante c e c for acrescentada ao ramo pela aplicao de alguma regra de refutao, expandimos ca ca o ramo acrescentando a todas as suas bifurcaes o diagrama: co | (c /x) : V Em resumo: . . . x : V . . . | (c/x) : V b) Como x F se, e somente se, algum elemento do dom e nio no possui a proa priedade expressa pelo enunciado , quando temos x : F em um ramo da rvore, a marcamos x : F como usada e expandimos este ramo acrescentando a todas as suas bifurcaes o diagrama: co | (c/x) : F para uma constante c que ainda no ocorre nas sentenas do ramo. a c Em resumo: . . . x : F . . . | (c/x) : F
para toda constante c que j ocorre no ramo a
para uma constante c nova no ramo
Regra da quantificacao existencial a) Como x V se, e somente se, algum elemento do dom e nio possui a propriedade expressa pelo enunciado , quando temos x : V em um ramo da rvore, mara camos x : V como usada e expandimos este ramo acrescentando a todas as suas bifurcaes o diagrama: co
94
CAP ITULO 3. ARVORES DE REFUTACAO | (c/x) : V para uma constante c que ainda no ocorre nas sentenas do ramo. a c Em resumo: . . . x : V . . . | (c/x) : V b) Como x F se, e somente se, nenhum elemento do dom e nio possui a propriedade expressa pelo enunciado , quando temos x : F em um ramo da rvore, expandia mos este ramo acrescentando a todas as suas bifurcaes o diagrama: co | (c/x) : F para cada constante c que j ocorre em alguma sentena no ramo. Quando o ramo a c no possui ocorrncias de constantes em nenhum de suas sentenas, escolhemos uma a e c constante c nova, isto , que ainda no ocorre no ramo. No marcamos x : F e a a como usada pois, quando uma sentena com uma ocorrncia de uma nova constante c e c for acrescentada ao ramo pela aplicao de alguma regra de refutao, expandimos ca ca o ramo acrescentando a todas as suas bifurcaes o diagrama: co | (c /x) : F Em resumo: . . . x : F . . . | (c/x) : F
para uma constante c nova no ramo
para toda constante c que j ocorre no ramo a
Denio 3.2 Seja A uma rvore e R um ramo de A. ca a i) R fechado se existem ns a e b em R tais que a : V e b : F , para alguma e o e e sentena atmica . c o ii) R aberto se no fechado. e a e
3.6. REGRAS DE REFUTACAO DO CM Metodo das Arvores de Refutacao do CM Objetivo: Dada uma sentena simbolizada do CM, determinar se |= . c Mtodo: Consiste dos seguintes passos: e Passo 1) Passo 2) Passo 3) Criar uma rvore com um unico n : F . a o
95
Escolher na rvore um n ainda no marcado como usado de um ramo ainda a o a Examinar todos os ramos da rvore. a
aberto e aplicar a este n a regra de refutao correspondente. o ca Se todos os ramos esto fechados ou as unicas sentenas no marcadas como usadas a c a so atmicas ou quanticaes universais V ou quanticaes existenciais F para as quais a o co co a expanso com todas as constantes que ocorrem no ramo j foi feita, ento v para o a a a a Passo 4. Se existe um ramo aberto, v para Passo 2. a Passo 4) Se todos os ramos esto fechados, conclua |= . a
Este mtodo pode ser aplicado na vericao da validade de argumentos do CM. De e ca fato, dado um argumento: 1 n sabemos que: 1 , . . . , n |= se, e somente se, |= 1 n Assim, basta aplicar o mtodo ` sentena 1 n . e a c Teorema 3.2 (Smullyan, 1968) Seja uma sentena simbolizada do CM. Se existir c uma rvore de refutao fechada para , ento |= . a ca a O mtodo das rvores de refutao para o CM no um mtodo de deciso. Existem e a ca a e e a sentenas simbolizadas no CM que so vlidas mas para as quais no poss construir c a a a e vel uma rvore de refutao fechada. a ca
96
Cap tulo 4
Lgica Quanticacional o
4.1 O Clculo Mondico, CM a a
Dado um dom nio nito D = {a1 , . . . , am } e uma propriedade P sobre elementos de D, podemos expressar que todos os elementos de D possuem a propriedade P , usando a seguinte conjuno: (a1 possui a propriedade P ) . . . (am possui a propriedade P ). ca Analogamente, podemos expressar que ao menos um dos elementos de D possui a propriedade P , usando a seguinte disjuno: (a1 possui a propriedade P ) . . . (am possui ca a propriedade P ). Os quanticadores abordados no CM so uma generalizao do procedimento acima a ca para o caso de dom nios innitos. Dado um dom nio innito D = {a1 , . . . , am , . . .} qualquer, no poder a amos expressar que todos os elementos de D possuem a propriedade P usando uma conjuno, j que esta ca a seria innita. Analogamente, no poder a amos expressar que ao menos um dos elementos de D possui a propriedade P usando uma disjuno. Assim, necessrio um outro mecanismo ca e a ling ustico para que sejamos capazes de lidar com a expresso de informaes deste tipo. a co Usualmente o que se faz o seguinte: e 1) Considera-se a forma comum de todos os componentes da conjuno (ou da disca juno) acima. Esta o enunciado x possui a propriedade P , onde x pode assumir ca e como valor cada um dos elementos de D. 2) Introduzimos uma notao para expressar a partir da forma acima os enunciados ca para todo x, x possui a propriedade P e existe ao menos um x tal que x possui a propriedade P . Estas notaes so os quanticadores para todo e existe ao menos co a um. O Clculo Mondico, CM, o estudo da formao e avaliao de sentenas, mediante a a e ca ca c o uso de conectivos por funo de verdade e dos quanticadores para todo e existe ao ca menos um. 97
98
CAP ITULO 4. LOGICA QUANTIFICACIONAL
Sintaxe do CM
Os enunciados se dividem em atmicos ou moleculares. Os enunciados atmicos no o o a possuem ocorrncias de conectivos e/ou quanticadores. Os enunciados moleculares so e a formados a partir dos enunciados atmicos pelo uso de conectivos e/ou quanticadores. o No CM, admitimos apenas os conectivos no, e, ou, se...ento e se, e somente se e os a a quanticadores para todo e existe ao menos um. Estes so os conectivos e quanticadores a utilizados usualmente em contextos matemticos. a Exemplo 1 Em outras palavras, queremos que a linguagem do CM seja capaz de expressar enunciados como: a) 2 par. e b) sen(x) 1. c) x + 2 par. e d) B igual a B . e e) O ponto Q est entre os pontos P e R. a f ) x2 = 1. g) x par e x2 = 0. e h) x = 2 ou x = 3. i) Se todo nmero par positivo, ento 0 no par. u e a a e j) O tringulo ABC retngulo se, e somente se, a2 = b2 + c2 . a e a k) Para todo x R, 1 x 1. l) Existe x C, tal que x2 = 1. Assim, ao repertrio j dispon no alfabeto do CS, para formar o alfabeto do CM, o a vel devemos tambm considerar s e mbolos como: a) Constantes, ou seja, s mbolos como 2, e R, utilizados para nomear objetos espec cos do dom nio de discurso. b) Variveis, ou seja, s a mbolos como x, y, z, X, Y e Z, utilizados para denotar objetos arbitrrios do dom a nio de discurso. c) S mbolos de predicado, ou seja, s mbolos utilizados para denotar propriedades dos objetos do dom nio de discurso. d) E, obviamente, conectivos e quanticadores. Temos, ento os seguintes conceitos: a
4.1. O CALCULO MONADICO, CM I. Um alfabeto Denio 4.1 O alfabeto do CM consiste dos seguintes s ca mbolos: i) S mbolos de predicado: P, Q, R, S, T, U e V (indexadas ou no). a ii) Constantes: a, b, c, d e e (indexadas ou no). a
99
iii) Conectivos: ( no), ( e), ( ou), ( se...ento) e ( se, e somente se). a a iv) Quanticadores: ( para todo) e ( existe ao menos um). viii) Sinais de pontuao: ( ( abre parnteses) e ) ( fecha parnteses). ca e e Denio 4.2 ca predicado. ii) Os s mbolos lgicos do CM so os conectivos e os quanticadores. o a As expresses bem formadas, ebfs, do CM se dividem em termos e enunciados (ou o frmulas). Termos so expresses que so utilizadas para nomear ou denotar objetos. o a o a Enunciados so expresses que so utilizadas para enunciar propriedades de objetos ou a o a relaes que se estabelecem entre objetos. co II. Um conjunto de regras de formao para termos As regras de formao deterca ca minam como os termos simbolizados devem ser formados a partir de s mbolos do alfabeto. Denio 4.3 Os termos, do CM so dados pelas seguintes regras de formao para ca a ca termos: Rt1 ) Uma constante um termo simbolizado. e Rt2 ) Uma varivel um termo simbolizado. a e Denio 4.4 Seja t um termo do CM. ca i) t fechado se uma constante. e e ii) t aberto se uma varivel. e e a III. Um conjunto de regras de formao para enunciados ca Denio 4.5 Os enunciados do CM so dados por aplicao sucessiva das seguintes ca a ca regras de formao para enunciados: ca Re1 ) Se P um s e mbolo de predicado t um termo simbolizado, ento P (t) um enune a e ciado simbolizado. i) Os s mbolos no-lgicos do CM so as constantes e os s a o a mbolos de
100
Re2 ) Se e so enunciados simbolizados, ento ( ), ( ), ( ), ( ) e a a ( ) so enunciados simbolizados. a Re3 ) Se x uma varivel e um enunciado simbolizado, ento (x) e (x) so enune a a a ciados simbolizados. Denio 4.6 Seja x uma varivel e um enunciado simbolizado do CM. ca a i) atmico se da forma P (t). e o e ii) molecular se no atmico, ou seja, se possui ocorrncia de um conectivo e/ou e a e o e quanticador. iii) Negaes, conjunes, disjunes, implicaes, biimplicaes, componentes, antececo co co co co dentes e conseqentes so denidos como no CS. u a iv) uma generalizao se da forma (x). e ca e v) um existencial se da forma (x). e e vi) Nos enunciados (x) e (x), x a varivel de quanticao e o enunciado e a ca e quanticado. Por aplicao das regras de formao para enunciados, podemos obter tanto enunciados ca ca nos quais todas as variveis ocorrem associadas a quanticadores, quanto enunciados nos a quais isto no acontece. a Intuitivamente, podemos observar que se todas as variveis que ocorrem num enunciado a esto associadas a quanticadores, este enunciado possui um valor de verdade determinado, a que depende somente do dom nio de discurso considerado. Exemplo 2 O enunciado para todo x, x par tem um valor de verdade que depende e somente do dom nio de discurso considerado. De fato, se o dom nio considerado for o conjunto dos nmeros pares, o enunciado verdadeiro. Se for o conjunto dos nmeros u e u naturais, falso. e Por outro lado, um enunciado que possui a ocorrncia de variveis que no esto e a a a associadas a nenhum quanticador podem possuir valores de verdade que dependem tanto do dom nio de discurso considerado, quanto dos valores atribu dos a estas variveis, neste a dom nio. Exemplo 3 O enunciado x par, no dom e nio dos nmeros naturais, possui um valor u de verdade que depende do valor atribu a x. De fato, se x = 2, ento o enunciado do a e verdadeiro. Se x = 3, o enunciado falso. e
4.1. O CALCULO MONADICO, CM Temos ento os seguintes conceitos: a
101
Denio 4.7 Seja uma frmula do CM e Q um quanticador que ocorre em . O ca o escopo de uma ocorrncia de Q em a frmula a qual Q foi aplicado, quando utilizado e e o na formao de . ca Denio 4.8 Seja uma frmula do CM e x uma varivel que ocorre em . ca o a i) Uma ocorrncia de x em ligada se satisfaz a uma das seguintes condies: e e co 1. E imediatamente seguinte a uma ocorrncia de um quanticador. e 2. Est no escopo de um quanticador aplicado a x. a ii) Uma ocorrncia de x em livre se no ligada. e e a e iii) x uma varivel ligada de se possui ao menos uma ocorrncia ligada em . e a a iv) x uma varivel livre de se possui ao menos uma ocorrncia livre em . e a e Observe que uma varivel pode ser ao mesmo tempo livre e ligada em . a Denio 4.9 Seja um enunciado do CM. uma sentena se no possui ocorrncias ca e c a e de variveis livres. a Admitimos as mesmas convenes do CS para a reduo do nmero de parnteses na co ca u e escrita de enunciados.
Semntica do CM a
O valor de verdade (verdadeiro ou falso) de uma sentena atmica depende do contexto c o em que a sentena est inserida. c a Uma sentena atmica expressa uma propriedade sobre objetos de um determinado c o dom nio. Ou seja, uma propriedade descreve um estado de coisas, dizendo se determinados objetos possuem, ou no, uma determinada caracter a stica. De modo a evitar ambigidade, uma propriedade deve satisfazer, ainda, as seguintes u condies: co 1) Os elementos que possuem uma determinada propriedade so todos de uma mesma a categoria, isto , pertencem todos a um mesmo dom e nio. 2) Dado um elemento de um dom nio no qual est denida uma propriedade, uma e a somente uma das alternativas acontece: ou ele possui a propriedade ou no possui a a propriedade. Assim, temos a seguinte denio: ca
102
Denio 4.10 Seja D um conjunto qualquer. Uma propriedade em A um subconjunto ca e de A. O valor de verdade de um enunciado formado apenas a partir dos conectivos depende exclusivamente do valor de verdade dos enunciados utilizados na sua formao. Assim, ca o comportamento de cada conectivo em relao ` determinao do valor de verdade do ca a ca enunciado composto a partir do valor de verdade dos seus componentes anlogo ao modo e a como estes conectivos so utilizados no CS. a Temos, ento os seguintes conceitos: a Denio 4.11 Seja um enunciado do CM. Uma interpretao para consiste dos ca ca seguntes itens: i) Um conjunto no-vazio D, chamado o dom a nio de interpretao, cujos elementos ca so chamados indiv a duos. ii) A associao de uma propriedade a cada s ca mbolo de predicado que ocorre em . iii) A associaao de um indiv c duo a cada constante que ocorre em . Dado um enunciado e uma interpretao para , teremos dois casos: ca 1) Se uma sentena, isto , no possui ocorrncias de variveis livres, ento associe c e a e a a amos a um contedo relativo a D, interpretando de acordo com os signicados u que a interpretao associa aos s ca mbolos que ocorrem em . 2) Se aberto, isto , possui ocorrncia de ao menos uma varivel livre, ento associe e e a a amos a um contedo relativo a D, interpretando de acordo com os signicados u que a interpretao associa aos s ca mbolos que ocorrem em e associando indiv duos a `s variveis que ocorrem livre em . a Temos, ento os seguintes conceitos: a Denio 4.12 Seja um enunciado, I uma interpretao para , com dom ca ca nio D, e (se necessrio) v uma associao de elementos de D `s variveis que ocorrem livres em a ca a a . ser satisfeito em I (com v) se o contedo que expressa, quando interpretado de a u acordo com os signicados que I e v associam aos seus s mbolos realmente condiz com o que acontece em D. Assim, teremos as seguintes regras para a satisfao de , de acordo com sua estrutura: ca
4.1. O CALCULO MONADICO, CM
103
III) Regras de satisfao Seja um enunciado do CM, I uma interpretao para A ca ca e (se necessrio) uma associao de valores `s variveis v, a relao I satisfaz com v a ca a a ca e dada por aplicao sucessiva das seguintes regras de avaliao: ca ca Rs1 ) Se atmico da forma P (t), ento I satisfaz com v se o indiv e o a duo denotado por t possui a propriedade que associada a P . e Rs2 ) Se uma negao , ento I satisfaz com v se I no satisfaz com v. e ca a a Rs3 ) Se uma conjuno ( ), ento I satisfaz com v se I satisfaz ambos e e ca a com v. Rs4 ) Se uma disjuno ( ), ento I satisfaz com v se I satisfaz ao menos um e ca a dos enunciados ou com v. Rs5 ) Se uma implicao ( ), ento I satisfaz com v se I no satisfaz com v e ca a a ou I satisfaz com v. Rs6 ) Se uma biimplicao ( ), ento I satisfaz com v se I satisfaz aos dois e ca a enunciados e com v ou I no satisfaz a nenhum dos dois enunciados e com a v. Rs7 ) Se uma generalizao x, ento I satisfaz com v se I satifaz com toda e ca a associao que associa a cada varivel diferente de x o mesmo valor que v (e a x ca a associa um valor qualquer). Rs8 ) Se um existencial x, ento I satisfaz com v se I satifaz com alguma e a associao que associa a cada varivel diferente de x o mesmo valor que v (e a x ca a associa um valor determinado). Assim, interpretar um enunciado consiste em efetuar os seguintes passos: 1) Determinar um dom nio no vazio D. a 2) Associar um signicado em D a cada s mbolo no-lgico que ocorre em . a o 3) Associar um signicado em D a cada varivel livre que ocorre em . a 4) Determinar o signicado de a partir dos signicados associados aos s mbolos de . Se o signicado acima condiz realmente com o que acontece em D, ento o enunciado a est satisfeito. Se no condiz, ento no est. a a a a a Denio 4.13 Seja um enunciado. ca
104
i) satisfaz se existir uma interpretao I para e uma assinalao de valores e vel ca ca v, tal que I satisfaz com v. ii) insatisfaz se no satisfaz e vel a e vel. iii) vlida se toda interpretao e toda assinalao de valores satifazem . e a ca ca
4.1.1
Forma dos Enunciados Atmicos o
Como na Lgica Mondica, os enunciados podem ser classicados em duas categorias, o a quanto ` formao. a ca Denio 4.14 Um enunciado atmico se no possui a ocorrncia de conectivos ou ca e o a e quanticadores. Na Lgica Mondica, consideramos o seguinte princ o a pio sobre a forma dos enunciados atmicos: o Todo enunciado atmico da forma Sujeito-Predicado. o e Ou seja, um enunciado atmico expressa a predicao de uma propriedade a um eleo ca mento de um determinado dom nio. Exemplo 4 a) 2 par. e
Sujeito: 2 Predicado: ser par b) 3 maior do que 5 e Sujeito: 3 Predicado: ser maior do que 5 c) A est entre B e C. a Sujeito: A Predicado: estar entre B e C d) Maria vai ` feira com Joo. a a Sujeito: Maria Predicado: ir ` feira com Joo a a e) Maria e Joo so casados. a a Sujeito: Maria e Joo (sujeito composto) a Predicado: serem casados
105
Em Lgica Matemtica, na anlise da forma de um enunciado atmico, considera-se o a a o que o nmero de elementos aos quais a propriedade predicada. Assim, temos o princ u e pio: Todo enunciado atmico da forma Predicado-Sujeito (quando a propriedade o e aplicada a um unico elemento) ou da forma Relao-Vrios-Sujeitos (quando e ca a a propriedade aplicada a mais de um elemento). e Ou seja, um enunciado atmico expressa ou uma propriedade que se aplica a um o elemento de um determinado dom nio ou uma relao que se estabelece entre elementos ca de um determinado dom nio. Exemplo 5 a) 2 par. e
Sujeito: 2 Propriedade: ser par b) 3 maior do que 5 e Sujeito 1: 3 Sujeito 2: 5 Relao: x maior do que y ca e c) A est entre B e C. a Sujeito 1: A Sujeito 2: B Sujeito 3: C Relao: x est entre y e z ca a d) Maria vai ` feira com Joo. a a Sujeito 1: Maria Sujeito 2: Joo a Relao: x vai ` feira com y ca a e) Maria e Joo so casados. a a Sujeito 1: Maria Sujeito 2: Joo a Relao: x casado com y ca e Para sistematizar a reescrita de enunciados atmicos, devemos examinar um pouco o melhor os conceitos de propriedade e relao. ca
106
4.1.2
Propriedades, Relaoes e S c mbolos de Predicado
Uma propriedade descreve um estado de coisas, dizendo se um determinado elemento possui, ou no, uma caracter a stica. Exemplo 6 Vejamos dois exemplos de propriedades. a) A propriedade ser par diz que certos nmeros naturais so mltiplos de 2. u a u b) A propriedade ser primo diz que certos nmeros naturais no possuem divisores diu a ferentes de 1 e de si prprios. o Para evitar ambigidade na reescrita de enunciados atmicos, vamos exigir que uma u o propriedade satisfaa `s seguintes condies: c a co 1. Existe um dom nio que contm todos os elementos sobre os quais faz sentido pere guntar se possuem a propriedade. 2. Dado um elemento do dom nio no qual a propriedade est denida, uma e somente a uma das alternativas acontece: ou ele possui a propriedade ou ele no possui a a propriedade. Formalmente, temos a seguinte denio: ca Denio 4.15 ca i) Uma propriedade P em um dom nio D um subconjunto de D. e
ii) Dado a um elemento qualquer de D, dizemos que a possui ou no a propriedade P a caso a seja, ou no, um elemento de P . a Exemplo 7 A propriedade ser par o conjunto {0, 2, 4, . . .} dos nmeros pares. e u Uma relao descreve um estado de coisas, dizendo se determinados objetos encontramca se, ou no, associados de certa maneira. a Exemplo 8 a) A relaao menor ou igual diz que certos nmeros naturais esto antes c u a
de outros na ordenao usual. ca b) A relao ser primos entre si diz que certos nmeros naturais tm 1 como unico divisor ca u e comum. Para evitar ambigidades na reescrita de enunciados atmicos, vamos exigir que uma u o relao satisfaa `s seguintes condies: ca c a co 1. Existe um dom nio que contm todos os elementos sobre os quais faz sentido pere guntar se esto relacionados. a
107
2. O nmero de elementos relacionados sempre constante e nito. Este nmero u e u e chamado o peso da relao. ca 3. A ordem em que os elementos so dados pode inuenciar no fato de estarem ou no a a relacionados. 4. Dados m elementos de um dom nio no qual est denida uma relao de peso m, a ca uma e somente uma das alternativas acontece: ou eles esto relacionados ou no a a esto relacionados. a Somos, assim, levados ao conceito de seqncia nita constitu de m elementos, ue da tomados numa dada ordem. Sendo D um dom e a1 , . . . , am elementos de D, a seqncia nio ue formada por estes elementos, tomados na ordem em que so dados, denotada (a1 , . . . , am ). a e Como conseqncia dos itens 1, 2, 3 e 4, uma relao de peso m, denida em um ue ca dom nio D, determinada pelas seqncias nitas de m elementos de D que esto relae ue a cionados. Formalmente, temos a seguinte denio: ca Denio 4.16 ca i) Uma relaao R de peso m em um dom c nio D um subconjunto do e
conjunto de todas as seqncias nitas de m elementos de D. ue ii) Dados a1 , . . . , am elementos quaisquer de D dizemos que a1 , . . . , am (tomados nesta ordem) esto, ou no, relacionados segundo R, caso a seqncia (a1 , . . . , am ) seja, a a ue ou no, um elemento de R. a Escrevemos, como usual, R(a1 , . . . , am ) ao invs de (a1 , . . . , am ) R e R(a1 , . . . , am ) e e / ao invs de (a1 , . . . , am ) R. e Exemplo 9 Tomando N como dom nio, a relao menor ou igual o conjunto das seqnca e ue cias nitas de dois elementos (m, n), tal que m igual ou est antes de n na ordenao e a ca usual. = {(0, 0), (0, 1), (0, 2), (0, 3), . . . (1, 1), (1, 2), (1, 3), . . . (2, 2), (2, 3), . . .} Temos que 0 menor ou igual a 1, pois (0, 1) mas 1 no menor ou igual a 0, e a e pois (1, 0) . Denio 4.17 Um s ca mbolo de predicado uma expresso de uma dada linguagem, que e a pode ser utilizada para denotar uma propriedade ou uma relao. ca Exemplo 10 So exemplos de s a mbolo de predicado:
108 a) Na aritmtica: e
S mbolo = < | b) Na teoria dos conjuntos: S mbolo =
Relao ca igualdade menor menor ou igual divide
Relao ca igualdade pertinncia e incluso a incluso prpria a o
Os s mbolos de predicado so classicados de acordo com o nmero de sujeitos que a u necessitam para a formao de um enunciado. ca Denio 4.18 O peso de um s ca mbolo de predicado o nmero exato de sujeitos utilizae u dos para formar um enunciado, por meio deste s mbolo de predicado. Exemplo 11 Para os s mbolos de predicado dados no Exemplo 10, temos: S mbolo = < Relao ca igualdade menor menor ou igual pertinncia e incluso a incluso prpria a o Peso 2 2 2 2 2 2
Para reescrever enunciados atmicos, devemos reescrever as expresses que denotam o o propriedades, relaes e sujeitos. co
4.1.3
Reescrita de S mbolos de Predicado
Temos a seguinte regra para a reescrita de s mbolos de predicado. Regra predicado. Usualmente, a seqncia de letras maisculas utilizada na reescrita de s ue u mbolos de predicado uma expresso que induz o signicado da propriedade ou relao que ele e a ca denota. Um s mbolo de predicado deve ser reescrito como (x1 , . . . , xm ), onde e
uma seqncia de letras maisculas, x1 , . . . , xm so variveis e m o peso do s ue u a a e mbolo de
4.1. O CALCULO MONADICO, CM Exemplo 12 Para os s mbolos de predicado do Exemplo 4, temos: a) PAR (x) b) MAIOR (x, y) c) ENTRE (x, y, z) ` d) VAI-A-FEIRA (x, y) e) CASADOS (x, y) Exemplo 13 Vamos agora reescrever os enunciados do Exemplo 4. a) 2 par. e PAR (2) Falta reescrever o sujeito 2. b) 3 maior do que 5. e MAIOR (3, 5) Falta reescrever os sujeitos 3 e 5. c) a est entre b e c. a ENTRE (a, b, c) Falta reescrever os sujeitos a, b e c. d) Maria vai ` feira com Joo. a a VAI-`-FEIRA (Maria,Joo) a a Falta reescrever os sujeitos Maria e Joo. a e) Maria e Joo so casados. a a CASADOS (Joo,Maria) a Falta reescrever os sujeitos Joo e Maria. a f ) Paulo e Cybele so estudiosos. a ESTUDIOSO (Paulo) ESTUDIOSO(Cybele) Falta reescrever os sujeitos Paulo e Cybele. g) A me de Marcelo professora. a e PROFESSORA (me de Marcelo) a Falta reescrever o sujeito me de Marcelo. a
109
110 h) O carro de Marcelo azul. e AZUL (carro de Marcelo)
Falta reescrever o sujeito carro de Marcelo. i) Ele professor. e PROFESSOR (Ele) Falta reescrever o sujeito ele. A reescrita de sujeitos segue os mesmos princ pios da Lgica Mondica. o a
4.1.4
Simbolizao de Enunciados ca
Os enunciados atmicos so aqueles que no podem ser formados a partir de enunciados o a a anteriores. Como j vimos no pargrafo 4.1.1, os enunciados atmicos so formados a partir a a o a de termos por aplicao de s ca mbolos de predicado e, portanto, podem ser somente de duas formas: P (t) ou R(t1 , . . . , tm ) Temos a seguinte regra para a reescrita de enunciados atmicos: o Regra Um enunciado atmico deve ser reescrito de um dos seguintes modos: o
1. P (s), se for da forma Sujeito-Predicado, onde s e P so, respectivamente, o sujeito a e o s mbolo de predicado previamente reescritos. 2. R(s1 , . . . , sm ), se for da forma Relao-Vrios sujeitos, onde s1 , . . . , sm so os sujeitos ca a a previamente reescritos, e R o s e mbolo de predicado previamente reescrito.
Exemplo 14 Vejamos alguns exemplos de reescrita de enunciados atmicos. o a) Marcelo professor. e PROFESSOR(Marcelo) b) x um nmero perfeito. e u NUMERO-PERFEITO(x) c) Joo marido de Ana. a e MARIDO(Joo,Ana) a d) Maria me de Isabel e de Ana. e a MAE(Maria,Isabel,Ana)
111
Denio 4.19 Um enunciado molecular se no atmico, isto , se nela ocorre pelo ca e a e o e menos um conectivo ou quanticador. Temos as seguintes regras para a reescrita de enunciados moleculares: Regra 1 As regras para negaao, conjuno, disjuno, implicao e biimplicao so c ca ca ca ca a
anlogas `s do CS. a a Regra 2 Uma generalizao deve ser reescrita como x, onde o enunciado geneca e
ralizado previamente reescrito. Regra 3 Uma existencializao deve ser reescrita como x, onde o enunciado ca e
existencializado previamente reescrito.
Exemplo 15 Vejamos alguns exemplos de reescrita de enunciados moleculares. a) x no um nmero perfeito. a e u (NUMERO-PERFEITO(x)) b) 2 par e x impar. e e PAR(2) IMPAR(x) c) Se x primo diferente de 2, ento x e a e mpar. PRIMO(x) DIFERENTE(x,2) IMPAR(x) d) Se a par e b e e mpar, entao a e b so primos entre si. a PAR(a) IMPAR(b) PRIMOS-ENTRE-SI(a,b) e) Todos os nmeros so pares. u a x(NUMERO(x) PAR(x))
f ) Existem nmeros pares. u x(NUMERO(x) PAR(x))
O processo de simbolizao de enunciados efetuado nos seguntes passos: ca e Passo 1) Passo 2) Classicar o enunciado em atmico ou molecular. o Se for atmico, classicar o enunciado em Propriedade-Sujeito ou Relaoo ca
Vrios-Sujeitos. a 2a. Reescrever o enunciado de acordo com as regras de reescrita.
112
2b. Substituir os termos por termos simbolizados e os s mbolos de predicado por uma das letras P , Q, R, S ou T (indexada ou no), de modo que cada ocorrncia de um a e mesmo s mbolo de predicado seja substituindo pela mesma letra. Passo 3) Se o enunciado for molecular, classicar todos os conectivos e quanti-
cadores que ocorrem nele e determinar se negao, conjuno, disjuno, implicao, e ca ca ca ca biimplicao, generalizao ou existencializao. ca ca ca 3a. Reescrever o enunciado de acordo com as regras de reescrita. 3b. Simbolizar o enunciado reescrito, substituindo os termos reescritos por termos simbolizados, os s mbolos de predicado pelas letras P, Q, R, S ou T (indexadas ou no), a de modo que cada ocorrncia de um mesmo s e mbolo de predicado seja substitu do pela mesma letra. Exemplo 16 Para os enunciados do Exemplo 14, temos: a) P (a) b) Q(x) c) R(a, b) d) S(c, d, b) Exemplo 17 Para os enunciados do Exemplo 15, temos: a) P (a) b) P (a) Q(x) c) P (x) Q(x, a) R(x) d) P (a) Q(b) S(c, d) e) x(P (x) Q(x)) f ) x(P (x) Q(x))
Cap tulo 5
Sistema Dedutivo
5.1
5.1.1
Regra T
Mais algumas limitaes co
Nas Sees 1.1 e 1.6.1, observamos que tanto as sentenas logicamente verdadeiras co c quanto os argumentos vlidos desempenham um papel importante na prova de teoremas. a Na Seo 1.6.3, desenvolvemos o Mtodo das Tabelas de Verdade para determinar se uma ca e sentena formada pelo uso dos conectivos no, e, ou, se...ento e se, e somente se c a a e logicamente verdadeira ou se um argumento formado por sentenas deste tipo vlido. c e a Na Seo 2.1.2, mostramos que este mtodo insuciente para os estudos de Lgica ca e e o Matemtica, pois existem argumentos da Matemtica que so vlidos mas que o mtodo a a a a e garante que so invlidos. a a Para contornar esta limitao, estendemos o estudo da formao de sentenas para senca ca c tenas que possuem ocorrncias dos quanticadores para todo e existe, alm dos conectivos c e e j estudados. Nosso objetivo agora ser desenvolver um mtodo para provar a validade a a e de argumentos cujas sentenas so formadas por uso dos conectivos e quanticadores, que c a seja anlogo ` maneira como os matemticos provam teoremas. a a a Certamente, voc nunca viu um matemtico provando teoremas utilizando (de maneira e a direta) O Mtodo das Tabelas de Verdade (ou algum mtodo semelhante). Isto se d por e e a dois motivos: 1. Embora seja um mtodo to simples que possa ser programado em um computador, e a o Mtodo das Tabelas de Verdade extremamente ineciente, uma vez que, para e e vericar a validade de argumentos relativamente pequenos, necessitamos de tabelas com um nmero relativamente grande de linhas e colunas. u Exemplo 1 Para vericar a validade do argumento abaixo, utilizando o Mtodo das e Tabelas de Verdade, devemos construir uma tabela com 32 linhas e, no m nimo, 14 colunas. 113
114
CAP ITULO 5. SISTEMA DEDUTIVO (p q) (p r) st t q st p
2. Mesmo os teoremas mais simples da Matemtica no so sentenas formadas apenas a a a c pelo uso dos conectivos, mas possuem ocorrncias dos quanticadores para todo e e existe. Acontece que o Mtodo das Tabelas de Verdade no pode ser adaptado e a para enunciados que possuem ocorrncias de quanticadores. Na verdade, os lgicos e o provaram que no existe um mtodo simples, isto , que possa ser programado a e e em um computador, para determinar se um dado enunciado que possui ocorrncias e dos quanticadores para todo e existe logicamente verdadeiro, ou no. Este tipo e a de limitao ocorre tambm com relao ` determinao da validade de argumentos ca e ca a ca envolvendo enunciados deste tipo. O que iremos fazer daqui por diante estudar um mtodo para mostrar que um dado e e enunciado vlido (ou que um dado enunciado uma conseqncia lgica de outros e a e ue o enunciados) que anlogo ` maneira como os matemticos provam teoremas. Iniciale a a a mente, trataremos dos conectivos e depois estenderemos o mtodo tambm para os quane e ticadores.
5.1.2
A Regra T
Para relacionar o Mtodo das Tabelas de Verdade com a maneira como os matemticos e a provam teoremas, mudaremos a nomenclatura e interpretaremos o que foi visto nos Cap tulos 1 e 2 de uma maneira mais adequada. Agindo de maneira anloga aos matemticos, quando temos uma seqncia 1 ,. . .,m , a a ue de enunciados, ao invs de dizermos que queremos vericar se uma conseqncia lgica e e ue o de 1 ,. . .,m , vamos dizer que o que queremos vericar se deduz e e vel a partir de 1 ,. . .,m . Denio 5.1 Uma regra de inferncia um procedimento para deduzir uma conseqncia ca e e ue a partir de premissas. O que temos at o momento uma regra que simplesmente reduz o problema da e e deduo ` vericao da implicao tautolgica, por meio das tabelas de verdade. ca a ca ca o Regra T [Regra para tautologias] Um enunciado deduz a partir dos enunciados e vel 1 , . . . , m se 1 , . . . , m |= . Isto , deduz a partir de 1 , . . . , m se o Mtodo das Tabelas de Verdade garante e e vel e que sim.
5.1. REGRA T Exemplo 2 Alguns exemplos da Regra T so: a Regra 1 A partir de e podemos deduzir . De fato, temos a tabela seguinte, que mostra que |= ( ) : V V F F V F V F V F V V ( ) V F F F ( ) V V V V
115
Regra 2 A partir de e podemos deduzir .
De fato, temos a tabela que mostra que |= ( ) : V V F F Observe que: 1. A Regra T no uma unica regra, mas um conjunto de regras, cada uma obtida a e quando xamos o valor de n (o nmero de premissas) e a forma das sentenas u c 1 , . . . , m , . 2. Cada exemplo da Regra T no estipula a validade de um unico argumento mas a a validade de todos os argumentos que possuem uma mesma forma. Exemplo 3 A Regra 1 do Exemplo 2 garante que os seguintes argumentos so vlidos, a a entre outros: p pq q V F V F
F F V V
V V V F
( ) F F V F
( ) V V V V
116
CAP ITULO 5. SISTEMA DEDUTIVO p p (q p) q p p (q r) (p (q r)) ((p q) (q r)) (p q) (q r)
Exemplo 4 Alguns contra-exemplos da Regra T so: a Regra 3 A partir de e podemos deduzir . A Regra 3 no um exemplo da Regra T, como mostra a tabela: a e V V F F V F V F V F V V
Na terceira linha desta tabela, as premissas e possuem valor de verdade V e a concluso possui valor de verdade F . a Regra 4 A partir de e de podemos deduzir .
A Regra 4 no um exemplo da Regra T, como mostra a tabela: a e V V F F V F V F
F F V V
V F V V
F V F V
Na terceira linha desta tabela, as premissas e possuem valor de verdade V e a concluso possui valor de verdade F . a
5.1. REGRA T
117
5.1.3
Utilizando a Regra T
Dados os enunciados 1 , . . . , m , podemos, ento, vericar se deduz a partir a e vel de 1 , . . . , m , utilizando a Regra T. Isto o que temos feito at o momento. Mas por e e que os matemticos no fazem assim? Porque a Regra T d passos grandes demais. a a a Exemplo 5 Para vericar se: p (r q) r q sp r p s r q um argumento vlido, utilizando a Regra T, devemos construir uma tabela com 16 e a linhas. A idia , ento, aproximar o uso da Regra T da maneira como os matemticos e e a a provam teoremas, quebrando o unico passo dado pela Regra T em uma srie de passos e pequenos. Exemplo 6 Voltando ao argumento do Exemplo 5, temos, utilizando as regras do Exemplo 2: Os enunciados: p (r q) r q sp r p s r so as premissas a partir das quais queremos deduzir q. Das premissas r e r p, a podemos deduzir p, aplicando a Regra 1; a partir de p e p (r q), podemos deduzir r q, aplicando a Regra 1; a partir de r e r q podemos, anal, deduzir q, aplicando a Regra 2; assim, com duas aplicaes da Regra 1 e uma aplicao da Regra 2, co ca mostramos que o argumento vlido sem fazer a tabela com 16 linhas. (Na verdade, zee a mos somente as tabelas pequenas, mostrando que os argumentos dados pela Regra 1 e pela Regra 2 so vlidos.) a a Exemplo 7 Vamos agora mostrar a validade do argumento: q t sq tr r (s t) st
118
CAP ITULO 5. SISTEMA DEDUTIVO
utilizando a Regra 1 e a Regra 2 em conjunto com as seguintes: Regra 5 A partir de podemos deduzir . Regra 6 A partir de e podemos deduzir .

Inicialmente, observamos que a Regra 5 e a Regra 6 so exemplos da Regra T, a como mostram as tabelas: V V F F V V F F V F V F

V F V F V F V V
V F F F
V V V V ( ) V V V V
F F V V
( ) V F F F
Agora, como queremos deduzir s t e temos r (s t) como premissa, basta deduzir r das premissas e aplicar a Regra 6. Como queremos deduzir r e temos t r como premissa, basta deduzir t e aplicar a Regra 1. Como queremos deduzir t e temos q t como premissa, basta deduzir q e aplicar novamente a Regra 1. Finalmente, podemos deduzir q a partir da premissa s q, aplicando a Regra 5. Assim, temos a seguinte deduo de s t a partir das premissas dadas: da premissa s q deduzimos q, aplicando ca a Regra 5; a partir de q e q t, deduzimos t, aplicando a Regra 1; a partir de t e t r, deduzimos r, aplicando novamente a Regra 1; agora que temos r, deduzimos nalmente s t a partir de r (s t), aplicando a Regra 6. Dado um argumento que queremos mostrar ser vlido, deduzindo sua concluso a partir a a das premissas, utilizando a Regra T, algumas questes que podemos levantar so: o a 1. Existem exemplos da Regra T que podem ser utilizados para efetuarmos a deduo ca a partir das premissas? 2. Se existem esses exemplos, como encontr-los e como utiliz-los para fazer a deduo? a a ca
5.2. METODO DE ANALISE E S INTESE
119
A primeira questo possui uma resposta imediata. De fato, em ultimo caso, basta a fazer a tabela de todo o argumento como um unico exemplo da Regra T e mostrar que o argumento vlido. e a Para a segunda questo a resposta que, ao invs de utilizar a Regra T como um a e e todo, vamos utilizar a um conjunto mais restrito de regras que nos permita elaborar uma estratgia de prova. Para denir esse conjunto, vamos examinar um pouco mais e detalhadamente a maneira como os matemticos provam teoremas. a
5.2
5.2.1
Mtodo de Anlise e S e a ntese

Anlise e S a ntese
A maneira como os matemticos provam teoremas pode ser descrita como um renaa mento do uso combinado de dois mtodos: e
O mtodo de anlise e a
Dadas as sentenas 1 , 2 , . . . , m , , se queremos deduzir a partir de 1 , . . . , m , c fazemos o seguinte: Passo 1) Examinamos as premissas 1 , 2 , . . . , m , de modo a encontrar um enunciado 1 que seja deduz a partir de 1 , 2 , . . . , m de maneira mais imediata que e vel com a ajuda do qual possamos deduzir , ou seja: 1 , 2 , . . . , m 1 e 1 , 2 , . . . , m , 1
Por exemplo, para deduzir q a partir das premissas dadas no Exemplo 6, efetuamos um primeiro passo, deduzindo p, com o aux do qual efetuamos o restante da deduo. lio ca Passo 2) Consideramos 1 como uma premissa adicional e examinamos os enunciados 1 , 2 , . . . , m , 1 , de modo a encontrar um enunciado 2 , que seja deduz a partir de vel 1 , 2 , . . . , m , 1 , de maneira mais imediata que e com a ajuda do qual possamos deduzir , ou seja: 1 , 2 , . . . , m , 1 2 e 1 , 2 , . . . , m , 1 , 2
Por exemplo, para deduzir q a partir das premissas dadas no Exemplo 6, com o aux lio de p, efetuamos um segundo passo, deduzindo q r, com o aux do qual efetuamos o lio restante da deduo. ca Passo 3) ou seja: 1 , 2 , . . . , m , 1 , 2 , . . . , n Efetuamos o procedimento esboado acima at encontrarmos enunciados c e 1 , 2 , . . . , n , tais que seja deduz de 1 , 2 , . . . , m , 1 , 2 , . . . , n de maneira imediata, vel
120
CAP ITULO 5. SISTEMA DEDUTIVO Por exemplo, para concluir a deduo no Exemplo 6, com o aux de p e q r, ca lio
efetuamos um passo nal, deduzindo q. Escolhendo os enunciados 1 , 2 , . . . , m de maneira adequada, ao nal do processo, teremos simplesmente: 1 , 2 , . . . , m , como quer amos. Ou seja, os enunciados 1 , 2 , . . . , m no devem acrescentar informao a ca a `s premissas, servindo apenas como enunciados auxiliares na deduo de a partir de ca 1 , 2 , . . . , m . Por exemplo, as sentenas simbolizadas p e q r, que foram utilizadas como auxiliares c na deduo de q a partir das premissas dadas no Exemplo 6, no so consideradas como ca a a premissas adicionais pois foram deduzidas a partir das premissas dadas por meio de passos lgicos e, portanto, j estavam, de um certo modo, contidas nestas premissas. o a Assim, no acrescentam nenhuma informao `s premissas dadas. a ca a Exemplo 8 Um exemplo de deduo utilizando o Mtodo de Anlise o seguinte: ca e a e p (q r) tp t q r Neste caso, a partir da premissa t p podemos deduzir p; a partir da premissa p e p (q r) podemos deduzir q r; a partir da premissa t p tambm podemos deduzir e t; a partir de t e da premissa t q podemos deduzir q; a partir de q e q r podemos, nalmente, deduzir r. Observe que iniciamos a deduao acima examinando as premissas do argumento. Utic lizamos os mesmos exemplos de Regra T utilizados no Exemplo 7.
O mtodo de s e ntese
Dadas a sentenas 1 , 2 , . . . , m , , se queremos deduzir a partir de 1 , 2 , . . . , m , c fazemos o seguinte: Passo 1) Examinamos a concluso de modo a encontrar um enunciado 1 que seja a deduz vel a partir de 1 , 2 , . . . , m de maneira mais imediata que e com a ajuda do qual possamos deduzir , ou seja: 1 , 2 , . . . , m 1 e 1
Por exemplo, para deduzir s t a partir das premissas dadas no Exemplo 7, efetuando um primeiro passo para descobrir que necessitvamos deduzir r, com o aux do qual a lio efetuamos o restante da deduo. ca
5.2. METODO DE ANALISE E S INTESE Passo 2)
121
Examinamos o enunciado 1 de modo a encontrar um enunciado 2 , tal
que 2 seja deduzido a partir de 1 , 2 , . . . , m de maneira mais imediata que 1 e com a ajuda do qual possamos deduzir 1 , ou seja: 1 , 2 , . . . , m , 2 2 1 e 1
Por exemplo, para deduzir r a partir das premissas dadas no Exemplo 7, efetuamos um segundo passo para descobrir que necessitvamos deduzir t, com o aux do qual a lio efetuamos o restante da deduo. ca Passo 3) Efetuamos o procedimento esboado acima at chegarmos a enunciados c e 1 , 2 , . . . , n tais que n seja deduz a partir de 1 , 2 , . . . , m ; n1 seja deduz a vel vel partir de n ; . . . ; 1 seja deduz a partir de 2 e, nalmente, seja deduz a partir vel vel de 1 de maneira imediata, ou seja: 1 , 2 , . . . , m , n n , ... , n1 2 1 e 1
Analogamente ao que acontece no Mtodo de Anlise, devemos escolher os enunciados e a 1 , 2 , . . . , n de maneira adequada para que, ao nal do processo, tenhamos simplesmente: 1 , 2 , . . . , m , como quer amos. Por exemplo, pela mesma razo que no Exemplo 6, as sentenas simbolizadas r, t e q, a c que foram utilizadas como auxiliares na deduo de s t a partir das premissas dadas no ca Exemplo 7, no so consideradas como premissas adicionais e no acrescentam nenhuma a a a informao `s premissas dadas. ca a Exemplo 9 Um exemplo de deduo utilizando o Mtodo de S ca e ntese o seguinte: e
p
(q r)
tp tq rs Neste caso, para deduzir a concluso r s basta deduzir r a partir das premissas; para a deduzir r basta deduzir q e q r; para deduzir q r basta deduzir p e utilizar a premissa
p
(q r); para deduzir p basta utilizar a premissa t p. Por outro lado, para deduzir
q basta deduzir t e utilizar a premissa t q; para deduzir t basta, nalmente, utilizar a premissa t p. Assim, temos a seguinte deduo de r s a partir das premissas dadas: da premissa ca t p deduzimos t; a partir de t e da premissa t q, deduzimos q; da premissa t p tambm podemos deduzir p; a partir de p e da premissa p (q r), deduzimos q r; e a partir de q e q r, deduzimos r. Finalmente, a partir de r, deduzimos r s.
122
CAP ITULO 5. SISTEMA DEDUTIVO Observe que iniciamos a deduo acima examinando a concluso do argumento. Alm ca a e
das regras j vistas nos exemplos anteriores, utilizamos tambm a regra: a e Regra 7 A partir de podemos deduzir :
que um exemplo da Regra T, como nos mostra a tabela: e V V F F V F V F V V V F ( ) V V V V
O mtodo de deduo que iremos apresentar uma combinao dos dois mtodos, o e ca e ca e de anlise e o de s a ntese, com a Regra T. Seguindo o Mtodo de Anlise, se estamos tentando deduzir uma concluso a partir e a a das premissas 1 , . . . , m , devemos examinar 1 , . . . , m de maneira a obter enunciados auxiliares que facilitem a deduo. Seguindo o Mtodo de S ca e ntese, nestas mesmas circunstncias, devemos examinar para obter tais enunciados auxiliares. Mas, para que os a enunciados auxiliares obtidos realmente facilitem a deduo de a partir de 1 , . . . , m , ca necessrio que eles sejam mais simples que 1 , 2 , . . . , m e . No entanto, devemos e a estipular o que entendemos por simplicidade. A idia , ento, utilizar como medida de e e a simplicidade a estrutura dos enunciados, no seguinte sentido: 1. Sempre que estivermos buscando por enunciados auxiliares no Mtodo de Anlise: e a tentaremos utilizar as componentes das premissas como auxiliares. 2. Sempre que estivermos buscando por enunciados auxiliares no Mtodo de S e ntese: tentaremos utilizar as componentes da concluso como auxiliares. a 3. Se isto no for poss a vel, buscaremos por enunciados que a anlise ou s a ntese nos leve a concluir estarem diretamente relacionados com estas componentes. Para encontrar estes enunciados diretamente relacionados com as componentes, examinaremos, em cada caso, a maneira como os matemticos provam teoremas, em funo da estrutura a ca do enunciados que est sendo considerado. a Assim, nas prximas sees, examinaremos o que fazer nos casos acima, de acordo com o co a estrutura do enunciado em exame, ou seja, de acordo com o caso de ele ser uma negao, ca uma conjuno, uma disjuno, uma implicao, uma biimplicao, uma generalizao ou ca ca ca ca ca um existencial.
123
5.2.2
Eliminao do ca
Aplicaremos as idias apresentadas nas sees anteriores para decidir que passo devee co mos efetuar quando estivermos utilizando implicaes como premissas em dedues. Como co co estamos examinando premissas, devemos utilizar o Mtodo de Anlise. De acordo com o e a Mtodo de Anlise e com as observaes no nal da Seo 5.2.1, quando queremos utilizar e a co ca uma implicao como premissa, devemos nos perguntar que enunciado podemos ca deduzir imediatamente a partir de que esteja diretamente relacionado com . Exemplo 10 Tentativas imediatas de responder a esta questo nos levam ao seguinte: a Regra 1 A partir de podemos deduzir .
Regra 2
A partir de podemos deduzir .
Mas a Regra 1 e a Regra 2 no so corretas, como mostra a tabela: a a V V F F V F V F V F V F
De fato, na terceira linha da tabela, V e F , mostrando que a Regra 1 no e e a correta. E, na quarta linha da tabela, V e F , mostrando que a Regra 2 e e e no correta. a e Exemplo 11 Uma tentativa correta mas no adequada seria: a Regra 3 A partir de podemos deduzir .
A Regra 3 est correta, como mostra a tabela: a V V F F V F V F V F V F

F F V V
V F V V
( ) V V V V
124
CAP ITULO 5. SISTEMA DEDUTIVO Mas a concluso da regra, , no considerada relacionada com e de maneira a a e
to imediata quanto se queria. a Uma maneira de se obter a partir de uma concluso que seja correta e esteja a relacionada diretamente com e considerar que dada uma implicao, quando temos e ca como hiptese o antecedente (que est diretamente relacionado com ), devemos neceso a sariamente deduzir o conseqente (que est diretamente relacionado com ). Temos, ento u a a a seguinte regra: Regra de Modus Ponens, MP A partir de e , podemos deduzir .
MP correta, como mostra a tabela: e V V F F V F V F V F V V ( ) V F V F ( ) V V V V
Exemplo 12 Vamos mostrar a validade do argumento: pq q r p r utilizando MP. Queremos deduzir a concluso r. Isto pode ser feito a partir de q r, se temos q. Mas a q pode ser deduzido a partir de p q, se temos p. Mas p uma das premissas. Assim, e temos a deduo: ca P P P 1, 3, MP 2, 4, MP Observe o seguinte: 1. No exemplo acima, utilizamos o procedimento de rotular as sentenas simbolizadas c que so utilizadas na deduao. Cada uma das sentenas recebe um nmero e uma a c c u justicativa que uma explicao do motivo pelo qual ela ocorre na deduo. No e ca ca 1 2 3 4 5 pq q r p q r
125
caso considerado, as justicativas podem ser de dois tipos: P, justicando que a sentena rotulada uma premissa ou m,n,MP, justicando que a sentena rotulada c e c obtida por aplicao de MP `s sentenas numeradas por m e n. e ca a c 2. MP deve ser usada nos casos em que a implicao ocorre como premissa. ca 3. Numa aplicao da MP eliminamos uma ocorrncia do . Por esta razo, MP ca e a e tambm chamada Regra de Eliminao do . e ca 4. MP um exemplo da Regra T. e
5.2.3
Introduo do ca
Vamos agora decidir que passo devemos efetuar quando estivermos deduzindo implicaes como concluses. Como estamos examinando concluses, devemos utilizar o co o o Mtodo de S e ntese. De acordo com o Mtodo de S e ntese e as observaes no nal da co Seo 5.2.1, devemos nos perguntar que enunciado que esteja diretamente relacionado ca com e devemos ter como premissa adicional para que possamos deduzir imediatamente . Exemplo 13 Tentativas imediatas de responder a esta questo nos levam ao seguinte: a Regra 1 A partir de podemos deduzir .
Regra 2
Mas a Regra 1 no correta, como mostra a tabela: a e V V F F V F V F V F V F
De fato, na segunda linha da tabela V e F , mostrando que a Regra 1 no e e a correta. e J a Regra 2 correta, como mostra a tabela: a e
126 V V F F V F V F V F V F
CAP ITULO 5. SISTEMA DEDUTIVO ( ) V V V V
Como a premissa da regra um enunciado diretamente relacionado com e , podemos e ser induzidos a considerar que esta a regra que estamos procurando. Mas isto no e a e verdade, por uma razo ligada a maneira como denimos o . Embora tenhamos que a ` a implicao verdadeira todas as vezes em que o conseqente verdadeiro, este no o ca e u e a e unico motivo para que isto acontea. De fato, podemos ter implicaes verdadeiras com c co o conseqente falso. Para isso, basta que o antecedente seja falso. Assim, se adotamos u esta regra para o uso do , estaremos possivelmente perdendo a validade de alguns argumentos. Uma regra que ao mesmo tempo correta e adequada est diretamente associada e a ao modo como os matemticos provam teoremas que so implicaes. Usualmente, para a a co provar uma implicao a partir de certas premissas 1 , . . . , m os matemticos ca a fazem o seguinte: 1. Assumem como premissa adicional que verdadeiro. e 2. Usando em conjunto com 1 , . . . , m , provam . Se conseguem fazer isso, consideram que o teorema est provado. a Exemplo 14 Baseado nas propriedades usuais da multiplicao de nmeros naturais e ca u no fato de que um nmero natural n par se, e somente se, existe um outro natural k tal u e que n = 2k, podemos apresentar uma prova do seguinte fato: Proposio 5.1 Dado um natural n, se n par, ento n2 par. ca e a e
Prova:
Suponhamos que n par. Da existe um nmero natural k1 , tal que n = 2k1 . e , u
2 2 2 Da n2 = 4k1 = 2(2k1 ). Portanto, existe um nmero natural k2 = 2k1 tal que n2 = 2k2 . , u
Logo, n2 tambm par. e e Observe que o resultado provado anteriormente a implicao: e ca (n par) (n2 par) e e e que a prova feita assumindo (n par) como premissa adicional e provando (n2 par), e e e a partir da Como assumimos o enunciado (n par) e conclu . e mos (n2 par), utilizando e somente os fatos assumidos anteriormente, consideramos que a proposio est provada. ca a
5.2. METODO DE ANALISE E S INTESE Temos, ento, a seguinte regra: a Regra do Teorema da Deducao, TD
127
Se conclu mos a partir de 1 , . . . , m , ,
ento podemos concluir a partir de 1 , . . . , m . a Se , . . . , m , , ento a 1 , . . . , m
Exemplo 15 Vamos vericar a validade do seguinte argumento, utilizando MP e TD: p (q r) pq pr Como queremos deduzir p r, aplicando TD, devemos acrescentar p como premissa adicional e provar r. Ou seja, passar para o argumento: p (q r) pq p r Queremos, agora, deduzir a concluso r. a Isto pode ser feito a partir de p (q r), se temos p e q. Mas p a premissa e adicional. Assim, aplicando MP, temos q r. Agora podemos deduzir r, se temos q. Mas q decorre de p e p q, por MP. Assim, temos a deduo: ca P P H,TD 2,3,MP 1,4,MP 4,5,MP 3,6,TD Observe o seguinte: 1. Estendemos o procedimento de rotulao das sentenas que ocorrem na deduo, ca c ca pela introduo de duas novas justicativas: ca 1a. H,TD, justicando que a sentena rotulada uma premissa adicional, introc e duzida pelo uso de TD; 1b. m,n,TD, justicando que a sentena rotulada a implicao obtida pela c e ca deduo da sentena numerada por n a partir da premissa adicional numerada ca c por m. 1 2 3 4 5 6 7 p p p q q r p

(q r) q
r r
128
2. TD deve ser usado nos casos em que a implicao ocorre como concluso. ca a 3. Em uma aplicao de TD, introduzimos uma ocorrncia do . Por esta razo, TD ca e a tambm chamado Regra de Introduo do . e e ca 4. TD no um exemplo da Regra T, pois no estipula diretamente a deduo de a e a ca a partir de uma premissa. Mas arma que podemos considerar deduzida se efetuarmos uma deduo de tomando como premissa adicional. Asca sim, em toda deduo feita por aplicao de TD, ocorre necessariamente a seguinte ca ca estrutura: . . . m . . . n n+1 . . .
H,TD
m,n,TD
A parte que est dentro do retngulo a deduo de a partir de , que pode ser a a e ca feita para que justiquemos a implicao , aplicando TD. Dentro do retngulo ca a ou fora dele, podem ocorrer outras aplicaes de TD. co
5.2.4
Eliminao do ca
Vamos agora decidir que passo devemos efetuar quando estivermos utilizando conjunes como premissas em deduoes. Como estamos examinado premissas, devemos utico c lizar o Mtodo de Anlise. De acordo com o Mtodo de Anlise e as observaes no nal e a e a co da Seo 5.2.1, quando queremos utilizar uma conjuno como premissa, devemos ca ca nos perguntar que enunciado podemos deduzir imediatamente a partir de que esteja diretamente relacionado com e . Tentativas imediatas de responder a esta questo nos levam ao seguinte: a Regra de eliminacao do , -el Temos as seguintes regras:
a) A partir de , podemos deduzir . b) A partir de , podemos deduzir . ( )
5.2. METODO DE ANALISE E S INTESE As regras -el so corretas, como mostra a tabela: a V V F F V F V F V F F F V V V V V V V V
129
No escolhemos apenas uma entre as duas possibilidades imediatas na eliminao do a ca porque a verdade da conjuno acarreta a verdade dos dois componentes e no apenas ca a a verdade de um deles. Exemplo 16 Vamos vericar a validade do seguinte argumento, utilizando -el em conjunto com as outras regras: p (q r) p ((p q) s) pr Como queremos deduzir p r, aplicando TD, basta acrescentar p como premissa adicional e deduzir r. Ou seja, passar para o argumento: p (q r) p ((p q) s) p r Queremos agora deduzir a concluso r. Isto pode ser feito a partir de p (q r) se a temos p e q. Mas p a premissa adicional. Assim, aplicando MP, temos q r. Agora e podemos deduzir r, se temos q. De acordo com a premissa p ((p q) s), podemos deduzir q a partir de p. De fato, aplicando MP, a partir de p ((p q) s), temos (p q) s. Agora, aplicando -el, temos p q. Aplicando MP novamente, temos q. Agora que temos q e q r, aplicando MP temos, nalmente, r. Assim, temos a deduo: ca P P H,TD 2,3,MP 4,-el 3,5,MP 1,3,MP 6,7,MP 3,8,TD Observe o seguinte: 1. Estendemos o procedimento de rotulao das sentenas que ocorrem nas dedues, ca c co pela introduo de uma nova justicativa: m,-el, justicando que a sentena ca c rotulada obtida por aplicao de -el a partir da sentena numerada por m. e ca c 1 2 3 4 5 6 7 8 9 p (q r) p ((p q) s) p (p q) s pq q q r r pr
130
2. -el consiste de duas partes: a primeira a deduo do primeiro componente e a e ca segunda a deduo do segundo componente da conjuno. e ca ca 3. -el deve ser usada nos casos em que a conjuno ocorre como premissa. ca 4. Em uma aplicao de -el, eliminamos uma ocorrncia do . Por esta razo, -el ca e a e tambm chamada Regra de Eliminao do . e ca 5. -el um exemplo da Regra T. e
5.2.5
Introduo do ca
Vamos agora decidir que passo devemos efetuar quando estivermos deduzindo conjunes como concluses. co o Como estamos examinando concluses, devemos utilizar o o Mtodo de S e ntese. De acordo com o Mtodo de S e ntese e as observaes no nal da co Seo 5.2.1, devemos nos perguntar que enunciados diretamente relacionados com e ca devemos ter como premissas para que possamos deduzir imediatamente . Tentativas imediatas de responder a esta questo nos levam ao seguinte: a Regra de introducao do , -int A partir de e , podemos deduzir .
A regra -int correta, como mostra a tabela: e V V F F V F V F V F F F V V V V
Exemplo 17 Vamos vericar a validade do seguinte argumento, utilizando -int e -el: pq q p Como queremos deduzir q p, segundo -int basta deduzirmos q e p. Mas isto pode ser feito, a partir da premissa p q, aplicando -el. Assim, temos a seguinte deduo: ca P 1,-el 1,-el 2,3,-int Observe o seguinte: 1 2 3 4 pq p q q p
131
1. Estendemos o procedimento de rotulao das sentenas que ocorrem nas dedues, ca c co pela introduo de uma nova justicativa: m,n,-int, justicando que a sentena ca c rotulada obtida por aplicao de -int das sentenas numeradas por m e n. e ca c 2. -int deve ser utilizada nos casos em que a conjuno ocorre como concluso. ca a 3. Em uma aplicao de -int, introduzimos uma ocorrncia do . Por esta razo, -int ca e a tambm chamada Regra de Introduo do . e e ca 4. -int um exemplo da Regra T. e
5.2.6
Introduo do ca
Vamos agora decidir que passo devemos efetuar quando estivermos deduzindo disjunes como concluses. co o Como estamos examinando concluses, devemos utilizar o o Mtodo de S e ntese. De acordo com o Mtodo de S e ntese e com as observaes no co nal da Seo 5.2.1, devemos nos perguntar que enunciados diretamente relacionados com ca e devemos ter como premissas para que possamos deduzir imediatamente . Tentativas imediatas de responder a esta questo nos levam ao seguinte: a Regra de introducao do , -int Temos as seguintes regras:
a) A partir de , podemos deduzir . b) A partir de , podemos deduzir .
As regras -int so corretas, como mostra a tabela: a V V F F V F V F V V V F V V V V V V V V
No escolhemos apenas uma entre as duas possibilidades imediatas na introduo do a ca porque, embora a verdade da disjuno seja acarretada pela verdade de apenas um dos ca seus componentes, no podemos de antemo dizer qual dos dois componentes deve ser a a verdadeiro.
132
Exemplo 18 Vamos mostrar a validade do seguinte argumento, utilizando -int em conjunto com as outras regras: pq (p r) (q s) Como queremos deduzir (p r) (q s), segundo -int, basta deduzir p r e q s a partir da premissa p q. Ou seja, passar para cada um dos argumentos: pq pr e pq q s
Para deduzir p r, segundo -int, basta deduzir p. Mas isto pode ser feito, a partir de p q, aplicando -el. Analogamente, para deduzir q s, segundo -int, basta deduzir q. Mas isto pode ser feito, a partir de p q, aplicando -el. Assim, temos a seguinte deduo: ca P 1,-el 2,-int 1,-el 4,-int 3,5-int Observe o seguinte: 1. Estendemos o procedimento de rotulao das sentenas que ocorrem nas dedues, ca c co pela introduo de uma nova justicativa: m,-int, justicando que a sentena ca c rotulada obtida por aplicao de -int a partir da sentena numerada por m. e ca c 2. -int deve ser aplicada nos casos em que a disjuno ocorre como concluso. ca a 3. Em uma aplicao de -int, introduzimos uma ocorrncia do . Por esta razo, -int ca e a tambm chamada a Regra de Introduo do . e e ca 4. -int um exemplo da Regra T. e 1 2 3 4 5 6 pq p pr q q s (p r) (q s)
5.2.7
Eliminao do ca
Vamos agora decidir que passo devemos efetuar quando estivermos utilizando disjunes como premissas em dedues. Como estamos examinando premissas, devemos co co utilizar o Mtodo de Anlise. De acordo com o Mtodo de Anlise e as observaes no e a e a co nal da Seo 5.2.1, quando queremos usar uma disjuno como premissa, devemos ca ca nos perguntar que enunciado podemos deduzir imediatamente a partir de que esteja diretamente relacionado com e .
133
Exemplo 19 Tentativas imediatas de responder a esta questo nos levam ao seguinte: a Regra 1 A partir de podemos deduzir .
Regra 2
Mas a Regra 1 e a Regra 2 no so corretas, como mostra a tabela: a a V V F F V F V F V V V F
De fato, na terceira linha da tabela V e F , o que mostra que a Regra 1 e e no correta. E, na segunda linha da tabela, V e F , o que mostra que a a e e e Regra 2 no correta. a e Exemplo 20 Uma tentativa correta, mas no adequada, seria: a Regra 3 A partir de e podemos deduzir .
A Regra 3 correta, como mostra a tabela: e V V F F V F V F
F F V V
V V V F
( ) F F V F
( ) V V V V
Mas uma das premissas da regra, no considerada relacionada com e de a e maneira to imediata quanto se queria. a Uma regra que ao mesmo tempo correta e adequada est diretamente associada e a ao modo como os matemticos usam disjunes como premissas na prova de teoremas. a co Usualmente, quando esto fazendo a prova de um enunciado , a partir de certas premissas a 1 , . . . , m , e pretendem usar uma disjuno , os matemticos fazem, o seguinte: ca a
134
1. Assumem como premissa adicional que verdadeiro. e 2. Usando em conjunto com 1 , . . . , m , provam . 3. Assumem agora como premissa adicional que verdadeiro. e 4. Usando em conjunto com 1 , . . . , m , provam . Se conseguem fazer isso, consideram que o enunciado est provado. a Exemplo 21 Como j vimos anteriormente, um passo fundamental da prova do teorema a que aparece na Seo 1.1 a considerao do enunciado n primo ou n no primo, que ca e ca e a e uma disjunao. Como nosso objetivo era provar que n possui um fator primo, a partir e c desta disjuno, dividimos a prova em duas partes: uma considerando que n primo e a ca e outra considerando que n no primo. No primeiro caso, conclu a e mos trivialmente que n possui um fator primo. No segundo, fornecemos uma explicao pormenorizada de como, ca aps sucessivas fatoraes, podemos encontrar um fator primo de n. Como em cada um o co dos casos fomos capazes de obter o resultado desejado, consideramos que o teorema est a provado. Uma descrio intuitiva do procedimento esboado acima, para o uso de disjunes ca c co como premissas na prova de teoremas, imaginar a prova como a descrio de um caminho e ca que parte das premissas 1 , 2 , . . . , m e chega na concluso . O uso de uma disjuno a ca como premissa na prova, deve ser comparado com a existncia de uma bifurcao no e ca caminho. Se quando deparamos com uma bifurcao, queremos ter certeza que o caminho ca nos leva a devemos mostrar que no importa que lado da bifurcao escolhamos, sempre a ca chegaremos a . Uma maneira de fazer isso mostrar que cada um dos lados da bifurcao e ca nos leva necessariamente a . Temos, ento, a seguinte regra: a Regra da Prova por Casos, PC Se, a partir de podemos concluir e a partir de
podemos concluir , ento a partir de podemos concluir . a Se e , ento a
Exemplo 22 Vamos vericar a validade do seguinte argumento, utilizando PC em conjunto com as regras anteriores: p p q r v (q r) q (s v) (t v)

135
Queremos deduzir v. Segundo -el, isto pode ser feito tanto a partir de s v quanto a partir de t v. Se temos q, podemos deduzir s v a partir de q (s v), aplicando MP. Analogamente, se temos r, podemos deduzir t v a partir de r t v, aplicando MP. As premissas do argumento no parecem garantir nem q nem r. Mas, se temos p, podemos a deduzir q r a partir de p (q r), aplicando MP. E p pode ser deduzido a partir de p q, aplicando -el. Logo, temos q r e, portanto, podemos aplicar PC. Assim, temos a deduo: ca P P P P 2,-el 1,5,MP 6,H,PC 3,7,MP 8,-el 6,H,PC 4,10,MP 11,-el 7,9,10,12,PC Observe o seguinte: 1. Estendemos o procedimento de rotulao das sentenas que ocorrem nas dedues, ca c co pela introduo de duas novas justicativas: ca 1.a. m,H,PC, justicando que a sentena rotulada uma premissa adicional, inc e troduzida pelo uso de PC, aplicada a uma disjuno numerada por m; ca 1.b. m1 ,n1 ,m2 ,n2 ,PC, justicando que a sentena rotulada (que a mesma numec e rada por n1 e n2 ) foi obtida a partir de uma disjuno cuja primeira componente ca a sentena numerada por m1 e a segunda componente a sentena numerada e c e c por m2 . 2. PC deve ser usada nos casos em que a disjuno ocorre como premissa. ca 3. Em uma aplicao de PC, eliminamos uma ocorrncia do . Por esta razo, PC ca e a e tambm chamada Regra de Eliminao do . e ca 4. PC no um exemplo da Regra T, pois no estipula diretamente a deduo de a e a ca a partir de . Mas arma que podemos considerar deduzida se efetuarmos duas dedues de . Uma tomando como premissa adicional e a outra tomando co como premissa adicional. Assim, em toda deduo feita por aplicao de PC, ocorre ca ca necessariamente a seguinte estrutura: 1 2 3 4 5 6 7 8 9 10 11 12 13 p (q r) ps q (s v) rtv p q r q sv v r tv v v
136
CAP ITULO 5. SISTEMA DEDUTIVO . . . m . . . m,H,PC m1 . . . n1 m2 . . . n2 n . . .
m,H,PC
m1 ,n1 ,m2 ,n2 ,PC
A parte que est dentro do primeiro retngulo a deduo de a partir de . A a a e ca parte que est dentro do segundo retngulo a deduo de a partir de . Cada a a e ca uma das partes pode ser feita para que justiquemos a partir de , aplicando PC. Dentro de cada retngulo ou fora dele, podem ocorrer outras aplicaes de PC. a co
5.2.8
Eliminao do ca
Vamos agora decidir que passo devemos efetuar quando estivermos utilizando negaes co como premissas em dedues. Como estamos examinando premissas, devemos utilizar co o Mtodo de Anlise. De acordo com o Mtodo de Anlise e com as observaes no e a e a co nal da Seo 5.2.1, quando queremos usar uma negao como premissa, devemos ca ca nos perguntar que enunciado podemos deduzir imediatamente a partir de que esteja diretamente relacionado com . Exemplo 23 Uma tentativas imediata de responder a esta questo nos leva ao seguinte: a Regra 1 A partir de podemos deduzir .
Mas a Regra 1 no correta, como mostra a tabela: a e V F
F V
De fato, na segunda linha da tabela, V e F , o que mostra que a Regra 1 e e no correta. a e
137
Assumir como premissa supor que falsa. Assim, no parece existir nenhuma e e a informao diretamente relacionada a que possamos garantir ser verdadeira a partir de ca
.
A idia , ento, examinar como premissas negaes que nos garantam a verdade de e e a co
. Isto pode ser feito se examinarmos . Temos, ento, a seguinte regra: a Regra da Dupla negacao, DN A partir de , podemos concluir .
Exemplo 24 Vamos vericar a validade do seguinte argumento, utilizando DN em conjunto com as outras regras: p q p r q (r r) r q r q Como queremos deduzir r q, aplicando TD, devemos acrescentar r como premissa adicional e deduzir q. Ou seja, passar para o argumento: p q p r q (r r) r q r q Como r q uma premissa e r a premissa adicional, basta aplicar MP e deduzir e e
q.
Aplicando DN, temos, nalmente, q. Assim, temos a deduo: ca P P P P H,TD 4,5,MP 6,DN 5,7,TD 1 2 3 4 5 6 7 8 p q p r q (r r) r q r q q q
Note que as premissas p q, p r e q (r r), que sugerem o uso de PC, no foram utilizadas na deduo acima. a ca Observe o seguinte:
138
1. Estendemos o procedimento de rotulao das sentenas que ocorrem nas dedues, ca c co pela introduo do uma nova justicativa: m, DN, justicando que a sentena ca c rotulada obtida por aplicao de DN a partir da sentena numerada por m. e ca c 2. DN deve ser aplicada nos casos em que a negao ocorre como premissa. ca 3. Em uma aplicao da DN, eliminamos duas ocorrncias do . Por esta razo, DN ca e a e tambm chamada Regra de Eliminao do . e ca 4. DN um exemplo da Regra T. e
5.2.9
Introduo do ca
Vamos agora decidir que passo devemos efetuar quando estivermos deduzindo negaes co como concluses. Como estamos examinando concluses, devemos utilizar o Mtodo de o o e S ntese. De acordo com o Mtodo de S e ntese e com as observaes no nal da Seo 5.2.1, co ca devemos nos perguntar que enunciado que esteja diretamente relacionado com devemos ter como premissa adicional para que possamos deduzir imediatamente . Exemplo 25 Tentativas imediatas de responder a esta questo nos levam ao seguinte: a Regra 1 A partir de podemos deduzir .
Mas a Regra 1 no correta, como mostra a tabela: a e V F
F V
De fato, na primeira linha da tabela V e F , o que mostra que a Regra 1 e e no correta. a e Uma regra que ao mesmo tempo correta e adequada est diretamente associada ao e a modo como os matemticos provam teoremas que so negaes. Usualmente, para provar a a co uma negao a partir de certas premissas os matemticos utilizam o chamado mtodo de ca a e prova por reduo ao absurdo. Este mtodo pode ser descrito sucintamente do seguinte ca e modo: 1) Temos um determinado enunciado que queremos provar, a partir dos enunciados 1 , 2 , . . . , m .
5.2. METODO DE ANALISE E S INTESE 1 , 2 . . . , m
139
2) Ao invs de tentarmos combinar a informao contida em 1 , 2 , . . . , m de modo a e ca justicar diretamente, acrescentamos a 1 , 2 , . . . , m o enunciado , ou seja, a negao do que queremos provar. ca 1 , 2 , . . . , m , 3) Consideramos que, quando podemos provar a partir de 1 , 2 , . . . , m a verdade de assegurada pela verdade de 1 , 2 , . . . , m . Logo, se podemos provar a e partir de 1 , 2 , . . . , m , de algum modo a informao expressa em deve entrar ca em conito com a informao expressa em 1 , 2 , . . . , m . Assim, raciocinamos sobre ca 1 , 2 , . . . , m , tentando encontrar alguma informao que contradiga alguma ca informao j obtida anteriormente. ca a 1 , 2 , . . . , m , , 4) Se realmente isto acontecer, consideramos que o enunciado est provado a partir a dos enunciados 1 ,2 ,. . .,m . Exemplo 26 Um exemplo clssico do uso do mtodo de reduo ao absurdo na prova de a e ca a e u um enunciado matemtico a prova de que 2 no um nmero racional. a e A prova se baseia nos seguintes fatos: i) Todo nmero racional positivo pode ser escrito como uma frao de dois nmeros u ca u naturais a e b, com b = 0. Por exemplo, o nmero racional 0, 5 pode ser escrito u como a frao 5/10. ca ii) Toda frao a/b de dois nmeros naturais pode ser simplicada at uma frao c/d, ca u e ca pela eliminao de todos os fatores comuns aos nmeros a e b. Por exemplo, 5/10 ca u pode ser simplicada at a frao 1/2, onde 1 e 2 no possuem fatores comuns. e ca a iii) Todo nmero natural par ou u e mpar, de maneira exclusiva. Os nmeros pares podem u ser escritos na forma 2m, onde m um nmero natural. Os nmeros e u u mpares podem ser escritos na forma 2n + 1, onde n um nmero natural. e u iv) O quadrado de um nmero u mpar e mpar. De fato, se a = 2n + 1 um nmero e u mpar, a2 = 4n2 + 4n + 1 = 2(2n2 + 2n) + 1 tambm um nmero e e u mpar. Assim, se o quadrado de um nmero par, ento esse nmero par. u e a u e Podemos agora provar o seguinte resultado:
140 Proposio 5.2 ca Prova:
CAP ITULO 5. SISTEMA DEDUTIVO 2 no um nmero racional. a e u
Suponhamos a negao do que queremos provar, ou seja, que 2 um ca e nmero racional. Da existem nmeros racionais a e b, com b = 0, tais que 2 = a/b. u , u Simplicando a frao a/b, temos que 2 = c/d, onde: ca c e d no possuem fatores comuns. (*) a Elevando ambos os membros da igualdade ao quadrado, temos que 2 = c2 /d2 , ou seja: c2 = 2d2 (1) e da conclu , mos que c2 par. Da e : c2 = 2m (2) onde m um nmero natural. Substituindo (2) em (1), temos: (2m)2 = 2d2 e, da e u , 4m2 = 2d2 , ou seja, 2m2 = d2 e conclu mos que d2 par. Como d2 par, podemos e e garantir que d par e , da d = 2n, onde n um nmero natural. Assim, c = 2m e e , e u d = 2n, acarretando que c e d possuem 2 como um fator comum, contradizendo (*). No caso que estamos considerando, queremos deduzir uma negao a partir de ca premissas 1 , 2 , . . . , m . Assim, pelo mtodo de reduo ao absurdo, devemos supor e ca como premissa adicional a negao do que queremos deduzir, ou seja, , e deduzir ca uma contradio expressa pelas sentenas e . Observe que , na verdade, ca c e tautologicamente equivalente a . Portanto, para deduzir uma negao a partir de 1 , . . . , m , seguindo a maneira ca como os matemticos provam teoremas, faremos o seguinte: a 1. Assumiremos como premissa adicional. 2. Usando em conjunto com 1 , . . . , m , tentaremos deduzir dois enunciados contraditrios e . o Se conseguirmos fazer isso, consideraremos que a negao foi deduzida. ca Temos, ento, a seguinte regra: a Regra de Reducao ao absurdo, RA podemos deduzir . Se 1 , . . . , m , e 1 , . . . , m , , ento a 1 , . . . , m Se a partir de 1 , . . . , m , podemos deduzir
e a partir de 1 , . . . , m , tambm podemos deduzir , ento a partir de 1 , . . . , m e a
141
Exemplo 27 Vamos vericar a validade do seguinte argumento, aplicando RA em conjunto com as outras regras: pq r q p r Como queremos deduzir p r, aplicando TD, devemos acrescentar p como premissa adicional e deduzir r. Como r uma negao, aplicando RA, devemos acrescentar e ca r como mais uma premissa adicional e deduzir sentenas contraditrias e . As c o candidatas naturais para e so q e q que podem ser deduzidas a partir de p q e a r q por aplicao de MP a p e r, respectivamente. Assim, temos a deduo: ca ca P P H,TD H,RA 1,3,MP H,RA 2,6,MP 4,5,6,7,RA 3,8,TD Observe o seguinte: 1. Estendemos o procedimento de rotulao das sentenas que ocorrem nas dedues, ca c co pela introduo de duas novas justicativas: ca 1.a. H,PC, justicando que a sentena rotulada uma premissa adicional, introc e duzida pelo uso de RA; 2.a. m1 ,n1 ,m2 ,n2 ,RA, justicando que a sentena rotulada (que a negao da c e ca sentena numerada por m1 e m2 ) foi obtida pela deduo de uma contradio c ca ca expressa pelas sentenas numeradas por n1 e n2 . c 2. RA deve ser utilizada nos casos em que a negao ocorre como concluso. ca a 3. Em uma aplicao de RA, introduzimos uma ocorrncia do . Por esta razo, RA ca e a e tambm chamada Regra de Introduo do . e ca 4. RA no um exemplo da Regra T, pois no estipula diretamente a deduo de a e a ca
1 2 3 4 5 6 7 8 9
pq r q p r q r q r p r
a partir de 1 , 2 , . . . , m . Mas arma que podemos considerar deduzida se
efetuarmos duas dedues tomando como premissa adicional: uma de e a outra co de . Assim, em toda deduo feita por aplicao de RA, ocorre necessariamente ca ca a seguinte estrutura:
142
H,RA
. . . m1 . . . n1 m2 . . . n2 n . . .
H,RA
m1 ,n1 ,m2 ,n2 ,RA
A parte que est dentro do primeiro retngulo a deduo de a partir de . A parte a a e ca que est dentro do segundo retngulo a deduo de a partir de . Cada uma das a a e ca partes pode ser feita para que justiquemos a partir de 1 , 2 , . . . , m , aplicando RA. Dentro de cada retngulo ou fora dele, podem ocorrer outras aplicaes de RA. a co
5.2.10
Eliminao do ca
Vamos agora decidir que passo devemos efetuar quando estivermos utilizando implicaes como premissas em dedues. Como estamos examinando premissas, devemos co co utilizar o Mtodo de Anlise. De acordo com o Mtodo de Anlise e com as observaes e a e a co no nal da Seo 5.2.1, quando queremos utilizar uma implicao como premissa, ca ca devemos nos perguntar que enunciado podemos deduzir imediatamente a partir de que esteja diretamente relacionado com e . Tentativas imediatas de responder a esta questo nos levam ao seguinte: a Exemplo 28 Temos as seguintes regras: Regra 1 A partir de podemos deduzir .
Regra 2
Mas a Regra 1 e a Regra 2 no so corretas, como mostra a tabela: a a
5.2. METODO DE ANALISE E S INTESE V V F F V F V F V F F V
143
De fato, na quarta linha da tabela, V e F , mostrando que a Regra 1 e e no correta. Analogamente, na quarta linha da tabela, V e F , mostrando a e e e que a Regra 2 no correta. a e Uma regra que , ao mesmo tempo, adequada e correta decorre da tendncia natural e e de considerar uma biimplicao como uma conjuno de duas implicaes, ou seja, de ca ca co considerar como ( ) ( ). Neste caso, as tentativas imediatas so as seguintes: a Regra de eliminacao do , -el Temos as seguintes regras:
a) A partir , podemos concluir . b) A partir , podemos concluir .
As regras -el esto corretas, como mostra a tabela: a V V F F V F V F V F V V V V F V V F F V ( ) ( ) V V V V ( ) ( ) V V V V
No escolhemos apenas uma entre as duas possibilidades imediatas na eliminao do a ca porque a verdade da biimplicaao acarreta a verdade das duas implicaes e no apenas c co a a verdade de uma delas. Exemplo 29 Vamos vericar a validade do seguinte argumento, utilizando -el em conjunto com as outras regras: p q r r s st pq ps
144
CAP ITULO 5. SISTEMA DEDUTIVO Como queremos deduzir p s, aplicando TD, devemos acrescentar p como premissa
adicional e deduzir r. Ou seja, passar para o seguinte argumento: p q r r s st pq p s Queremos deduzir s, e r s uma premissa. Segundo MP, basta deduzir r. Como e p q r uma premissa, segundo MP, para deduzir r basta deduzir p q. Para isto, e segundo -el, basta deduzir p e deduzir q. Agora, p a premissa adicional. Como temos e p q como premissa, segundo -el, podemos deduzir p q. Temos, agora, p e p q. Da aplicando MP, podemos deduzir q. Temos, ento, a seguinte derivao: , a ca P P P P H,TD 4, -el 5,6,MP 5,7,-el 1,8,MP 2,9,MP 5,10,TD Observe o seguinte: 1. Estendemos o procedimento de rotulao das sentenas que ocorrem nas dedues, ca c co pela introduo de uma nova justicativa: m, -el, justicando que a sentena ca c rotulada obtida da sentena numerada por m por aplicao de -el. e c ca 2. -el deve ser usada nos casos em que a biimplicao ocorre como hiptese. ca o 3. Em uma aplicao de -el, eliminamos uma ocorrncia do . Por esta razo, ca e a -el chamada Regra de Eliminao do . e ca 5. -el um exemplo da Regra T. e 1 2 3 4 5 6 7 8 9 10 11 p q r s st pq p pq q pq r s ps
r
5.2.11
Introduo do ca
Vamos agora decidir que passo devemos efetuar quando estivermos deduzindo biimplicaes como concluses. Como estamos examinando concluses, devemos utilizar o co o o Mtodo de S e ntese. De acordo com o Mtodo de S e ntese e com as observaes no nal da co
145
Seo 5.2.1, devemos nos perguntar que enunciados diretamente relacionados com e ca devemos ter como premissas para que possamos deduzir imediatamente . Tentativas imediatas de responder a esta questo nos levam ao seguinte: a Exemplo 30 Temos as seguintes regras: Regra 1 A partir de podemos deduzir .
Regra 2
Mas a Regra 1 e a Regra 2 no so corretas, como mostra a tabela: a a V V F F V F V F V F F V
De fato, na segunda linha da tabela, V e F , mostrando que a Regra 1 e e no correta. E, na terceira linha da tabela, V e F , mostrando que a a e e e Regra 2 no correta. a e Como no caso de -el, uma regra qua ao mesmo tempo adequada e correta decorre e do fato de considerarmos uma biimplicao como uma conjuno de duas implicaes. ca ca co Regra de introducao do , -int . A regra -int correta, como mostra a tabela: e V V F F V F V F V F V V V V F V V F F V ( ) ( ) V F F V V V V V A partir e , podemos concluir
146 onde ( ) ( ) ( ). e
Exemplo 31 Vamos vericar a validade do seguinte argumento, utilizando -int em conjunto com as outras regras: p p p q s
st t q s t
Queremos deduzir s t. Segundo -int, devemos deduzir, ento, s t e t s. Ou a seja, passar para os argumentos: p p p q s p pst ptq q s ts
st t q s t
Para deduzir s t, aplicando TD, devemos considerar s como premissa adicional e deduzir t. Ou seja, passar para o argumento: p pst ptq q s s t Mas p uma premissa. Da aplicando -int, temos p s. Como p s t uma e , e premissa, aplicando MP, temos t. Para deduzir t s, aplicando TD, devemos considerar t como premissa adicional e deduzir s. Ou seja, passar para o argumento: p pst ptq q s t s Mas p uma premissa. Da aplicando -int, temos p t. Como p t q uma e , e premissa, aplicando MP, temos q. Agora que temos q e q s, aplicando MP, temos s. Assim, temos a seguinte derivao: ca
5.2. METODO DE ANALISE E S INTESE P P P P H,TD 1,5,-int 2,6,MP 5,7,TD H,TD 1,4,-int 3,10,MP 4,11,MP 9,12,TD 8,13, -int Observe o seguinte: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 p pst ptq q s s ps t st t pt q s ts st
147
1. Estendemos o procedimento de rotulao das sentenas que ocorrem nas dedues, ca c co pela introduo de uma nova justicativa: m,n, -int, justicando que a sentena ca c rotulada obtida das sentenas numeradas por m e n por aplicao de -int. e c ca 2. -int deve ser usada nos casos em que a biimplicao ocorre como concluso. ca a 3. Em uma aplicao de -int, introduzimos uma ocorrncia do . Por esta razo, ca e a -int chamada Regra de Introduo do . e ca 4. -int um exemplo da Regra T. e
5.2.12
Eliminao do ca
A eliminao do se baseia no seguinte princ ca pio que descreve intuitivamente o signicado da generalizao de enunciados: ca Se todos os elementos de um dom nio tm uma certa propriedade, ento devee a mos ser capazes de deduzir que qualquer elemento particular do dom nio tem a propriedade. Exemplo 32 Vamos vericar a validade dos seguintes argumentos, utilizando o princ pio acima: a) Scrates mortal. o e Pois, Scrates homem. o e E todos os homens so mortais. a P P 2,Princ pio 1, 3, MP 1 2 3 4 P (a) x(P (x) Q(x)) P (a) Q(a) Q(a)
148 onde: P (x) Q(x) a b)
: : :
x homem e x mortal e Scrates o
Todos os gatos tm rabo. e O irmo de Psi no tem rabo. a a Logo, o irmo de Psi no um gato. a a e P P 1,Princ pio H 3, 4, MP 2, 5, -int 4, 6, -int onde: R(x) S(x) f (x) b 1 2 3 4 5 6 7 x(R(x) S(x)) S(f (b)) R(f (b)) S(f (b)) R(f (b)) S(f (b)) S(f (b)) S(f (b)) R(f (b))
: : : :
x gato e x tem rabo o irmo de x a Psi
Se temos um propriedade P (x) expressa por um enunciado (x) e sua generalizao ca expressa pelo enunciado x(x), considerando que x(x) um enunciado verdadeiro em e um dado contexto, dado um objeto a qualquer, do dom nio de discurso, se a denotado e por um termo t do CQ, o princ pio acima nos autoriza a executar os seguintes passos: Passo 1) Passo 2) Eliminar a ocorrncia de x em x(x). e Inferir que o enunciado (x) vale para o termo t.
Ou seja, que o elemento espec co a, do dom nio, possui a propriedade P (x). Exemplo 33 Nos exemplos anteriores, temos: a) P (x) a propriedade homens so mortais expressa pelo enunciado P (x) Q(x), cuja e a generalizao x(P (x) Q(x)). O elemento considerado Scrates denotado pelo ca e e o termo a. Assumindo x(P (x) Q(x)) como premissa, a regra de eliminao do nos autoca riza a executar os seguintes passos: Passo 1) Eliminar a ocorrncia de x em x(P (x) Q(x)), obtendo o enunciado e
P (x) Q(x). Passo 2) Trocar as ocorrncias de x em P (x) Q(x) por ocorrncias do termo e e
a, obtendo P (a) Q(a). O Passo 1 e o Passo 2 acima so resumidos na passagem do passo 2 para o passo 3 a na derivao apresentada. ca
149
b) P (x) a propriedade gatos tm rabo, expressa pelo enunciado R(x) S(x), cuja e e generalizao x(R(x) S(x)). O elemento considerado o irmo de Psi, denotado ca e e a pelo termo f (b). Assumindo x(R(x) S(x)) como premissa, a regra de eliminao do nos autoriza ca a executar os seguintes passos, anlogos aos efetuado no item (a): a Passo 1) Eliminar a ocorrncia de x em x(R(x) S(x)), obtendo R(x) S(x). e
Passo 2)
Trocar as ocorrncias de x em R(x) S(x) por ocorrncias do termo e e
f (b), obtendo R(f (b)) S(f (b)). O Passo 1 e o Passo 2 acima so resumidos na passagem do passo 1 para o passo 3 a na derivao apresentada. ca Nosso objetivo usar o princ e pio acima para enunciar formalmente a regra de eliminao do . Para isto, necessitamos do seguinte conceito de substituio de uma varivel ca ca a por um termo em um enunciado: Denio 5.2 Seja x uma varivel, t um termo e um enunciado do CQ. Substituir x ca a por t em consiste em trocar simultaneamente todas as ocorrncias livres de x em (se e existirem) por ocorrncias de t. e
Notao ca
O resultado da substituio de x por t em um enunciado denotado (t/x) ca e
e lido t no lugar de x em . Observe que, segundo a denio acima, a noo de substituio de uma varivel x ca ca ca a por um termo t em um enunciado est sujeita `s seguintes restries: a a co i) Somente as ocorrncias livres de x em (se existirem) podem ser trocadas por e ocorrncias de t. e Exemplo 34 Formalmente, como um enunciado qualquer do CQ, teremos as e seguintes possibilidades: a) No existem ocorrncias de x em . Por exemplo, pode ser P (y). Neste caso, a e (t/x) o prprio , uma vez que, na ausncia de ocorrncias livres de x em e o e e , nenhuma substituio efetuada. Assim, (a/x)P (y) a prpria P (y). ca e e o b) Todas as ocorrncias de x em so ligadas. Por exemplo, pode ser xP (x). e a Neste caso, (t/x) novamente o prprio , uma vez que, na ausncia de e o e ocorrncias livres de x em , nenhuma substituiao efetuada. Assim, o enune c e ciado (a/x)xP (x) o prprio xP (x). e o
150
CAP ITULO 5. SISTEMA DEDUTIVO c) Todas as ocorrncias de x em so livres. Por exemplo, pode ser P (x). e a Neste caso, a substituio efetuada em todos os lugares onde x ocorre livre ca e em . Assim, (a/x)P (x) P (a). e d) Algumas ocorrncias de x em so livres e outras so ligadas. Por exemplo, e a a pode ser P (x) xP (x). Neste caso, a substituio efetuada somente nos luca e gares onde x ocorre livre em . Assim, (a/x)(P (x) xP (x)) P (a) xP (x). e
ii) Todas as ocorrncias livres de x em devem ser trocadas por ocorrncias de t. e e Exemplo 35 Se P (x, y) P (y, x), ento (a/x) P (a, y) P (y, a) e no, por e a e a exemplo, P (a, y) P (y, x) ou P (x, y) P (y, a). Feitas estas ressalvas, temos a seguinte regra: Regra de eliminacao do (-el, primeira versao) e x, podemos concluir (t/x). x (t/x) Dado um termo t, a partir de
O leitor deve estar convencido de que a regra acima traduz corretamente a noo ca intuitiva de eliminao do . Mas, do ponto de vista formal, como veremos no prximo ca o exemplo, ela deixa um pouco a desejar. Exemplo 36 Vericar a validade do seguinte argumento, no CQ: Existe um inteiro diferente de si mesmo. Pois y um inteiro e e sempre existe um inteiro diferente de um inteiro dado. O argumento acima obviamente invlido, pois pode ser interpretado na aritmtica e a e usual dos nmeros naturais de modo que a premissa seja V e concluso F . u a Agora, o argumento pode ser simbolizado do seguinte modo, no CQ: P (y) x(P (x) y(P (y) y = x)) y(P (y) y = y) onde P (x) simboliza x um inteiro. Utilizando a regra -el (primeira verso), podemos e a efetuar a seguinte derivao: ca
5.2. METODO DE ANALISE E S INTESE P P 2, -el(primeira verso) a 1, 3, MP que mostra que o argumento vlido. e a 1 2 3 4 P (y) x(P (x) y(P (y) y = x)) P (y) y(P (y) y = y) y(P (y) y = y)
151
O ponto crucial na derivao acima a passagem do passo 2 para o passo 3, onde elimica e namos a ocorrncia de x em x(P (x) y(P (y) y = x)) e substitu e mos as ocorrncias e livres de x em P (x) y(P (y) y = x)) por ocorrncias do termo y, obtendo: e P (y) y(P (y) y = y). Neste ponto, passamos do enunciado sempre existe um inteiro diferente de um inteiro dado, que V , para o enunciado se algo um inteiro, ento existe um inteiro diferente de si mesmo. e e a Como y um inteiro uma premissa, conclu e e mos o enunciado existe um inteiro diferente de si mesmo, que F . e Como vimos, ao estudar o uso de regras de inferncia no CS, uma das principais e propriedades das regras de inferncia que elas devem preservar a verdade, ou seja, sempre e e que aplicadas a enunciados V , devem fornecer como resultado um enunciado V . No nosso exemplo, no entanto, no passo 2, temos um enunciado V e, no passo 4, obtemos com aplicao de -el (primeira verso) um enunciado F . ca a Conclu mos, ento que -el (primeira verso) no preserva a verdade, quando aplicada a a a a enunciados do CQ, isto , existe ao menos um enunciado do CQ e um contexto onde e
x
V mas (t/x) F . Por esta razo, -el (primeira verso) no pode ser aceita como e e a a a
regra de inferncia do CQ. Qual ser ento o aspecto da eliminao do que a regra acima e a a ca no capturou, permitindo a anomalia acima? Para responder a esta questo, faremos um a a exame detalhado da passagem efetuada do passo 2 para o passo 4, na derivao. ca Iniciamente, temos o enunciado: (1) x(P (x) y(P (y) y = x)) que signica sempre existe um inteiro diferente de um inteiro dado e, portanto, V , na e aritmtica dos nmeros inteiros. e u Em (1) eliminamos a ocorrncia do x, obtendo o enunciado: e (2) P (x) y(P (y) y = x) que siginica se x um inteiro, existe um inteiro diferente de x que tambm V , na e e e aritmtica dos nmeros inteiros. e u Agora, em (2) efetuamos a substituio de todas as ocorrncias livres de x pelo termo ca e y. Como todas as ocorrncias de x em (2) so livres, todas devem ser trocadas por y e e a obtemos:
152
CAP ITULO 5. SISTEMA DEDUTIVO (3) P (y) y(P (y) y = y)
que signica se y um inteiro, existe um inteiro diferente de si mesmo que F , na aritmtica e e e dos nmeros inteiros, j que admitimos como premissa que y inteiro. u a e Observe que, em relao ` substituio de x por y, as ocorrncias livres de x em (2) ca a ca e so de dois tipos. A primeira no ocorre no escopo de nenhum quanticador e, portanto, a a quando substitu no pode se tornar ligada. E a segunda ocorre no escopo de um da a quanticador y e, portanto, passa a se tornar ligada quando a substituio de x por y ca e efetuada. Acontece que o fato da substituio trocar uma varivel livre por uma varivel ca a a ligada altera essencialmente a forma do enunciado em questo e, conseqentemente, o seu a u contedo. u Exemplo 37 Considere o enunciado V , na aritmtica dos nmeros inteiros: e u Existe um inteiro maior que um inteiro dado. Este enunciado pode ser simbolizado no CQ como: (*) y(P (y) Q(y, x)), onde P (y) e Q(y, x) simbolizam, respectivamente, y um inteiro e y maior que x. e e a) Substituindo x por y em (*), teremos:
y(P (y)
Q(y, y))
que expressa o enunciado: Existe um inteiro maior que si mesmo. que F e possui um contedo completamente distinto do enunciado original. e u b) Substituindo x por y1 em (*), teremos:
y(P (y)
Q(y, y 1))
que expressa o enunciado: Existe um inteiro maior que seu antecessor. que tambm V , mas possui um contedo completamente distinto do enunciado original. e e u c) Substituindo x por y + 1 em (*), teremos:
y(P (y)
Q(y, y + 1))
que expressa o enunciado:
5.2. METODO DE ANALISE E S INTESE Existe um inteiro maior que seu sucessor. que F e possui um contedo completamente distinto do enunciado original. e u d) Substituindo x por y 2 em (*), teremos:
y(P (y)
153
Q(y, y 2 ))
que expressa o enunciado: Existe um inteiro maior que seu quadrado. que tambm V mas possui um contedo completamente distinto do enunciado original. e e u e) Substituindo x por y y 2 em (*), teremos:
y(P (y)
Q(y, y y 2 ))
que expressa o enunciado: Existe um inteiro cujo quadrado positivo. e que tambm V , mas possui um contedo completamente distinto do enunciado original. e e u f) Finalmente, substituindo x por um termo t qualquer, que no possua ocorrncia de a e y, em (*), teremos:
y(P (y)
Q(y, t))
que expressa o enunciado: Existe um inteiro maior que t. que arma sobre t a mesma coisa que (*) arma sobre x e, portanto, V . e Em resumo, o fato de efetuarmos a substituio de uma varivel livre por uma varivel ca a a ligada em um enunciado : 1. Altera essencialmente a forma de . 2. Altera essecialmente o contedo de . u 3. Pode levar de enunciados V tanto a enunciados V quanto a enunciados F . Nosso objetivo, ento, enunciar a regra de -el de modo a excluir a anomalia acara e retada por este tipo de substituio. Para isto, necessitamos do seguinte conceito: ca Denio 5.3 Seja x uma varivel, t um termo e um enunciado do CQ. x livre para ca a e t em se a substituio de x por t em no coloca t em nenhum lugar onde uma varivel ca a a y de t se torne uma ocorrncia ligada de y em . e
154
CAP ITULO 5. SISTEMA DEDUTIVO A regra -el arma que em uma determinada derivao s podemos substituir uma ca o
varivel x por um termo t se x for livre para t em , isto , se nenhuma varivel que a e a ocorre em t se torna ligada, aps a substituio ter sido efetuada. o ca Regra de eliminacao do (-el, versao definitiva) ento, a partir de e x, podemos concluir (t/x). a Se x livre para t em , x e (t/x) Se x livre para t em , e
Observe que, alm das restries j impostas na denio de substituio de uma e co a ca ca varivel por um termo em um enunciado, a denio da regra -el acrescenta ainda a a ca seguinte, sem a qual a substituio no pode ser efetuada numa derivao: ca a ca iii) Nenhuma ocorrncia de uma varivel em t pode se tornar ligada aps a substiuio e a o ca ser efetuada. O objetivo desta restrio preservar a estrutura do enunciado, garantindo que (t/x) ca e arma sobre t a mesma coisa que armava sobre x. Exemplo 38 1. Vericar a validade dos seguintes argumentos, no CQ:
x(P (x) Q(x))
a)
x(R(x) S(x)
Q(x))
P (a) R(a) S(a)

x(P (x) Q(x))
b)
x(R(x) S(x)
Q(x))
Q(a) P (a)
2. Vericar se os seguintes enunciados do CQ so vlidos: a a a) xyP (x, y) yP (y, y) b) xyP (x, y) yP (f (x, z), y)
5.2.13
Introduo do ca
A eliminao do foi baseada em uma reformulao do seguinte princ ca ca pio, que descreve parte do contedo intuitivo da generalizao de enunciados: u ca Se um enunciado V para todos os elementos de um dom e nio, ento tambm a e V para um elemento particulardo dom e nio.
155
Para fundamentar a introduo do , no podemos simplesmente tomar a rec ca a proca do princ pio acima, a saber: Se um enunciado V para um elemento particular de um dom e nio, ento V a e para todos os elementos do dom nio. De fato, saber que 0 um nmero natural par no nos leva a concluir que todos os e u a nmeros naturais sejam pares. u Como aconteceu com todas as regras de introduo at aqui apresentadas, queremos ca e que a regra de introduo do nos diga de que modo podemos inferir o enunciado x a ca partir de sua componente ou de algum enunciado associado de maneira direta a . Exemplo 39 Vericar a validade dos seguintes argumentos, no CQ: Todo mundo da nossa turma gosta de Quine. Quine no gosta de ningum que gosta dele. a e Logo, qualquer um de quem Quine goste no da nossa turma. a e Nenhum aluno gosta de nenhum professor. Cada aluno gosta de todos os outros alunos. Deste modo, nenhum professor aluno. e
a)
b)
Em tudo o que segue, x uma varivel, t um termo do CQ e , enunciados do CQ. e a Os exemplos acima sugerem que, para que possamos fundamentar de maneira correta a introduo do , a rec ca proca do princ que regula a eliminao do deve ser reformulada pio ca da seguinte maneira: Se um enunciado V para um elemento genrico de um dom e e nio, ento tama bm V para todos os elementos do dom e e nio. Assim, se temos uma propriedade P (x) expressa por um enunciado (x), e queremos provar que todo os elementos do dom nio tm a propriedade, o princ e pio acima arma que basta executar os seguintes passos: Passo 1) Passo 2) Provar o enunciado (x) (aqui, x denota um objeto genrico). e Inferir x(x) a partir de (x).
Exemplo 40 No Exemplo 39, temos: a) P (x) a propriedade: e
Quine gostar de uma pessoa acarreta que esta pessoa no de nossa turma a e
156 expressa pelo enunciado Q(a, x) P (x).
Para provar a generalizao x(Q(x, a) P (x)), a regra de introduo do arma ca ca que basta executar os seguintes passos: Passo 1) Passo 2) Provar Q(a, x) P (x) a partir das premissas dadas. Concluir x(Q(x, a) P (x)) a partir de Q(a, x) P (x).
Os passos 1 e 2 acima so resumidos na passagem do passo 10 para o passo 11 na a derivao apresentada. ca b) P (x) a propriedade: e professores no so alunos a a expressa pelo enunciado S(x) R(x). Para provar a generalizao x(S(x) R(x)), a regra de introduo do arma ca ca que basta executar os seguintes passos, anlogos aos efetuado no item (a): a Passo 1) Passo 2) Provar S(x) R(x) a partir das premissas dadas. Concluir x(S(x) R(x)) a partir de S(x) R(x).
Os passos 1 e 2 acima so resumidos na passagem do passo 16 para o passo 17 na a derivao apresentada. Nosso objetivo, nesta seao, usar o princ ca c e pio acima para enunciar formalmente a regra de eliminao do . ca
Regra de introducao do (-int, primeira versao) concluir x. x
A partir de e podemos
O leitor deve estar convencido de que a regra acima traduz corretamente a noo ca intuitiva de eliminao do . Mas, analogamente ao que acontece com a regra -el, veremos ca agora que do ponto de vista formal, ela deixa um pouco a desejar. Exemplo 41 a) Examinemos a seguinte prova da trigonometria:
Proposio ca Prova:
Para todo x R, sen2 x + cos2 x = 1.
Seja x R. Considere o seguinte tringulo ABC: a
157
C
&
a
& & &
& & &
b A
&
Por denio, ca senx = e cosx = Da ,
b cateto oposto a x = hipotenusa a
cateto adjacente a x c = . hipotenusa a
c2 b2 + c2 b2 c2 b2 . + = 2+ 2 = a a a a a2 Pelo teorema de Pitgoras, em um tringulo retngulo de hipotenusa a e catetos b e c, a a a sen2 x + cos2 x = temos que a2 = b2 + c2 . Da sen2 x + cos2 x = ,
a2 a2
= 1. O que prova o teorema.
Embora a prova acima parea correta, na verdade, o resultado no foi provado para c a todos os nmeros reais, mas somente para aqueles que pertencem a um determinado u subconjunto prprio do conjunto dos nmeros reais. Para ver que isto acontece, o u observe que nem todas as propriedades utilizadas durante a prova so genricas (isto a e , valem para todos os nmeros reais). Em particular, associar a um dado nmero e u u real x um dos ngulos agudos de um tringulo retngulo no uma propriedade a a a a e partilhada por todos os nmeros reais, mas somente por aqueles que pertencem ao u primeiro quadrante do c rculo trigonomtrico. e
Assim, os unicos nmeros reais para os quais a propriedade foi provada so os perten u a centes aos intervalos (0, ), (2, 5 ), . . . , (2k, (4k+1) ), . . ., onde k Z. Em outras 2 2 2 palavras, o resultado que foi provado o seguinte: e
158
Proposio ca
Se x R e x kZ (2k, (4k+1) ), ento sen2 x + cos2 x = 1. a 2
A generalizao do resultado anterior para todos os nmeros reais pode ser feita ca u considerando-se sete outros casos, alm do j provado. e a b) Vericar a validade do seguinte argumento, no CQ: x par. e Todos os nmeros pares so naturais. u a Logo, todos os nmeros so naturais. u a O argumento acima obviamente invlido, pois pode ser interpretado na aritmtica e a e dos nmeros inteiros de modo a possuir premissas V e concluso F . u a Agora, o argumento pode ser simbolizado do seguinte modo, no CQ:
x(Q(x)
P (x) R(x)) x(Q(x) R(x))
Utilizando a regra -int (primeira verso), podemos efetuar a seguinte derivao: a ca P P H,TD 1,3,-int 2,-el 4,5,MP 3,6,TD 7,-int 1 2 3 4 5 6 7 8 P (x) x(Q(x) P (x) R(x)) Q(x) Q(x) P (x) Q(x) P (x) R(x) R(x) Q(x) R(x) x(Q(x) R(x))
que mostra que o argumento vlido. e a Os pontos cruciais na derivaao acima so a derivao do passo 7 a partir das c a ca premissas 1 e 2 e a passagem do passo 7 para o passo 8, onde introduzimos o x, inferindo x(Q(x) R(x)) a partir de Q(x) R(x). Como vimos, ao estudar o uso de regras de inferncia no CS, uma das principais e propriedades das regras de inferncia que elas devem preservar a verdade, ou seja, sempre e e que aplicadas a enunciados V , devem fornecer como resultado um enunciado V . No nosso exemplo, no entanto, temos como premissas enunciados considerados V e no passo 8 obtemos com aplicao de -int (primeira verso) um enunciado F , derivado a partir ca a destas premissas. Conclu mos, ento que -int (primeira verso) no preserva a verdade, a a a
159
quando aplicada a enunciados do CQ, isto , existe ao menos um enunciado do CQ e e um contexto onde V mas x F . Por esta razo, -int (primeira verso) no pode e e a a a ser aceita como regra de inferncia do CQ. e Qual ser ento o aspecto da introduo do que a regra acima no capturou, pera a ca a mitindo a anomalia acima? Para responder a esta questo, faremos um exame detalhado a da idia de generalizao. e ca Para enunciar a regra de modo a excluir as anomalias acima, necessitamos dos seguintes conceitos: Denio 5.4 Seja um conjunto de enunciados do CQ a partir do qual derivamos um ca enunciado e seja x uma varivel que ocorre livre em . A varivel x tratada como a a e constante na derivao de a partir de se satisfaz a uma das seguintes condies: ca co i) ii) Existe , tal que x ocorre livre em e foi usada na derivao de a partir ca de . A regra -int arma que, em uma derivao, no podemos generalizar variveis tratadas ca a a como constantes. Regra de introducao do (-int, versao definitiva)
x.
Se a partir de derivamos
e x no tratada como constante nessa derivao, ento a partir de podemos concluir a e ca a
Se
e x no tratada como constante, ento a e a . x
Exemplo 42
1. Vericar a validade dos seguintes argumentos, no CQ: Q(x))
x(P (x)
a)
x(R(x) Q(x)) x(R(x) R(x)) x(P (x)
b)
Q(x) R(x)) x(Q(x) R(x)) x(P (x) R(x))
2. Determinar se os seguintes enunciados do CQ so vlidos: a a a) x(P (x) Q(x)) xP (x) xQ(x) b) xP (x) xQ(x) x(P (x) Q(x))
160
5.2.14
Introduo do ca
Vamos determinar a validade dos seguintes argumentos, no CQ: Todos os naturais que so primos so a a mpares. 2 um natural primo. e Assim, existe um natural mpar.
x(P (x) y(Q(y) R(x, y))
a)
b)
x(P (x) y( S(x)
Q(y)) S(x))
P (b)
x(P (x) y(R(x, y)
Em tudo que segue, x ser uma varivel qualquer, t um termo qualquer do CQ e um a a enunciado qualquer do CQ. Regra de introducao do (-int, primeira versao) podemos concluir x. (t/x) x A partir de e (t/x)
A regra acima no preserva a verdade quando aplicada a enunciados do CQ, isto , a e existe ao menos um enunciado do CQ e um contexto onde (t/x) verdadeiro, mas x e falso. e Exemplo 43 Vericar a validade do seguinte argumento, no CQ: Existe um inteiro, tal que algum inteiro diferente si prprio. e o Isto bvio, pois 2 um inteiro. eo e E, alm disso, existe um inteiro diferente de 2. e Queremos dizer que, se uma propriedade P vale para algum termo t, ento existe um a elemento x que tem a mesma propriedade P . Assim, devemos assegurar que, se:
x
ento (t/x) e a substituio de x por t pode ser efetuada sem que a estrutura do a e ca enunciado seja alterada. Informalmente, a regra -el arma que s podemos concluir x a partir de (t/x) se o armar sobre x a mesma coisa que (t/x) armava sobre t. Regra de introducao do (-int, versao definitiva) em , ento a partir de e (t/x) podemos concluir x. a Se x substitu e vel por t
5.2. METODO DE ANALISE E S INTESE Se x substitu por t em , ento (t/x) . e vel a x
161
Exemplo 44
1. Determinar a validade dos seguintes argumentos, no CQ: Q(x) R(x))
x(P (x)
a)
x(P (x) S(x)) R(a) x( P (x) x(P (x)
S(a) Q(x)) Q(x))
b)
P (a) Q(a)
2. Determine se os seguintes enunciados do CQ so vlidos: a a a) x(P (x) Q(x)) xP (x) xQ(x) b) xP (x) xQ(x) x(P (x) Q(x))
5.2.15
Eliminao do ca
Em tudo o que segue, x uma varivel, t um termo e e so enunciados quaisquer e a a do CQ. A eliminao do baseada no seguinte princ ca e pio: Se existe um objeto a que satisfaz o enunciado (x) e t um nome para a, e ento podemos concluir o enunciado (t). a Exemplo 45 Determinar a validade dos seguintes argumentos, no CQ: Todos os gatos so animais. a Alguns gatos tm cauda. e Deste modo, alguns animais tm cauda. e Todos os professores calvos so legais. a Existe um professor calvo que bonito. e Logo, existe um professor que bonito e legal. e
a)
b)
Como os exemplos anteriores sugerem, o nome escolhido deve ser uma constante ou uma varivel. Assim, baseado no princ a pio, temos a seguinte regra: Regra de eliminacao do (-el, primeira versao) concluir . Se t uma constante ou uma e
varivel e a partir de e (t/x) podemos concluir , ento a partir de e x podemos a a
162
CAP ITULO 5. SISTEMA DEDUTIVO Se t uma constante ou varivel, ento (t/x) acarreta x . e a a
A regra acima no preserva a verdade, no CQ, isto , existe ao menos uma varivel x, a e a um termo t, um enunciado (t/x) do CQ e um contexto onde, se (t/x) for verdadeiro, ento ser verdadeiro, mas o fato de x ser verdadeiro no acarreta que seja vera a a dadeiro. Isto se d por vrios motivos: a a Exemplo 46 a) Ao efetuar a substituio, no podemos alterar a estrutura do enunca a
ciado. De fato, considere a seguinte sentena: c (1) Existe um inteiro, tal que todo inteiro positivo diferente dele. e Esta sentena verdadeira na aritmtica usual dos nmeros naturais, pois 0 um c e e u e inteiro e todo inteiro positivo diferente de 0. e No CQ, a sentena (1) pode ser simbolizada do seguinte modo: c (2) x(P (x) y(P (y) Q(y) y = x)). Aplicando a regra -el a (2), podemos derivar o enunciado: (3) P (y) y(P (y) Q(y) y = y). Aplicando agora a regra -el a (3), temos o enunciado: (4) y(P (y) Q(y) y = y), ou seja, todo inteiro positivo diferente de si mesmo que , seguramente, um enunciado e e falso na aritmtica usual dos nmeros naturais. e u Em resumo, a regra acima nos permite efetuar a seguinte derivaao: c P 1,-el 2,-el 1 2 3
x(P (x) y(P (y)
Q(y) y = x)) P (y) y(P (y) Q(y) y = y) y(P (y) Q(y) y = x)
Ou seja, provar que o argumento: Q(y) y = x)) y(P (y) Q(y) y = x)

x(P (x) y(P (y)
163
vlido, embora exista um contexto onde sua premissa verdadeira e a concluso e a e a e falsa. b) No podemos escolher um nome que j ocorra nas premissas. De fato, considere o a a seguinte enunciado:
(1) Dois par e existe um nmero que no par. e u a e
O enunciado acima no uma contradio, pois verdadeiro na aritmtica usual a e ca e e dos nmeros naturais. u Simbolizando o enunciado (1) no CQ, teremos:
(2) R(a) x(S(x) R(x))
Aplicando as regras de eliminao/introduo a (2), podemos construir a seguinte ca ca derivao: ca P 1,-el 1,-el 3,-el 4,-el 2,5,-int 1 2 3 4 5 6 R(a) x(S(x) R(x)) R(a) x(S(x) R(x)) S(a) R(a) R(a) R(a) R(a)
que prova que (1) uma contradio. e ca c) No podemos fazer armaes sobre o objeto que x(x) garante existir, baseados a co nas concluses obtidas, que possuem ocorrncias de seu nome. De fato, considere o o e seguinte argumento: (1) Existe um nmero par. u Logo, 2 um nmero par. e u
O argumento acima invlido embora possua premissa e concluso verdadeira e a a pois existe ao menos um contexto para (1) em que a premissa verdadeira e a e concluso falsa. a De fato, simbolizando o argumento (1) no CQ, teremos:
x(T (x)
(2)
U (x)) T (b) U (b)
164 Agora, considere o contexto para (2) onde: dom nio T (x) U (x) b : : : : {0, 1} x=0 x=0 1
Neste caso, temos que a premissa x(T (x) U (x)) verdadeira, pois a disjuno e ca (T (0) U (0)) (T (1) U (1)) verdadeira. No entanto, a concluso T (b) U (b) e a e falsa, pois T (1) e U (1) so ambos falsos. a Aplicando a regra -el a (2), podemos efetuar a seguinte derivao: ca P 1,-el que prova que (1) vlido. e a Na verdade, o enunciado (x), obtido a partir de x pela eliminao do , desemca penha a funo de uma premissa adicional que acrescentada `s outras premissas ca e a para que possamos tirar algumas concluses, usando o enunciado condicional. o Assim, quando aplicamos a regra -el, devemos respeitar ao menos as seguintes restries: co i) A substituio de x por t deve preservar a estrutura do enunciado (veja o Exemplo 1). ca ii) O termo que entra no lugar de x deve ser uma constante ou varivel que no ocorra a a livre nas premissas da derivao (veja o Exemplo 2). ca iii) A concluso a que se chega por aplicao da regra no deve possuir a varivel de a ca a a substiuio livre (veja o Exemplo 3). ca Regra de eliminacao do (-el, versao definitiva) varivel que satisfaz `s seguintes restries: a a co i) t no ocorre livre em , a ii) x substitu por t em , e vel iii) a partir de e (t/x) podemos concluir , iv) e t no ocorre livre em , a ento a partir de e x podemos concluir . a Sob as restries acima, se (t/x) , ento x . co a Na prtica, sempre que poss a vel, usamos uma constante. Assim, todas as restries so respeitadas de maneira imediata. co a 1 2
x(T (x)
U (x)) T (b) U (b)
Se t uma constante ou e
5.2. METODO DE ANALISE E S INTESE Exemplo 47 a) 1. Vericar a validade dos seguintes argumentos, no CQ:
165
x(P (x)
Q(x) S(x)) x(P (x) Q(x) R(x)) x(P (x) Q(x) S(x)) Q(x) S(x)) Q(x) R(x)) x(P (x) Q(x) S(x))
x(P (x) x(P (x)
b)
2. Vericar se os seguintes enunciados so vlidos, no CQ: a a a) x(P (x) Q(x)) xP (x) xQ(x) b) xP (x) xQ(x) x(P (x) Q(x))
166
Bibliograa
[1] W. Carnielli e L. R. Epstein, Computabilidade, funes computveis, lgica e co a o os fundamentos da matemtica, Editora UNESP, So Paulo, 2006. a a [2] R. Cori e D. Lascar, Mathematical Logic, a course with exercises, Oxford, New York, 2001. [3] H.-D. Ebbinghaus, J. Flum e W. Thomas, Mathematical Logic, Second Edition, Springer, Heidelberg, 1994. [4] H. B. Enderton, A mathematical introduction to logic, Second Edition, Academic Press, San Diego, 2001. [5] C. A. Mortari, Introduo ` lgica, Editora UNESP, So Paulo, 2001. ca a o a [6] J. Nolt e D. Rohatyn, Lgica, Makron Books, So Paulo, 1991. o a [7] F. C. Silva, M. Finger e A. C. V. Melo, Lgica para Computao, Thomson o ca Learning, So Paulo, 2006. a [8] J. N. Souza, Lgica para Cincia da Computao, Campus, Rio de Janeiro, 2002. o e ca [9] P. Suppes, Introduction to logic, Van Nostrand, New York, 1957.
167

Trigonometria

Uploaded by

Document Information

Original Description:

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Trigonometria

Uploaded by

Copyright:

Available Formats

Curso Bsico de Lgica Matemtica a o a

Renata de Freitas Petrucio Viana Verso preliminar a

Nmeros Primos e Compostos u

CAP ITULO 1. LOGICA SENTENCIAL

CAP ITULO 1. LOGICA SENTENCIAL

12 d) 2 par se, e somente se, 3 < 2. e e) 2 no par. a e

CAP ITULO 1. LOGICA SENTENCIAL

Sentenas atmicas e sentenas moleculares c o c

CAP ITULO 1. LOGICA SENTENCIAL

Classicao das sentenas moleculares ca c

Uma sentena atmica deve ser reescrita encerrada entre parnteses. c o e

CAP ITULO 1. LOGICA SENTENCIAL

Uma negao deve ser reescrita como ( ), onde a sentena negada, ca e c

a) A negao 7 no primo deve ser reescrita como ((7 primo)). De ca a e e

Uma conjuno deve ser reescrita como ( ), onde e so suas compoca a

nentes, previamente reescritas.

a) A conjuno 3 no primo nem maior que 0, ou seja, 3 no primo ca a e e a e

1.2. SINTAXE Disjunes co

Uma disjuno deve der reescrita como ( ), onde e so suas compoca a

nentes, previamente reescritas.

a) A disjuno 2 no maior que 0, ou 3 primo e 2 maior que 0 deve ca a e e e

Uma implicao deve ser reescrita como ( ), onde o antecedente e ca e

o conseqente, previamente reescritos. u

a) Considerando o signicado da sentena Joo vai ` praia sempre que c a a

Uma biimplicao deve ser reescrita como ( ), onde e so suas ca a

componentes, previamente reescritas.

CAP ITULO 1. LOGICA SENTENCIAL

CAP ITULO 1. LOGICA SENTENCIAL

A sentena pode ser simbolizada como: c

(Jlia feliz)) (Rafael feliz))). u e e Passo 5) ((p p: q: r:

A sentena pode ser simbolizada como: c

CAP ITULO 1. LOGICA SENTENCIAL

Regras de avaliao e tabelas de verdade dos conectivos ca

CAP ITULO 1. LOGICA SENTENCIAL

Uma conjuno verdadeira se suas componentes so simultaneamente verca e a

Uma disjuno falsa se suas componentes so simultaneamente falsas. E ca e a e

CAP ITULO 1. LOGICA SENTENCIAL

1.3. SEMANTICA Regra 5

Uma implicao falsa se seu antecedente verdadeiro e seu conseqente ca e e u e

36 b) 2 par ou 1 par V . e e e c) 1 par ou 2 primo V . e e e d) 1 par ou 3 par F . e e e

CAP ITULO 1. LOGICA SENTENCIAL

1.3. SEMANTICA c) Faz sol e no faz sol. a

1.3. SEMANTICA s V F ( s) F V (s ( s)) F F

De uma maneira geral, temos o seguinte resultado:

CAP ITULO 1. LOGICA SENTENCIAL

(Reduo do N mero de Parnteses) ca u e

Exemplo 48 Ao invs de ((p (p q)) q), escreveremos simplesmente: e (p (p q)) q.

Os parnteses em torno da negao no sero escritos. e ca a a

Exemplo 49 Ao invs de (( q) (p q)) ( p), escreveremos simplesmente: e ( q (p q)) p.

Exemplo 50 Ao invs de ( q (p q)) p, escreveremos simplesmente: e

Exemplo 51 Escreveremos (p q), pois escrevendo p q o se aplica somente ` a sentena p. c

Tautologias, Contingncias e Contradies e co

Principais exemplos de tautologias

1.5. EQUIVALENCIA TAUTOLOGICA m) p p n) (p p)

44 b) |= Prova: () Suponhamos que |=| .

CAP ITULO 1. LOGICA SENTENCIAL

CAP ITULO 1. LOGICA SENTENCIAL

O Mtodo das Tabelas de Verdade e

a) Considere o argumento: Se o co est latindo, o co no est na casa. Se o co est na casa, a a a a a a a

CAP ITULO 1. LOGICA SENTENCIAL

CAP ITULO 1. LOGICA SENTENCIAL 1 2 . . . m V F V V

a) De acordo com a tabela: p V V F F q V F V F pq V F V V p (p q) V F F F p (p q) q V V V V