1

CLCULO PROPOSICIONAL E TEORIA DA QUANTIFICAO

[O texto que se segue , em sua grande parte, uma traduo (livre) do livro de Mendelson Un introduction to mathematical logic, acrescentando-se algumas demonstraes, alguns exemplos e exerccios, bem como observaes retiradas de outros textos de lgica. O objetivo do mesmo ajudar ao aluno, facilitando o desenvolvimento das aulas e o aprendizado. Aconselhamos ao aluno no se limitar a este texto e consultar os autores indicados na bibliografia do programa diretamente em suas obras.]- Prof Maria Vilma F. de Lucena I) CLCULO PROPOSICIONAL I.1) Conectivos Proposicionais. Tabelas de verdade Vamos considerar somente combinaes verifuncionais, que so aquelas nas quais a verdade ou a falsidade da nova sentena determinada pela verdade ou falsidade de suas sentenas componentes. a) Negao: uma das operaes mais simples sobre sentenas. Embora uma sentena na linguagem natural possa ser negada de vrias maneiras, ns adotaremos um procedimento uniforme que o de colocar um smbolo para a negao, o smbolo ~ , em frente da sentena inteira. Assim, se A uma sentena, ento ~A denota a negao de A. O carter veri-funcional da negao mostrado pela seguinte tabela de verdade: A V F ~A F V

Quando A verdadeira, ~A falsa; quando A falsa, ~A verdadeira. Ns usamos V e F para denotar os valores de verdade verdadeiro e falso. b) Conjuno: Uma outra operao veri-funcional comum a conjuno: e. A conjuno de sentenas A e B ser designada por A B e tem a seguinte tabela de verdade:

A V V F F

B V F V F

AB V F F F

A B verdadeira quando e somente quando A e B so verdadeiras. A e B so chamados os conjuntivos de A B. Note que existem quatro linhas na tabela, correspondendo ao nmero de possveis assinalamentos de valores de verdade a A e B. c) Disjuno: Na linguagem natural, existem dois usos do ou, o inclusivo e o exclusivo. De acordo com o uso inclusivo, A ou B significa A ou B ou ambos, enquanto que para o uso exclusivo, o significado A ou B, mas no ambos. Ns introduziremos um smbolo especial, , para o conectivo inclusivo. Sua tabela de verdade a seguinte: A V V F F B V F V F AB V V V F

Assim, A B falsa quando e somente quando ambos A e B so falsos. A v B chamada uma disjuno, com os disjuntivos A e B. d) Condicional: Uma outra importante operao veri-funcional a condicional. Se A, ento B. O uso ordinrio no claro aqui. Claramente, Se A, ento B falso quando o antecedente A verdadeiro e o consequente B falso. Contudo, nos outros casos, no existem valores de verdade bem definidos. Por exemplo, as seguintes sentenas seriam consideradas nem verdadeiras nem falsas: (1) Se 1+1=2, ento Paris a capital da Frana. (2) Se 1+12, ento Paris a capital da Frana. (3) Se 1+12, ento Roma a capital da Frana.

Seus significados no so claros, pois ns estamos acostumados a afirmao de algum tipo de relao (usualmente causal) entre o antecedente e o conseqente. Ns faremos a conveno que Se A, ento B falsa quando e somente quando A verdadeira e B falsa. Assim, as sentenas (1)-(3) so assumidas serem verdadeiras. Vamos denotar Se A, ento B por AB. Uma expresso AB chamada uma condicional. Ento AB tem a seguinte tabela de verdade: A V V F F B V F V F AB V F V V

e) Bicondicional: Vamos denotar A se e somente se B por AB. Esta expresso chamada uma bicondicional. Claramente, AB verdadeira quando e somente quando A e B tm os mesmos valores de verdade. Sua tabela de verdade, portanto, : A V V F F B AB V V F F V F F V

Os smbolos ~, , , , sero chamados de conectivos proposicionais. Toda sentena construda por aplicao desses conectivos tem um valor de verdade que depende dos valores de verdade das sentenas constituintes. Para tornar esta dependncia clara, vamos aplicar o nome forma sentencial para uma expresso construda a partir das letras sentenciais, A, B, C, etc. por apropriadas aplicaes dos conectivos proposicionais. Mais precisamente: (1) Todas as letras sentenciais (letras maisculas do alfabeto romano) e tais letras com numerais subscritos (como por exemplo, A1 , A 2 , B5 ,...) so formas sentenciais. (2) Se e so formas sentenciais, ento (~), (), (), () e () so formas sentenciais.

(3) Somente so formas sentenciais aquelas expresses que so determinadas por meio de (1) e (2). Exerccio: D exemplos de formas sentenciais. Para cada assinalamento de valores de verdade V ou F s letras sentenciais que ocorrem numa forma sentencial, corresponde, em virtude das tabelas de verdade para os conectivos proposicionais, uma tabela de verdade para a forma sentencial. Assim, cada forma sentencial determina uma funo de verdade, que pode ser graficamente representada por uma tabela de verdade. Por exemplo, a forma sentencial (((~A)B)C) tem a seguinte tabela de verdade: A V V V V F F F F B V V F F V V F F
n

C V F V F V F V F

(~ A) ((~A)B) (((~A)B)C) F V V F V F F F V F F V V V V V V F V V V V V F

Se existe n letras distintas numa forma sentencial, ento existe 2 assinalamentos possveis de valores de verdade para as letras sentenciais e, portanto, 2n linhas na tabela de verdade. Uma tabela de verdade pode ser abreviada escrevendo somente a forma sentencial completa, colocando os valores de verdade das letras sentenciais embaixo de todas as ocorrncias dessas letras, e escrevendo, passo a passo, o valor de verdade de cada forma sentencial componente sob o conectivo principal da forma. Como um exemplo, para ((AB)((~A)B)), ns obtemos (( A B) (( ~ A) B)) VV V F FV FV V F F V FV FF F F V V VF VV F V F F VF FF Obs.: A partir deste ponto ser utilizada a conveno usual para eliminao de parnteses.

Exerccio: (1) Escreva as tabelas de verdade das formas sentenciais abaixo: (1.1) (A ~B) (~B ~ A) (1.2) (A B) ~ (~A ~ B). I.2) Tautologias Uma funo de verdade de n argumentos definida como uma funo de n argumentos, os argumentos e valores dos quais so os valores de verdade V ou F. Como j foi dito, toda forma sentencial determina uma correspondente funo de verdade. Uma forma sentencial que sempre verdadeira, no importando quais possam ser os valores de verdade de suas letras sentenciais, chamada uma tautologia. Uma forma sentencial uma tautologia se e somente se sua correspondente funo de verdade toma somente o valor de verdade V, ou equivalentemente, se, em sua tabela de verdade, a coluna abaixo do conectivo principal da forma sentencial contiver apenas Vs. Exerccio: (2) Verifique se as formas sentenciais abaixo so tautologias ou no e justifique a sua resposta: (2.1) (A B) A (2.2) (A B) (~B A) Se uma tautologia, se diz que implica logicamente , ou de outro modo, dita ser uma conseqncia lgica de . Exerccio: (3) Verifique se a forma sentencial (~A B) implica logicamente a forma sentencial (~B A) e justifique sua resposta. Se uma tautologia, se diz que e so logicamente equivalentes. Exerccio: (4) Verifique se as formas sentenciais (~A B) logicamente equivalentes e justifique sua resposta. (B ~A) so

Uma forma sentencial que falsa para todos os possveis valores de verdade de suas letras sentenciais chamada uma contradio. Sua tabela de verdade tem apenas Fs abaixo do conectivo principal. Note que uma forma sentencial uma tautologia se e somente se ~A for uma contradio, e vice-versa. Por meio de tabelas de verdade, ns temos procedimentos efetivos para determinar se uma forma sentencial uma tautologia, e para determinar se uma forma sentencial implica logicamente ou logicamente equivalente a uma outra forma sentencial. Proposio 1.1: Se e so tautologias, ento uma tautologia. Prova: (Por reduo ao absurdo) Assuma o seguinte: (1) uma tautologia (2) uma tautologia (3) no uma tautologia Ento, pela hiptese (3), toma o valor F para algum assinalamento de valor de verdade s suas letras sentenciais. Como pela hiptese (1) sempre toma o valor V para qualquer assinalamento de valores de verdade s suas letras sentenciais, ento, em alguma assinalamento de valores para as letras sentenciais de e , toma o valor V e toma o valor F e, portanto, toma o valor F. Mas, isto contradiz a hiptese (2). Logo, no pode tomar o valor F e assim, uma tautologia. Proposio 1.2 Se uma tautologia contendo como letras sentenciais A1, A2, A3,...,An e vem de por substituir A1, A2,....,An por formas sentenciais 1, 2,...,n, respectivamente, ento uma tautologia; ou seja, substituio em uma tautologia produz uma tautologia. Exemplo: Seja : (A1 A2) (A1 A2) - Tautologia Seja 1: (B C) Seja 2: (C D) Ento, : ((B C) (C D)) ((B C) (C D)) - Tautologia Prova: Tome como hipteses:

(1) uma tautologia contendo como letras sentenciais A1, (2) vem de substituindo A1, A2,...,An por formas sentenciais 1, 2,...,n, respectivamente Devemos provar que uma tautologia. Para qualquer assinalamento de valores de verdade s letras sentenciais de , as formas sentenciais 1,...,n tem os valores de verdade x1,...,xn (onde cada xi V ou F). Se ns assinalarmos os valores x1,...,xn para 1,...,n, respectivamente, ento o valor de verdade resultante de o valor de verdade de para o dado assinalamento de valores de verdade. Uma vez que uma tautologia, pela hiptese (1), esse valor deve ser V. Logo, sempre toma o valor V e portanto uma tautologia. Para o exemplo dado acima : : (A1 A2) ( A1 A2) (x1) F V(x2) (x1) F V (x2) F V V ( para este assinalamento) : ((B C) (C D)) ((B C) (C D)) V F F V V F F V (x1) F V (x2) (x1) F V (x2) - Tautologia - Tautologia A2,...,An

F V

Proposio 1.3: Se 1 vem de 1 por substituir por uma ou mais ocorrncias de , ento ( ) (1 1) uma tautologia. Portanto, se

e so logicamente equivalentes, ento 1 e 1 so logicamente equivalentes. Exemplo: Seja : AB Seja : A B

((4 3 123 ( B 1 4 B ( A 24 A B A 2B)) 1 24 ) A 4 4 B)) 4 3 1 B)) 4 3

14 244 4 3
1

14 244 4 3
1

Prova: Considere qualquer assinalamento de valores de verdade para as letras sentenciais. Vamos considerar dois casos: 1) e tem valores de verdade opostos nesse assinalamento: Ento, toma o valor F. Portanto, ( B) ( 1 1) toma o valor V 2) e tem os mesmos valores de verdade. Ento 1 e 1 tem tambm os mesmos valores, j que 1 difere de 1 somente por conter em alguns lugares onde 1 contm . Assim, neste caso, V e 1 1 tambm V. Logo, (( ) (1 1)) V.

Dualidade: (No Mendelson (1.26 (a)):

Se uma forma sentencial envolvendo somente ~, e , e ' vem de pela substituio de cada por e cada por , mostre que: (I) uma tautologia se e somente se ~' uma tautologia. (II) Se uma tautologia ento ' ' uma tautologia. (III) Se uma tautologia ento ' ' uma tautologia. Prova de (I) () : Provaremos que, se uma tautologia, ento ~' uma tautologia Assumiremos como hiptese: uma tautologia Provaremos: ~' uma tautologia

Se uma tautologia (por hiptese), substitumos todas as letras sentenciais de por suas negaes. Ento obtemos uma tautologia (pela proposio 1.2). Depois jogamos para fora todas os novos smbolos de negao (usando equivalncias). O resultado ~' e uma tautologia. Exemplo: A ~A - Tautologia Substituindo as letras sentenciais por suas negaes, fica : ~ A ~~A. Jogando os novos smbolos de negao para fora (usando equivalncias), temos: ~ (A ~A) ' ( ): Provaremos que, se ~' uma tautologia ento uma tautologia Assumiremos como hiptese: ~' uma tautologia Provaremos: uma tautologia. Se ~' uma tautologia, seja , ~'. Pela 1 parte, como uma tautologia (por hiptese), temos que ~' uma tautologia. Mas ~' ~~. Portanto, uma tautologia. Entendendo melhor, atravs de um exemplo (tomando o exemplo anterior): ~' ~ ( A ~ A ) - Tautologia Chame ~' de , isto , ~ ( A ~ A ) . Ento ' ~ ( A ~ A) Assim, ~' ~~( A ~A) Ora, pela 1 parte, se uma tautologia, ento ~' tambm uma tautologia. Mas, ~' ~~, e ~~ equivalente a . Logo, uma tautologia. Prova de (II): equivalente a ~ que por sua vez equivalente a ~ . Esta forma sentencial s constituda de ~, , , e uma tautologia (por hipteses). Chame a forma ~ de . Ora, ' vem de trocando por e vice-versa. Ento, ' ' ~ '. Pela parte (I) j provada, se uma tautologia, ento ~' uma tautologia, isto , ~ (' ~') uma tautologia. Usando equivalncias, temos que ~ (' ~') equivalente a ' '. Mas, isto o que queremos provar.

10

Vamos mostrar um exemplo: Seja a forma sentencial (A ~A) (B C) - Tautologia. Usando equivalncias, temos: ((A ~ A) (B C)) (~(A ~A) (B C)) ((B C) ~(A ~A)). Chame (B C) ~(A ~A) de e lembre-se que uma tautologia. Ento ' (B C) ~(A ~A). Pela parte (I), ~' uma tautologia j que tautologia. Isto , ~((B C) ~(A ~A)) uma tautologia. Mas, esta forma sentencial equivalente a (B C) (A ~A), isto , ' '. Logo, ' ' uma tautologia. Prova de (III): Tente provar a parte (III), lembrando-se que equivalente a ( ) ( ). Exerccios: 5) ~(A B) B e uma tautologia. Mostre que ~' tambm uma tautologia. 6) ~' ~(~(A B) B) e uma tautologia. Mostre que uma tautologia. 7) Seja : (A B) (B A) - Tautologia. Mostre que ' ' uma tautologia. 8) Seja : (A B) (B A) - Tautologia. Mostre que ' ' uma tautologia. Nas formas sentenciais constitudas somente de , , ~, podemos derivar uma equivalncia lgica a partir de outra equivalncia lgica, seguindo os procedimentos abaixo: a) Nega os dois lados da bicondicional (continua sendo uma tautologia) b) Troca todas as letras sentenciais por suas negaes(uso da Proposio1.2) c) Usa De Morgan quantas vezes sejam necessrias. Vejamos um exemplo: Derive (A (B C)) ((A B) (A C)) a partir de (A (B C)) ((A B) (A C)). Ento, comeamos com (A (B C)) ((A B) (A C)) e seguimos os procedimentos ditos acima:

11

(a) Nega os dois lados da bicondicional: ~(A (B C)) ~((A B) (A C)) (b) Troca todas as letras sentenciais por suas negaes: ~(~A (~B ~C)) ~((~A ~B) (~A ~C)) (c) Usa De Morgan: (c.1) (A ~ (~B ~ C)) (~(~A ~B) ~(~A ~C)) (c.2) (A (B C)) ((A B) (A C)) - Esta a equivalncia desejada no incio do exerccio. Exerccios: (9) Derivar (A B) (B A) a partir de (A B) (B A). (10) Derivar ((A B) ~B)(A ~B) a partir de ((A B)~B) (A~B) Se uma forma sentencial envolvendo somente ~, , , ento chamamos * a forma sentencial resultante de trocarmos por e vice-versa e substituirmos cada letra sentencial por sua negao.Ento, * equivalente a ~ (Mendelson prova esta proposio no exerccio 1.26(c), mas aqui vamos apenas aplic-la, utilizando alguns exemplos). Exemplo: Considere a forma sentencial abaixo: (~A ~B) ~C - Chame esta forma sentencial de Ento: (1) * (~~A ~~B) ~~C) (2) ~ ~((~A ~B) ~C)) Pelo que foi dito na proposio acima, (1) e (2) so equivalentes e isto pode ser mostrado atravs de tabela de verdade ou pelo uso de equivalncias. Exerccios: (11) Considere a forma sentencial abaixo: (A ~ B) ~C - Chame-a de . (11.a) Identifique * (11.b) Identifique ~ (11.c) Mostre que * e ~ so equivalentes. (12) Seja a forma sentencial: (A ~B) A (~C (A C)). Descubra uma forma sentencial equivalente negao de , na qual ~ aplica-se somente letras sentenciais.

12

Conjuntos adequados de conectivos Toda forma sentencial contendo n letras sentenciais gera uma correspondente funo de verdade de n argumentos e esta funo de verdade pode ser exposta por meio de uma tabela de verdade. Tambm pode-se provar que para toda funo de verdade dada existe uma forma sentencial que a determina e esta forma sentencial envolve apenas os conectivos ~, , . (Mendelson prova isto na Proposio 1.4) Por um conjunto adequado de conectivos entende-se ser uma coleo de conectivos tal que toda funo de verdade determinada por uma forma sentencial nos conectivos de . Ento, pelo que foi dito acima, {~,,} um conjunto adequado de conectivos. Como um corolrio do resultado acima, pode-se provar que toda funo de verdade corresponde a uma forma sentencial contendo como conectivos somente e ~, ou somente e ~, ou somente e ~. Isto , cada um dos conjuntos {~,}, {~,} e {~,} um conjunto adequado de conectivos. Exerccios: (13) Seja a forma sentencial (~A ~B) (~A ~C). Encontre uma forma sentencial com somente , ~ equivalente a . (14) A partir de (A B) (~B ~B) encontre uma forma sentencial equivalente com somente ,~. (15) A partir da forma (~A B) ~C encontre uma forma sentencial equivalente com somente ~,. Formas normais disjuntivas (FND) e Formas normais conjuntivas (FNC) Uma forma sentencial est em forma normal disjuntiva (FND) se ela uma disjuno consistindo de um ou mais disjuntos, cada um dos quais uma conjuno de uma ou mais letras sentenciais e negaes de letras sentenciais. Ex.: (A B) (A C); (A B C) (C ~B) (A ~C); A; A B; A (B C).

13

Uma forma sentencial est em forma normal conjuntiva (FNC) se ela uma conjuno de um ou mais conjuntos, cada um dos quais uma disjuno de uma ou mais letras sentenciais e negaes de letras sentenciais. Ex.: (B ~ C) (A D); A (B A) (~B A); A; A B; A ~B. Obs: Letras sentenciais e suas negaes so consideradas como conjunes ou disjunes degeneradas. Mendelson prova na Proposio 1.4 que qualquer forma sentencial logicamente equivalente a uma forma sentencial em forma normal disjuntiva. Pode-se achar esta forma sentencial por tabela de verdade ou usando equivalncias. Vejamos um exemplo: Seja : ((A B) ~B Faa a tabela de verdade: A V V F F B V F V F ~B F V F V AB V V V F (A B) ~B F V F V

Considere somente os valores V abaixo do conectivo principal e pegue os valores das letras sentenciais correspondentes. Se o valor abaixo da letra for V considere a letra afirmada, se o valor for F negue a letra sentencial. Ento, no exemplo acima, vamos considerar somente as linhas 2 e 4 da tabela. A forma sentencial em forma normal disjuntiva equivalente a : (A ~B) (~A ~B). Uma outra maneira de obter a FND usar equivalncias. Considerando a mesma forma sentencial , temos: 1) (A B) ~B 2) ~(A B) ~B - de 1/ por Implicao Material 3) (~A ~B) ~B - de 2/ por De Morgan. Observe que as formas sentenciais em FND obtidas por tabela de verdade e por equivalncias so equivalentes entre si e tambm so equivalentes a . Vejamos as tabelas de verdade:

14

(A ~) (~A ~B) A B ~A ~B A ~B V V F F F V F F V V F V V F F F F V V F

~A ~B (A ~B) (~A ~B) F F F V F F V V

(~A ~B) ~B A B ~A ~B ~A ~B (~A ~B) ~B V V F F F F V F F V F V F V V F F F F F V V V V Pela Proposio 1.4 vimos que qualquer forma sentencial logicamente equivalente a uma forma sentencial em forma normal disjuntiva. Podemos observar que tambm equivalente a uma forma sentencial em forma normal conjuntiva e esta forma sentencial em FNC pode tambm ser obtida por tabela de verdade ou usando equivalncias. Vejamos como proceder pela Tabela de Verdade: Seja a mesma frmula considerada anteriormente: (A B) ~B. Sua tabela j est feita mais acima. Vimos que equivalente forma sentencial (A ~B) (~A ~B) que est em FND e foi obtida por tabela de verdade. Na tabela de verdade, encontre os valores de verdade para ~ e encontre a FND equivalente a ~. Ento, temos: ~ ((A B) (~A B) - em FND Agora, negue os dois lados da bicondicional: ~~ ~((A B) (~A B)) Use, agora, equivalncias: (~(A B) ~(~A B)) ((~A ~B) (A ~B)) - em FNC Uma maneira mais simples de obter a FNC pela tabela de verdade ir direto na tabela da forma sentencial , pegar somente os casos de F abaixo do conectivo principal, e ao construir os conjuntivos considerar as letras sentenciais da seguinte maneira: Se a letra sentencial toma valor V na tabela ento nega-se esta letra e se ela toma valor F, afirma-se esta letra. Veja a tabela de verdade para , do exemplo anterior, isto , a tabela de (A B) ~B. Pegue os casos de F abaixo do conectivo principal, ou seja, pegue as linhas 1 e 3 da tabela de verdade. Na linha 1, as letras sentenciais A e B tomam valor V. Para construir o primeiro conjuntivo tome

15

estas duas letras negadas, ficando ento ~A ~B. Na linha 3, A F e B V, ento toma-se, para construir o segundo conjuntivo, A afirmado e B negado, ficando ento A ~B. Portanto, a forma sentencial em FNC obtida foi (~A ~B) (A ~B) e equivalente a . Observe que foi a mesma forma sentencial obtida no procedimento anterior, que tambm por tabela de verdade, mas aplicada a ~. Exerccios: (16) Seja : (~A ~B) B 16.a) Pela Proposio 1.4, equivalente a uma forma sentencial em FND. Por aplicar este resultado a ~, mostre que equivalente tambm a uma forma sentencial em FNC. 16.b) Encontre, pela tabela de verdade (direto), a forma sentencial em FNC equivalente a . (17) Descubra formas sentenciais em FNC e em FND equivalentes forma sentencial abaixo (usando proposio 1.4 ou usando equivalncias): ~(A B) (~A C) Vamos chamar uma letra sentencial A e sua negao ~A de literais com a letra A. Uma forma normal disjuntiva chamada completa (FNDC) se nenhum disjunto contm duas ocorrncias de literais com a mesma letra e, se uma letra ocorre em um disjunto tambm ocorre em todos os outros. Ex: (A B C) (~A B C) (~A ~B C) Uma forma normal conjuntiva chamada completa (FNCC) se nenhum conjuntivo contm duas ocorrncias de literais com a mesma letra e, se uma letra ocorre em um conjuntivo tambm ocorre em todos os outros. Observe que o procedimento por tabela de verdade vai nos dar sempre FNDC e FNCC. Podemos provar que toda forma sentencial que no uma tautologia logicamente equivalente a uma forma normal conjuntiva completa . Vamos dar o procedimento de prova, acompanhando com um exemplo. Seja a forma sentencial ~(AB) (~A C)

16

1) Resolva em forma normal conjuntiva D1 D2 ..... Ds usando equivalncias . 1.1) ~(~A B) (~A C) - IM 1.2) (A ~B) (~A C) - DM 1.3) (A ~A) ( A C) (~B ~A) (~B C) - DIST. 2) Por hiptese no uma tautologia. Portanto, existe ao menos um Di (1=i=s) que no possui uma letra sentencial junto com sua negao. - O exemplo confirma. 3) Por equivalncias do tipo ( ( ~)) , pode-se eliminar todos os Dis nos quais uma letra ocorre afirmada e negada. - No exemplo eliminado o primeiro conjuntivo, isto , D1, ficando ento: (A C) (~B ~A) (~B C) 4) Pode-se tambm, por equivalncias do tipo ( ) eliminar as repeties de letras. - No exemplo no h casos deste tipo.
/ 5) Assim, sobram coisas do tipo D1 ..... D /k , onde cada D /j uma

disjuno de diferentes letras, cada uma das quais pode estar afirmada ou negada. - O exemplo confirma. 6) Agora, pega-se cada D /j e faz-se com que nele apaream todas as letras, da seguinte maneira: D /j ( X1 ~ X1 ) ( X 2 ~ X 2 ) ..... ( X k ~ X k ) ,
onde os Xis so letras que no esto em D /j . - No exemplo, temos: (A C) - falta a letra B, ento faz-se: (A C) (B ~B) (~B ~A) - falta a letra C: (~B ~A) (C ~ C) (~B C) - falta a letra A : (~B C) (A ~A) 7) Aplica-se distribuio e obtm-se como resultado final a forma sentencial , isto , uma forma sentencial em FNCC. - Desenvolvendo no exemplo: (A B C) (A ~B C) (~A ~B C) ( ~A ~B ~ C) ( A ~B C) (~A ~B C). Cortando os conjuntivos repetidos, obtemos: (A B C) (~A ~B C) (A ~B C) (~A ~B ~ C) - FNCC

17

Exerccio: (18) Prove que cada forma sentencial que no uma contradio logicamente equivalente a uma forma sentencial em FNDC. (Dar um exemplo, mostrando os passos da prova) (19) Descubra FNC e FND equivalentes a (A ~B) (~C ~B) e (A B) (~B C), usando equivalncias. Depois, transforme (se for o caso) as FNC e FND em FNCC e FNDC. UM SISTEMA AXIOMTICO PARA O CLCULO PROPOSICIONAL

Tabelas de verdade nos permitem responder maior parte das questes significativas concernentes aos conectivos veri-funcionais, tais como se uma dada forma sentencial uma tautologia, uma contradio, ou nenhuma das duas, e se uma forma sentencial implica logicamente ou logicamente equivalente a alguma outra forma sentencial. As partes mais complexas da lgica (as quais sero estudadas mais adiante) no podem ser tratadas por tabelas de verdade ou por qualquer outro procedimento efetivo similar. Consequentemente, uma outra abordagem, por meio de teorias formais, dever ser tentada. Embora, como j foi visto, o clculo proposicional se rende completamente ao mtodo de tabela de verdade, ser instrutivo ilustrar o mtodo axiomtico nesse ramo simples da lgica. Uma Teoria Formal S (Axiomtica ou no) definida quando as seguintes condies so satisfeitas: (1) Um conjunto contvel de smbolos dado como os smbolos de S (Um conjunto contvel se ele finito ou infinito enumervel). Uma seqncia finita de smbolos de S chamada uma expresso de S. (2) Existe um subconjunto de expresses de S chamado o conjunto das frmulas bem formadas de S (abreviado fbfs). Em outras palavras, do conjunto das expresses tira-se as frmulas bem formadas de S. Existe usualmente um procedimento efetivo para se determinar se uma dada expresso ou no uma fbf.

18

(3) Do conjunto das fbfs de S, seleciona-se um subconjunto de fbfs que so os axiomas de S. Frequentemente, pode-se decidir de modo efetivo se uma dada fbf ou no um axioma, e num tal caso, S chamada uma teoria axiomtica. (4) Existe um conjunto finito R1,....,Rn de relaes entre fbfs, chamadas regras de inferncia. Sobre essa parte, vamos ver agora algumas observaes retiradas do livro Mathematical Logic (Shoenfield). A primeira parte de um sistema (ou teoria) formal sua linguagem. Para especificar uma linguagem, deve-se primeiramente especificar seus smbolos. A maior parte de nossas linguagens artificiais tero conjuntos enumerveis de smbolos. Qualquer sequncia finita de smbolos de uma linguagem chamada uma expresso daquela linguagem. entendido que um smbolo pode aparecer vrias vezes numa expresso; cada tal apario chamada uma ocorrncia daquele smbolo naquela expresso. O nmero de ocorrncias de smbolos numa expresso chamado o comprimento daquela expresso. (Considera-se uma seqncia vazia de smbolos como uma expresso: ela somente uma expresso de comprimento zero). Muitas das expresses so sem sentido. Entre as expresses que tm sentido esto as sentenas declarativas, que podem ser descritas como aquelas expresses que afirmam algum fato. Requer-se- que em cada linguagem, certas expresses sejam designadas como as frmulas bem formadas da linguagem (fbfs). entendido que estas so as expresses que asseveram algum fato. Considera-se que uma linguagem est completamente especificada quando seus smbolos e frmulas so especificados. Isto torna a linguagem um objeto puramente sinttico. Naturalmente, muitas das nossas linguagens tero um significado (ou muitos significados), mas, o significado no considerado ser uma parte da linguagem. A outra parte de um sistema formal consiste de seus axiomas. A nica exigncia aqui que cada axioma seja uma fbf da linguagem do sistema formal.

19

Uma outra parte de um sistema formal nos permitir concluir teoremas a partir de axiomas. Esta parte realizada pelas regras de inferncia. Cada regra de inferncia enuncia que sob certas condies, uma fbf, chamada a concluso da regra, pode ser inferida de certas outras fbfs, chamadas as hipteses (ou premissas) da regra.

Voltando ao Mendelson: Uma demonstrao em S uma sequncia finita de fbfs A1,...,An tal que para cada i, ou Ai um axioma ou Ai foi obtido de fbfs precedentes na sequncia por meio de uma regra de inferncia. Teorema a ltima fbf da demonstrao. Em outras palavras, um teorema de S uma fbf A de S tal que existe uma demonstrao, a ltima fbf da qual A. Uma tal demonstrao chamada uma demonstrao (ou prova) de A. Todo axioma um teorema (Ver definio de demonstrao). Mesmo que S seja axiomtica (isto , mesmo que exista um procedimento efetivo para decidir se qualquer fbf dada ou no um axioma ), a noo de teorema no necessariamente efetiva, uma vez que, em geral, no existe mtodo mecnico (procedimento efetivo) para determinar, dada qualquer fbf A, se existe ou no uma prova de A. Uma teoria para a qual existe um tal mtodo mecnico dita ser decidvel; em caso contrrio, ela chamada indecidvel. Uma teoria decidvel , grosseiramente falando, aquela para a qual uma mquina pode ser projetada para para testar se fbfs so ou no teoremas, enquanto que numa teoria indecidvel criatividade requerida para determinar se fbfs so teoremas. Uma fbf A uma consequncia em S de um conjunto de fbfs se e somente se existir uma sequncia A1,...,An de fbfs tal que: (1) An a fbf A (isto , An = A), e (2) para cada i, ou Ai ou Ai um axioma ou Ai foi obtida de algumas das fbfs precedentes da sequncia por meio de uma regra de inferncia . Uma tal sequncia A1,....,An chamada uma deduo de A a partir de . Os elementos de so chamados as hipteses ou premissas da deduo.

20

Observaes sobre notao: a) A (abreviao para A uma consequncia de ) b) S A ( para evitar confuso quando lidamos com mais de uma teoria. Adicionamos o subscrito para indicar a teoria em questo) c) Se um conjunto finito {B1,....,Bn}, escrevemos B1,....,Bn A ao invs de {B1,....,Bn} A. d) Se um conjunto vazio ento A ou A . Assim A se e somente se A for um teorema. Assim, A outra maneira de dizer que A um teorema. Propriedades da noo de consequncia: (1) Se e A ento A . (Essa assero representa o fato de que se A demonstrvel a partir de um conjunto de premissas ento se ns adicionarmos ainda mais premissas, A ainda demonstrvel.) (2) A se e somente se existir um subconjunto finito de tal que A 1 lado: Se A ento existe um subconjunto de tal que A. (Essa parte bvia pois j sabemos que qualquer demonstrao de A a partir de usa somente um nmero finito de premissas de ) 2 lado: Se existe um subconjunto finito de tal que A ento A. (Essa parte imediata pela propriedade (1)). (3) Se A e para cada B, B, ento A. ( B1, B2,...., Bn,.....Ento, se deduz todos os elementos de e deduz A, ento deduz A. Isto , se A demonstrvel a partir de premissas em e cada premissa em demonstrvel das premissas em , ento A demonstrvel a partir das premissas em ). Outras propriedades (retiradas metamatematica, de Kleene): do livro Introduccion a la

(4) Se A ento A (De outra maneira: A quando A faz parte da lista de ). (5) Se A ento A (Se A demonstrvel a partir de um conjunto vazio de premissas, A demonstrvel a partir de qualquer conjunto de premissas).

21

(6) Se A e A B ento B Vamos agora introduzir uma teoria formal axiomtica L para o Clculo Proposicional. I) Linguagem de L I.1) Conjunto enumervel de smbolos: - conectivos primitivos: , - smbolos auxiliares: ( , ) - letras sentenciais: A1, A2, A3,.... I.2) Regras de formao (Definio de fbfs) I.2.1) As letras sentenciais so fbfs; I.2.2) Se A e B so fbfs, ento (A) e (A B) so fbfs. (Assim, uma fbf de L justo uma forma sentencial construda a partir das letras sentenciais Ai por meio dos conectivos e ). I.2.3) Uma expresso uma fbf somente se ela pode ser mostrada ser uma fbf com base nas clusulas (I.2.1) e (I.2.2). II) Axiomas (Esquemas): Se A, B, C so fbfs quaisquer de L ento os seguintes so axiomas de L. (A1) (A (B A)) (A2) ((A (B C)) ((A B) ( A C))) (A3) (((B) (A)) (((B) A) B)) Usando a conveno usual de eliminao de parnteses, temos: (A1) A (B A) (A2) (A (B C)) ((A B) ( A C)) (A3) (B A) ((B A) B) Continuaremos a usar a conveno para eliminar parnteses.

22

III) Regras de Inferncia: A nica regra de inferncia de L Modus Ponens: B uma consequncia direta de A e A B. Isto , A, A B B. Definies: A B = def. (A B) ( (A B) uma abreviao para (A B)) A B =def. A B A B =def. (A B) (B A) Note que um conjunto infinito de axiomas de L dado por meio dos trs esquemas de axiomas (A1) - (A3), cada esquema representando um nmero infinito de axiomas. Pode-se facilmente verificar para qualquer fbf dada se ela ou no um axioma. Portanto, L axiomtica. Observaes: (1) Quando dizemos (A B) uma abreviao para (A B) ns entendemos que (A B) para ser tomada como um outro nome (na linguagem que est sendo usada para falar sobre L) para a expresso (A B). (2) A palavra prova usada em dois sentidos distintos. Primeiro, ela tem um significado preciso definido anteriormente como um certo tipo de seqncia finita de fbfs de L. Contudo, em outro sentido, ela tambm designa certas seqncias da Lngua Portuguesa (suplementada por vrios termos tcnicos) que so supostas para servir como um argumento justificando alguma assero sobre a linguagem L (ou outras teorias formais). Em geral, a linguagem que ns estamos estudando (neste caso L) chamada a linguagem objeto, enquanto a linguagem na qual ns formulamos e provamos resultados sobre a linguagem objeto chamada a metalinguagem. A metalinguagem poderia tambm ser formulada e tornada o objeto de estudo, a qual ns estudaramos numa metametalinguagem , e assim por diante.

23

Contudo, usaremos em nosso caso, o portugus como nossa metalinguagem (no formalizada). A distino entre prova e metaprova (isto , uma prova na metalinguagem) leva-nos a uma distino entre teoremas da linguagem objeto e metateoremas da metalinguagem. Para evitar confuso, geralmente usamos proposio ao invs de metateorema. (3) Para o restante do captulo, a menos que algo contrrio seja dito, ser omitido o subscrito L em L. Tambm ser usado , A B no lugar de {A} B. Em geral, ns estabelecemos , A1,...,An B para representar {A1,....,An} B. Exerccios: 1) D 5 frmulas de L. 2) D 5 axiomas de L. Alguns Teoremas: Lema 1.7: Para qualquer fbf A, A A Prova: 1) ( A (( A A ) A ))(( A ( A A )) (A A ) A2 2) A ((A A ) A ) - A1 3) ( A ( A A )) ( A A ) - 1,2 / MP 4) A ( A A ) - A1 5) A A - 3,4 / MP Exerccio 1.45 (Provar): 1.45 (a): (A A ) A Prova: 1) (A A ) (( A A ) A ) - A3 2) A A - Lema 1.7 3) (A A ) A - 1,2 / MP 1.45 (b): A B , B C A C ( Transitividade do ) Prova: 1) A B - Hiptese

24

2) B C - Hiptese 3) (A ( B C )) (( A B ) ( A C )) - A2 4) ( B C ) ( A ( B C )) - A1 5) A ( B C ) - 2,4 / MP 6) ( A B ) ( A C ) - 3,5 / MP 7) A C - 1,6 / MP 1.45(c): A ( B C ) B ( A C ) - (Troca de Premissas) Prova: 1) A ( B C ) - Hiptese 2) ( A ( B C )) (( A B ) ( A C )) - A2 3) ( A B ) ( A C )) - 1,2 / MP 4) B ( A B ) - A1 5) B ( A C ) - 3,4 / 1.45 (b) 1.45 (d): ( B A ) ( A B ) Prova: 1) ( B A ) (( B A ) B ) - A3 2) A ( B A ) - A1 3) ( B A ) (( B A ) B ) - 1 / 1.45(c) 4) A (( B A ) B ) - 2,3 / 1.45(b) 5) ( B A ) ( A B ) - 4 / 1.45(c) Proposio 1.8 (Teorema da Deduo) (Demonstrado pela 1 vez por Herbrand, 1930) A B. Se um conjunto de fbfs e A e B so fbfs e , A B ento Em particular, se A B ento A B

Observaes: (1) , A B a deduo dada de B a partir de , A. A deduo dada (ou hiptese do teorema) diz que existe uma sequncia de fbfs B1,....,Bn tal que cada Bi ou uma das fbfs de , ou a frmula A, ou um axioma, ou uma consequncia imediata de fbfs precedentes por Regras de Inferncia (neste caso Modus Ponens); e a ltima fbf da sequncia a fbf B ( isto , Bn = B ).

25

(2) A B a deduo resultante de A B a partir de . A deduo resultante (ou concluso do teorema) diz que existe uma sequncia finita de fbfs B1,....,Bn onde cada fbf da sequncia, isto , dada Bi ou uma das fbfs de , ou um axioma, ou uma consequncia imediata por Regra de Inferncia (neste caso M.P.) de fbfs precedentes da sequncia; e a ltima fbf da sequncia A B (isto , Bn = A B). Vamos demonstrar novamente os teoremas 1.45(b), (c), (d), agora utilizando o teorema da deduo. Observe como as demonstraes ficam mais fceis. 1.45(b): A B , B C A C ( Este o Corolrio 1.9(a) mais adiante no
livro)

Prova: 1) A B - Hiptese 2) B C - Hiptese 3) A - Hiptese 4) B - 1,3 / MP 5) C - 2,4 / MP 6) A B , B C , A C - 1-5 7) A B , B C A C - 6 / Teorema da deduo (TD) 1.45(c): A ( B C ) B ( A C ) Prova: 1) A ( B C ) - Hip. 2) B - Hip. 3) A - Hip. 4) B C - 1,3 / MP 5) C - 2,4 / MP 6) A ( B C ) , B , A C 1-5 7) A ( B C ) , B A C - 6 / TD 8) A ( B C ) B ( A C ) - 7/ TD 1.45(d) ( B A ) ( A B ) Prova: 1) B A - Hip. 2) A - Hip. 3) ( B A ) (( B A ) B ) - A3 ( Este o Lema 1.10(d) mais na frente
no livro )

26

4) A ( B A ) - A1 5) ( B A ) B - 1,3 / MP 6) B A - 2,4 / MP 7) B - 5,6 / MP 8) B A , A B - 1-7 9) ( B A ) ( A B ) - 7/ TD ( 2 vezes) Corolrio 1.9 (b): A ( B C) , B A C Prova: 1) A ( B C) - Hip. 2) B - Hip. 3) A - Hip. 4) B C - 1,3 / MP 5) C - 2,4 / MP 6) A ( B C ), B , A C 1-5 7) A ( B C ) , B A C 6/ TD Refaa todas as provas do Lema 1.10 que j esto feitas no livro, tentando entender cada uma. Exerccio 1.46: Mostre que os seguintes so teoremas de L. 1.46(a) A ( A B ) , isto , A ( A B ) 1.46(b) A ( B A ) 1.46(c) (B A ) ( A B ) 1.46(d) ( A B ) A , isto , ( A B ) A 1.46(e) ( A B ) B 1.46(f) ( A C ) (( B C ) (( A B) C )) 1.46(g) (( A B ) A ) A ( Lei de Peirce) 1.46(h) A ( B ( A B )) Vamos demonstrar algumas regras derivadas que a partir de agora podem auxiliar nas demonstraes que viro mais na frente. Regras Derivadas: RD1 : A , B A B (Conjuno, ou - int. ) Prova:

27

1) A - Hip. 2) B - Hip. 3) A ( B ( A B )) - T. 1.46(h) 4) B ( A B ) - 2,4 / MP 5) A B - 2,4 / MP 6) A , B A B -1-5 RD2: A B A ( Separao, ou - elim. ) ABB

Prova: 1) A B - Hip. 2) ( A B ) A - 1.46(d) 3) A - 1,2 / MP 4) A B A - 1-3 1) A B - Hip. 2) (A B ) B - 1.46(e) 3) B - 1,2 / MP 4) A B B - 1-3

Ser dada a seguir uma lista de teoremas do sistema L. importante que se tente demonstrar alguns teoremas da lista pois assim o sistema ficar bastante familiar e no se ter dificuldades em trabalhar depois sistemas equivalentes, bem como outros sistemas formais. T1) ( A B) ( B A ) T2) (( A B ) C) ( A ( B C)) - Lei de exportao T3) ( A C ) (( B D ) (( A B ) ( C D ))) T4) ( A B ) (( A C ) ( A ( B C))) T5) ( A ( B C )) (( A B ) C ) - Lei de importao T6-a) ( A B ) (( A C ) ( B C )) T6-b) ( A B) (( C A ) ( C B )) T7-a) ( A B ) (( A C ) ( B C )) T7-b) ( A B ) (( C A ) ( C B )) T8-a) ( A B ) ( B A ) T8-b) ( A B ) ( B A ) T9) ( A B ) ( A B) T10) ( A B ) ( B A ) T11) A A T12) ( A B ) (( B C ) ( A C)) T13) ( A ( B C)) (( A ( B C )) T14) ( A B ) ( A B)

28

T15) ( A B ) ( ( B C ) ( A C )) T16) ( A B ) ( A B ) T17) ( A B ) (( A C ) ( B C )) T18) ( A B ) (( A C ) ( B C )) T19) ( A B ) (( C A ) ( C B )) T20) (A B ) (( A C ) ( B C )) T21) ( A B ) (( C A ) ( C B )) T22) ( A B ) ( A B ) T23) (( A B ) C) (( A ( B C)) T24) (( A B ) C ) ( A ( B C )) T25) ( A B ) ( B A ) T26) ( A B ) ( B A ) T27) ( A A ) A T28) ( A A ) A T29) ( A ( A B)) A T30) ( A ( A B )) A T31) A (( A B) B) T32) B (( A B ) B) T33) A (( A B ) A) T34) B (( A B ) A ) T35) B (( A B ) B ) T36) B (( A B ) B ) T37) B (( A B ) B ) T38) A A T39) A A T40) ( A ( B B )) A T41) ( B B ) A T42) ( A ( B B )) A T43) ( A ( B B )) ( B B ) T44) ( A ( B B )) ( B B ) T45) ( A B ) ( A B ) T46) ( A B ) (( A B ) A ) T47) ( A A ) T48) ( A B ) (( A C) ( A ( B C ))) T49) ( A B ) (( B C) ( A C)) T50) ( A B ) ( A B ) T51) ( A B ) ( A B ) T52) ( A B ) ( A B )

29

ALGUNS TIPOS DE PROVAS: (Bibliografia: Traduo livre de texto do livro Computability (Computable functions, logic, and the foundations of mathematics) de Richard L. Epstein e Walter A. Carnielli, 1989) 1.1) Prova por Reduo ao Absurdo: O mtodo de prova por Contradio (Reduo ao absurdo) consiste em assumir que a concluso falsa e portanto que sua negao verdadeira. A partir disto deriva-se uma contradio. Portanto, a concluso verdadeira. Este mtodo baseado em duas asseres: (1) Se um enunciado implica algo falso, ele deve ser falso; (2) Para todo enunciado, ou ele ou a sua negao verdadeira ( Lei do Terceiro Excludo) 1.2) Prova por Construo Para mostrar que alguma coisa existe constri-se essa coisa. 1.3) Prova por Contra-exemplo relacionada prova por construo. Para mostrar que uma proposio sobre alguma classe de objetos no verdadeira, exibe-se justo uma que no tem a propriedade. Por exemplo, para provar que a proposio Todos os gatos podem nadar falsa, necessita-se somente descobrir um gato que no nade e atir-lo num lago. Para provar que Todos os nmeros primos so mpares falsa, necessita-se simplesmente exibir o nmero 2. 1.4) Prova por induo O mtodo este: Mostra-se que o enunciado verdadeiro para 1 (Base da induo) . Depois assume-se que ele verdadeiro para n, um nmero arbitrrio mas fixado (Hiptese da induo) , e mostra-se que ele verdadeiro para n+1. Ento conclui-se que ele verdadeiro para todos os nmeros. Por que? Ele verdadeiro para 1; portanto, ele verdadeiro para 2; uma vez que ele verdadeiro para 2, ele , portanto, verdadeiro para 3, e assim por diante. Essas poucas palavras e assim por diante tem muita fora. Ns acreditamos que os nmeros naturais so completamente especificados por seu mtodo de gerao: adicionar 1, comeando do 0: 0 1 2 3 4 ...... Para provar um enunciado A por induo, primeiro prova-se para algum ponto inicial nesta lista de nmeros, usualmente 1, mas pode ser 0 ou outro nmero qualquer. Ento estabelece-se que se tem um mtodo de

30

gerar provas que exatamente anlogo ao mtodo de gerar nmeros naturais: se A (n) verdadeira, ento A (n+1) verdadeira. Tem-se a lista: A (0) Se A (0), ento A (1); portanto A (1) Se A (1), ento A (2); portanto A (2) Se A (2), ento A (3); portanto A (3) ......................................................... Portanto, o enunciado verdadeiro para todos os nmeros iguais ou maiores quele do ponto inicial. Em essncia tem-se apenas uma idia: um processo para gerar objetos um aps o outro sem fim, num caso numerais ou nmeros, e no outro , provas. Ns aceitamos induo como uma forma correta de prova porque as duas aplicaes da nica idia se equiparam. Negar a prova por induo importa em negar que os nmeros naturais so completamente determinados pelo processo de adicionar 1 ou negar que se pode deduzir uma proposio C a partir das proposies B C e B. ***************** Provas por induo: 1) Induo no nmero de conectivos primitivos de uma fbf; 2) Induo em teoremas; 3) Induo no comprimento ( nmero de passos) de uma deduo; 4) Induo no comprimento ( nmero de ocorrncias de smbolos ) de uma expresso. 5) Induo no nmero de smbolos de funo de um termo; etc. Proposio 1.11: Todo teorema de L uma tautologia. Prova: Como um exerccio, verifique que todos os axiomas de L so tautologias. Pela Proposio 1.1, modus ponens leva de tautologias a outras tautologias ( isto , modus ponens preserva tautologicidade). Portanto, todo teorema de L uma tautologia. O Lema 1.12, que se segue, ser usado na prova de que toda tautologia um teorema de L. Lema 1.12:

31

Seja A uma fbf, e sejam B1,...,Bk as letras sentenciais que ocorrem em A. Para um dado assinalamento de valores de verdade a B1,...,Bk, seja B/i = Bi se o valor de Bi V; e seja Bi/ = Bi se o valor de Bi F. Seja A / = A se o valor de A V em tal atribuio e seja A/ = A se o valor de A F. Ento, B/1,....,B/k A /.
Por exemplo: Seja A, ( A2 A5). Ento para cada linha da tabela de verdade: A2 A5 A2 A2 A5 ( A2 A5) V V F V F V F F V F F V V V F F F V F V O Lema 1.12 assevera que existe uma relao entre cada linha da tabela e uma deduo. Por exemplo, correspondendo 3 linha, existe A2, A5 (A2 A5 ) e para a 4 linha, A2, A5 (A2 A5 ). Outro exemplo: Seja A , A1 A2 A1 A2 A2 A1 A2 V V F F V F V V F V F F F V F A relao de deduo correspondente, por exemplo, 3 linha a seguinte: A1, A2 (A1 A2). Prova: A prova feita por induo no nmero n de ocorrncias de conectivos primitivos em A (Assumimos A escrito sem abreviaes). 1 Caso: n = 0 Nesse caso, A uma letra sentencial B1, e ento o Lema reduz-se a B1 B1 e B1 B1.

Explicao: B1 A V V Para esta linha, B/1 B1 e A / A F F Para esta linha, B/1 B1 e A / A Ento, B1 A, isto , B1 B1

32

B1 A , isto , B1 B1 . Portanto, B/1 A / 2 Caso: n > 0 Por hiptese da induo, o Lema vale para todo j < n. Vamos provar que ele vale para j = n. Temos, ento, dois sub-casos: ( A C ou A C D) 2.1) A C Como C tem menos conectivos do que A, aplicamos a hiptese da induo, isto , B/1,...B/k C / . Vamos provar que B/1,...,B/k A / Para 2.1, temos tambm dois sub-casos: 2.1.1) C toma o valor V num dado assinalamento de valores de verdade. Ento, C toma o valor F. Mas, C A. Assim, C / C e A / A (isto , C ). Por hiptese da induo aplicada C, temos: 1) B/1,....,B/k C ( pois C / C ) 2) Mas, C C ( Lema 1.10(b)) . Assim, 3) B/1,....,B/k C C ( De 2, pela propriedade (5) do ) 4) B/1,...,B/k C. ( De 1,3 pela propriedade (6) do ) Isto , B/1,...,B/k A. Portanto, B/1,...,B/k A / 2.1.2) C toma o valor F. Ento C toma o valor V. Mas, C A . Assim C / C e A / A ( isto , C ). Por hiptese de induo, temos 1) B/1,...B/k C / Mas, C / C . Logo, 2) B/1,...,B/k C , isto , B/1,...B/k A / 2.2) A C D Pela hiptese da induo, B/1,...,B/k C / B/1,...,B/k D / Temos 4 sub-casos: 2.2.1) C V e D F 2.2.2) C F e D F 2.2.3) C V e D F 2.2.4) C F e D V (I) Se C toma o valor F. Ento, C / C ; C D V e assim, A / A (isto , C D)

33

Pela hiptese da induo, 1) B/1,...,B/k C / 2) B/1,...,B/k C ( pois C / C ) 3) B/1,...,B/k C (C D) (Lema 1.10(c) e propriedade (5) do ) / / 4) B 1,...,B k C D ( De 2,3, prop. (6) do ) isto , B/1,...,B/k A / (I) d conta dos sub-casos (2.2.2) e (2.2.4) (II) Se D toma o valor V. Ento D / D; C D V e A / A Pela hiptese da induo, 1) B/1,...,B/k D / 2) B/1,...,B/k D (pois D / D) 3) B/1,...,B/k D (C D ) (Ax.1 e prop.(5) do ) 4) B/1,...,B/k C D ( De 2,3 / prop.(6) do ) Isto , B/1,...,B/k A Logo, B/1,...,B/k A / (II) d conta dos casos (2.2.1) e (2.2.4) (III) Se C toma o valor V e D toma o valor F. Ento, C / C e D / D; C D F e A / A (i., (C D)) 1) Pela hiptese da induo, B/1,...,B/k C / 2) Pela hiptese da induo, B/1,...,B/k D / 3) De (1), obtemos, B/1,...,B/k C (pois C / C) 4) De (2), obtemos, B/1,...,B/k D (pois D / D) 5) B/1,...,B/k C (D (C D)) (Lema 1.10(f) e prop.(5) do ) 6) De (3) e (5), pela prop.(6) do , obtemos B/1,...,B/k D (C D) 7) De (4) e (6), pela prop.(6) do , temos B/1,...,B/k (C D) Isto , B/1,...,B/k A . Logo, B/1,...,B/k A / (pois A / A ) (III) d conta do sub-caso (2.2.3). Fica assim demonstrado o Lema 1.12. Proposio 1.13 (Teorema da Completude) Se uma fbf A de L uma tautologia, ento ela um teorema de L. Prova: (Kalmar, 1935)

34

Assuma que A uma tautologia, e seja B1,...,Bk as letras sentenciais que ocorrem em A. Para qualquer assinalamento de valores de verdade a B1,...,Bk, ns temos, pelo Lema 1.12, B/1,...,B/k A (A / A porque A sempre toma o valor V). Portanto, se tomarmos uma atribuio de valores onde Bk V, / / B 1,...,B k-1,Bk A e, se Bk toma o valor F, B/1,...,B/k-1,Bk A . Assim, pelo Teorema da Deduo, B/1,...,B/k-1 Bk A e B/1,...,B/k-1 Bk A. Ento, pelo Lema 1.10(g) e MP, B/1,...,B/k-1 A. Similarmente, Bk-1 pode ser escolhido ser V ou F e, novamente aplicando o Teorema da Deduo, Lema 1.10(g) e MP, ns podemos eliminar B/k-1 justo como ns eliminamos B/k. Aps tais k passos, finalmente obtemos A Explicao: A uma tautologia B1,...,Bk - letras sentenciais em A Para quaisquer valores a B1,...,Bk, pelo Lema 1.12, temos B/1,...,B/k A Tome uma atribuio de valores onde Bk V. Ento, 1) B/1,...,B/k-1 , Bk A Aplique o Teorema da deduo, 2) B/1,...,B/k-1 Bk A Agora, tome uma atribuio onde Bk F. Ento, 3) B/1,...,B/k-1, Bk A Aplique o Teorema da Deduo, 4) B/1,...,B/k-1 Bk A Considere o Teorema 1.10(g) como se segue: 5) (Bk A ) ((Bk A ) A ) De (2) e (5), por propriedades do , obtemos 6) B/1,...,B/k-1 ((Bk A ) A ) Novamente, de (4) e (6) por propriedades do , temos 7) B/1,...,B/k-1 A Continuando, agora com Bk-1 podendo ser escolhido como tomando valor V ou F, temos: 8) B/1,...,B/k-2 , Bk-1 A 9) B/1,...,B/k-2 , Bk-1 A 10) B/1,...,B/k-2 Bk-1 A

- ( De 8 / TD)

35

11) B/1,...,B/k-2 Bk-1 A - ( De 9 / TD) 12) (Bk-1 A ) ((Bk-1 A ) A ) - (Lema 1.10(g)) 13) B/1,...,B/k-2 ((Bk-1 A ) A ) - ( De 10, 12 / prop. ) 14) B/1,...,B/k-2 A - ( De 11,13 / prop. do ) M M M M M k A E assim sucessivamente, em k passagens, obteremos A O que provamos? (I) Todo teorema tautologia ( Proposio 1.11) (II) Toda tautologia teorema ( Proposio 1.13) A prova de (I) uma prova por induo em teoremas: 1) Todo axioma tem a propriedade de ser tautologia; 2) Toda regra de inferncia preserva a propriedade. Na prova do tem (II) precisou-se do Lema 1.12 o qual foi provado por induo no nmero de conectivos primitivos em A (fbf qualquer). Exerccio 1.48 (Mendelson): (B1 B2) B1 uma tautologia. Pelo mtodo de prova da Proposio 1.13, mostre que (B1 B2) B1. Exerccio 20: A1 (A1 A2) uma tautologia. Pelo mtodo de prova da proposio 1.13, mostre que A1 (A1 A2).

Corolrio 1.4: Se B uma expresso envolvendo os smbolos , , , , e que uma abreviao para uma fbf A de L, ento B uma tautologia se e somente se A for um teorema de L. Prova: Hiptese Geral: B uma abreviao de A ( ) Se B uma tautologia ento A um teorema. Prova: Se B tautologia, como B logicamente equivalente a A (pelas definies e Proposio 1.3), ento A tambm uma tautologia. Pelo Teorema da Completude, temos que A .

36

( ) Se A ento B uma tautologia. Prova: Suponha que A . Pela Proposio 1.11 ( Teorema da Validade), temos que A uma tautologia. Pelas definies e Proposio 1.3, A logicamente equivalente a B. Como A uma tautologia temos, portanto, que B uma tautologia. Corolrio 1.15: O sistema L consistente; isto , no existe uma fbf A tal que ambas A e A sejam teoremas de L. Prova: Suponha que A . Ento pela Prop. 1.11, A uma tautologia e assim, A uma contradio, isto , A no pode ser uma tautologia. Portanto, A e assim impossvel para ambas A e A serem teoremas de L. Observaes: Note que L consistente se e somente se nem todas as fbfs de L forem teoremas. Claramente, se L consistente ento existem fbfs que no so teoremas (por exemplo, as negaes de teoremas). Por outro lado, pelo Lema 1.10(c), A ( A B ), e assim, se L fosse inconsistente - isto , se alguma fbf A e sua negao A fossem demonstrveis - ento, por MP, qualquer fbf B seria demonstrvel. ( Esta equivalncia vale para qualquer teoria que tem MP como uma regra de inferncia e na qual o Lema 1.10(c) demonstrvel). Uma teoria na qual nem todas as fbfs so teoremas chamada absolutamente consistente, e esta definio aplicvel mesmo teorias que no contm um smbolo de negao. Independncia dos Axiomas Dado um sistema formal qualquer S, dizemos que um axioma A de S independente se A no pode ser obtido a partir dos demais axiomas por meio das regras de inferncia. Em caso contrrio, A dependente e pode ser eliminado. Para se provar a independncia dos axiomas de um sistema formal, constri-se uma matriz M= V, D, C , onde V = conjunto dos valores de verdade; D = conjunto dos valores distinguidos e C = conectivos primitivos.

37

Obs.: O conjunto formado pelos valores distinguidos um subconjunto prprio do conjunto dos valores de verdade. Condies gerais para se provar a independncia de um dado axioma: (1) O dado axioma recebe pelo menos um valor no distinguido e os demais axiomas recebem somente o(s) valor(es) distinguido(s). (2) As regras de inferncia preservam o valor distinguido, isto , se as hipteses recebem valor distinguido, a concluso tambm recebe. Como um exemplo, vamos mostrar a independncia do Axioma A ( B A ) - ( A1, do sistema L de Mendelson). Seja M = {022} , {0} , , { 1,1,3 13 2
conjunto de valores conjunto dos valores de verdade (V) distinguidos (D) conectivos (C)

Agora, considere as tabelas para , que se seguem: Para a negao

A 0 1 2
Para o condicional

A 1 1 0

A 0 0 0 1 1 1 2 2 2

B 0 1 2 0 1 2 0 1 2

AB 0 2 2 2 2 0 0 0 0

38

Agora, por uma instanciao no Axioma 1, vamos verificar que A1 possui pelo menos um valor no distinguido ( Condio 1) A1 ( A2 A1 ) A1 A2 0 0 0 1 0 1 1 1 2 2 2 2 0 1 2 0 1 2 A2 A1 A1 (A2 A1 ) 0 0 2 2 Valor nodistinguido

0 2 2 0 2 0 0

0 0 0 2 0 0 0

Valor no-distinguido

Resta mostrar que Ax.2 e Ax.3 possuem somente valores distinguidos e que MP preserva valor distinguido. A3: (A2 A1) ((A2 A1) A2) A1 0 0 0 1 1 1 2 2 2 A2 0 1 2 0 1 2 0 1 2 A1 1 1 1 1 1 1 0 0 0 A2 A2 A1 A2 A1 (A2 A1) A2 1 2 2 0 1 2 2 0 0 2 0 2 1 2 2 0 1 2 2 0 0 2 2 0 1 2 0 0 1 2 0 2 0 0 2 0
s tem valor distinguido

0 0 0 0 0 0 0 0 0

Para o Ax.2 tambm deve dar somente valores distinguidos. A tabela ter 27 linhas. Agora, provar que Modus Ponens preserva valor distinguido (Condio 2). Prova: Vamos supor que A e A B tm valor distinguido. Vamos provar que B tem valor distinguido.

39

Suponha, por reduo distinguido ( isto , 1 ou 2)

ao absurdo,

que

tem

valor

no

1 Caso: B tem valor 1. Ento, A B 0 2 2 - mas, por hiptese, A B tem valor distinguido ( o que uma contradio) 2 Caso: B tem valor 2 Ento, A B 0 2 2 - mas, por hiptese, o valor de A B 0 ( o que uma contradio ) Em qualquer caso, chegamos a uma contradio. Portanto, B possui valor distinguido. Assim, com as condies (1) e (2) provadas, temos que o Ax.1 independente. Exerccio 21: Considere as tabelas dadas por Mendelson na pgina 38 (2 ed.) e mostre a independncia do Ax.2.

CAPTULO II - TEORIA DA QUANTIFICAO (MENDELSON) 1) Quantificadores Existem vrios tipos de inferncias que no podem ser justificadas com base no clculo proposicional. Por exemplo, I) Todo amigo de Martin um amigo de John Peter no amigo de John Logo, Peter no amigo de Martin A justeza dessas inferncias depende no somente dos conectivos verifuncionais, mas tambm do significado de expresses como todo, algum, qualquer, etc.

40

conveniente, ento, introduzir uma notao especial para representar expresses que freqentemente ocorrem. Se P(x) afirma que x tem a propriedade P, ento xP(x) significa que a propriedade P vale para todo x, ou seja , que qualquer coisa tem a propriedade P; e xP(x) significa que algum x tem a propriedade P, isto , que existe ao menos um objeto tendo a propriedade P.
- quantificador universal - quantificador existencial

O estudo dos quantificadores e conceitos relacionados o principal objeto de estudo do Captulo II (do livro de Mendelson) - da o ttulo Teoria da Quantificao. (I') - Simbolizao de (I) x(B(x,m) B(x,j) B(p,j)
_________________________

B(p,m) Exemplo (II):

B(x,y) - significa que x um amigo de y m - denota Martin j - denota John p - denota Peter

Todos os seres humanos so racionais Alguns animais so seres humanos Logo, alguns animais so racionais

(II') - Simbolizao de (II) x(H(x) R(x)) x(A(x) H(x)) x(A(x) R(x))

_____________________

H(x); R(x); A(x) designam as propriedades de ser humano, de ser racional, e de ser um animal, respectivamente

Exemplo (III) O sucessor de um inteiro par mpar 2 um inteiro par Logo, o sucessor de 2 mpar

41

(III') - Simbolizao de (III): x((I(x) E(x)) D(s(x))) I(b) E(b) D(s(b))

____________________________________

I(x) = x inteiro E(x) = x par D(x) = x mpar s(x) = o sucessor de x b=2

Assim como formas sentenciais foram usadas para indicar estruturas lgicas dependentes dos conectivos proposicionais, tambm as formas de inferncias envolvendo quantificadores, tais como as inferncias dos exemplos (I) - (III), podem ser representadas abstratamente como em (I') - (III').
Observaes: Nos exemplos anteriores, x representa uma varivel individual; m, j, p, b, representam constantes individuais; B um smbolo de predicado binrio; H, R, A, I, P, so smbolos de predicados unrios; s um smbolo de funo unria. Predicados: - unrios (ou mondicos) - predicados de um argumento - binrios ( ou didicos) - predicados de dois argumentos - ternrios ( ou tridicos) - predicados de trs argumentos M - n-rios - predicados de n argumentos Funes: - unrias - funes de um argumento - binrias - funes de dois argumentos - ternrias - funes de trs argumentos M - n-rias - funes de n argumentos As variveis, os parnteses, as vrgulas e os conectivos lgicos so chamados smbolos lgicos. Os smbolos de funes, os smbolos de predicados e as constantes individuais so chamados smbolos no-lgicos ou prprios e variam de teoria para teoria. As variveis individuais vo designar indivduos quaisquer; as constantes individuais vo designar indivduos determinados; os smbolos de predicados vo corresponder intuitivamente s relaes. Os smbolos de funes aplicados s variveis e constantes individuais geram os termos.

Linguagem para a Teoria da Quantificao: 1) Variveis individuais: x1, x2, .....,xn,....... 2) Constantes individuais: a1, a2,...., an,...... 3) Smbolos de Predicados: A n k n 4) Smbolos de Funes: f k

42

5) Conectivos lgicos: , , 6) Smbolos auxiliares: , ( )

Em A k e f k , n indica o nmero de argumentos e k distingue diferentes smbolos de predicados ou de funes que tm o mesmo nmero de argumentos (n e k so quaisquer inteiros positivos).
n n

Termos 1) Uma varivel um termo; 2) Uma constante individual um termo; 3) Se f kn um smbolo de funo e t1,....,tn so termos, ento f kn ( t 1 ,...., t n ) um termo. 4) Uma expresso um termo somente se ele pode ser mostrado ser um termo com base nas condies (1)-(3).
Exemplos de termos: x1; a1;
1 2 2 1 f1 ( a 1 ); f1 ( a 1 , x 1 ); f2 ( f1 ( x 1 ), a 2 )

Obs.: Termos correspondem ao que na linguagem ordinria so nomes e expresses nominais. Por exemplo, dois (2) , dois mais trs (2+3), dois mais x (2+x).

Frmulas Atmicas: Se A n um smbolo de predicado e t1,....,tn so termos, ento k A n ( t 1 ,...., t n ) uma frmula atmica. k
Obs.: Os smbolos de predicados aplicados aos termos geram frmulas atmicas.

Frmulas bem formadas (fbfs): As frmulas bem formadas (fbfs) da teoria da quantificao so definidas como segue: 1) Toda frmula atmica uma fbf; 2) Se A e B so fbfs, ento (A ) e ( A B ) so fbfs; 3) Se A uma fbf e y uma varivel, ento (y A ) uma fbf; 4) Uma expresso uma fbf somente se ela pode ser mostrada ser uma fbf com base nas condies (1) - (3).
Exemplos de frmulas atmicas: A 1 ( x 1 ); A 1 (a 1 ); A 2 ( f11 (a 1 ), a 2 ) 1 1 2

43

2 Exemplos de fbfs: x 1A 1 ( x 1 ); x 2 (A 1 ( x 2 , x 2 ) A 1 ( x 1 )) 1 1

Em yA , A chamada o escopo do quantificador y. Note que A no precisa conter a varivel y. Neste caso, yA significa o mesmo que A . As expresses A B , A B e A B so definidas como no sistema L. (Ver sistema L) Foi desnecessrio usar o smbolo como um smbolo primitivo porque ns podemos definir o quantificador existencial como segue: xA =def. xA
Obs.: Veja as convenes para omisso de parnteses no texto ( pginas 17-18 e 43).

Definio: Uma ocorrncia de uma varivel x em uma fbf A ligada se e somente se x a varivel do quantificador x na fbf ou x ocorre no escopo de um quantificador x. Em caso contrrio, a ocorrncia de x livre.
Exemplos:
2 1) x 1A 1 ( x 1 ) A 1 ( x 1 , x 2 ) 1 x1 - 1 ocorrncia ligada - 2 ocorrncia ligada - 3 ocorrncia livre 2 2) x 2 (A 1 ( x 1 , x 2 ) x 2 A 1 ( x 2 )) 1

x2 - nica ocorrncia livre

x1 - nica ocorrncia livre

x2 - 1 ocorrncia ligada - 2 ocorrncia ligada - 3 ocorrncia ligada - 4 ocorrncia ligada

Uma varivel pode ter ocorrncias livres e ligadas numa dada 1 fbf. Ex: A ( x1 , x 2 ) x1A 1 ( x1 )
2 1

Uma ocorrncia de uma varivel pode ser ligada em alguma fbf A, mas ser livre em uma subfrmula de A. Ex: A varivel x1 2 1 livre na frmula A 1 ( x 1 , x 2 ) x 1A 1 ( x 1 ) mas ligada na frmula maior 2 1 x 1 (A 1 ( x 1 , x 2 ) x 1A 1 ( x 1 )) .

44

Definio Uma varivel dita ser livre numa fbf se e somente se ela tiver uma ocorrncia livre na fbf, e ela dita ser ligada se e somente se ela tiver uma ocorrncia ligada na fbf. Assim, uma varivel pode ser livre e ligada ao mesmo tempo 2 1 numa mesma fbf. Ex.: Na fbf A 1 ( x 1 , x 2 ) x 1A 1 ( x 1 ) ,a varivel x1 livre e ligada ao mesmo tempo. Exerccio 21 : a) Escreva uma fbf na qual a varivel x1 seja livre e ligada ao mesmo tempo. b) Escreva uma fbf com pelo menos uma ocorrncia de varivel livre e uma ocorrncia de varivel ligada. Notao: A ( x i1 ,..., x i k ) quer dizer que a fbf A tem algumas das variveis livres entre x i1 ,..., x i k . Isto no significa que A no contenha outras variveis
livres; a fbf A pode tambm conter todas essas variveis livres ou nenhuma. Esta notao conveniente porque ns podemos escrever A (t1,...,tk) como resultado de substituirmos em A todas as ocorrncias livres (se alguma) de x i1 ,..., x i k pelos termos t1,...,tk, respectivamente.
4 Exemplo: Seja a fbf A 1 ( x 1 , x 2 , x 3 , x 4 ) representada por A (x1,x2). Ento A (t1,t2) passar a 4 representar a fbf A 1 ( t 1 , t 2 , x 3 , x 4 ).

Termo livre para uma determinada varivel numa fbf Se A uma fbf e t um termo, ento t livre para xi em A se e somente se nenhuma ocorrncia livre de xi em A est no escopo de qualquer xj, onde xj uma varivel de t. Este conceito de t ser livre para xi em A (xi) ter certas aplicaes tcnicas mais adiante. Isto significa que, se t substitui todas as ocorrncias livres de xi em A (xi), nenhuma ocorrncia de uma varivel em t torna-se uma ocorrncia ligada em A (t). Exemplos:

45

a) O termo x2 livre para x1 em A 1 ( x 1 ) mas no livre para x1 em 1 1 x 2 A 1 ( x 1 ) .

Explicao: A 1 ( x 1 ) - fbf x2 - termo A 1 ( x 2 ) - resultado de substituir x1 por x2 1 1 Ao substituirmos a varivel x1 pelo termo x2 nenhuma varivel que era livre se torna quantificada. Portanto, x2 livre para x1 em A 1 ( x 1 ) . 1
1 1 x 2 A 1 ( x 1 ) - fbf x2 - termo x 2 A 1 ( x 2 ) - resultante da substituio Se substituirmos a varivel x1 pelo termo x2, ento na fbf resultante x2 se torna ligada. 1 Logo, x2 no livre para x1 em x 2 A 1 ( x 1 ) .

2 1 b) O termo f12 ( x1 , x 3 ) livre para x1 em x 2 A 1 ( x1 , x 2 ) A 1 ( x1 ) mas no 2 livre para x1 em x 3x 2 A 1 ( x1 , x 2 ) A 1 ( x1 ) . 1

Explicao: b.1) Ao substituirmos a varivel x1 pelo termo f12 ( x 1 , x 3 ) na fbf 2 2 x 2 A 1 ( x 1 , x 2 ) A 1 ( x 1 ) obtemos a fbf x 2 A 1 ( f12 ( x 1 , x 3 ), x 2 ) A 1 ( f12 ( x 1 , x 3 )) na 1 1 2 qual as variveis de f1 ( x 1 , x 3 ) continuaram livres nas duas substituies. Portanto, o
2 termo f12 ( x 1 , x 3 ) livre para a varivel x1 na fbf x 2 A 1 ( x 1 , x 2 ) A 1 ( x 1 ) . 1

pelo termo f12 ( x 1 , x 3 ) na fbf 2 2 x 3 x 2 A 1 ( x 1 , x 2 ) A 1 ( x 1 ) obtemos x 3 x 2 A 1 ( f12 ( x 1 , x 3 ), x 2 ) A 1 ( f12 ( x 1 , x 3 )) e 1 1 2 2 ento a varivel x3 do termo f1 ( x 1 , x 3 ) tornou-se ligada. Logo, o termo f1 ( x 1 , x 3 ) no 2 livre para x1 em x 3 x 2 A 1 ( x 1 , x 2 ) A 1 ( x 1 ) . 1 b.2) Ao substituirmos a varivel x1

Os seguintes fatos so bvios: 1) Um termo que no contenha varivel livre para qualquer varivel em qualquer fbf.
Isto quer dizer: Dada uma fbf, no lugar de qualquer varivel pode-se colocar qualquer termo livre de varivel pois ele no vai cair no escopo de nenhum quantificador xi, onde xi uma varivel de t, uma vez que no h varivel em t.

2) Um termo t livre para qualquer varivel em A se nenhuma das variveis de t ligada em A .

Obs.: Pode-se afirmar isso porque nenhuma varivel de t est ligada em A.

3) xi livre para xi em qualquer fbf.

Obs.: Substituir xi pela prpria xi no altera nada.

46

4) Qualquer termo livre para xi em A se A no contm ocorrncias livres de xi.

Obs.: No se faz substituio j que xi no livre em A

Exerccio 22: Resolver o exerccio 2.6 do livro de Mendelson (3 ed.), pgina 45. Exerccio 23: Transpor as seguintes sentenas para frmulas: Exemplo: 1) Nenhum policial honesto x 1 (A 1 ( x 1 ) A 1 ( x 1 ) x 1 (A 1 ( x 1 ) A 1 ( x 1 )) 1 2 1 2 2) Qualquer pessoa que persistente pode aprender lgica 3) Nem todos os pssaros podem voar 4) Qualquer pessoa ama algum 5) Ningum ama todo mundo 6) Algum ama todo mundo 7) Algum ama ningum 8) Tnia gosta de todos 9) Qualquer droga provocadora de vcios ou receitada ou no benfica 10) Alguns alunos da Universidade so primos de Joo 11) Joo no emprestar dinheiro a ningum que seja amigo de Pedro. 12) Todos os jogadores que esto sentados entre Antnio e Mrio so pacientes 13) H uma pessoa em quem ningum acredita. Exerccio 24: 1) Passe as fbfs abaixo para a linguagem natural, considerando: A 1 ( x 1 ) = x 1 uma pessoa 1 2 A 1 ( x 1 , x 2 ) = x 1 odeia x2 A 2 ( x1 , x 2 ) = x1 acredita em x2 2
1 2 1) x 1 (A 1 ( x 1 ) x 2 (A 1 ( x 2 ) A 1 ( x 1 , x 2 ))) 1 1 2 2) x 1 (A 1 ( x1 ) x 2 (A 1 ( x 2 ) A 1 ( x 1 , x 2 ))) 1 2 2 3) x1 (A 1 ( x1 ) x 2 (A 1 ( x 2 ) (A 1 ( x1 , x 2 ) A 1 ( x 2 , x 2 ))) 1 1

1 2 4) x1 (A 1 ( x1 ) x 2 (A 1 ( x 2 ) A 2 ( x1 , x 2 ))) 1

5) x1 (A 1 ( x1 ) x 2 (A 1 ( x 2 ) A 2 ( x 2 , x1 ))) 1 1 2 6) x1 (A 1 ( x1 ) x 2 (A 1 ( x 2 ) A 2 ( x1 , x 2 ))) 1 1 2

47

7) x 2 (A 1 ( x 2 ) x1 (A 1 ( x1 ) A 2 ( x1 , x 2 ))) 1 1 2
Exerccio 25: Tranforme as proposies abaixo para fbfs, considerando: A 1 ( x1 ) = x1 sensvel 2 A 1 ( x1 ) = x1 uma pessoa 1
2 A 1 ( x1 , x 2 ) = x1 acredita em x2

A 2 ( x1 , x 2 ) = x1 est apaixonado por x2 2 a1 denota Maria a2 denota Joo 1) Algum acredita em todas as pessoas. 2) Maria acredita em todas as pessoas. 3) Joo sensvel e algum est apaixonado por ele. 4) Toda pessoa apaixonada por outra acredita em todas as pessoas. 5) Ningum acredita em quem no acredita em si mesmo. 6) Joo no est apaixonado por Maria se e somente se no exista em pessoa que no esteja apaixonada por Maria. 7) Se Maria est apaixonada por Joo ento algum acredita em Joo. 8) Ningum acredita em algum. 9) Algum acredita em Joo e no est apaixonado por ele. 10) Maria acredita em todas as pessoas que acreditam em Joo.

Interpretaes Frmulas bem formadas tm significado somente quando uma interpretao dada para os smbolos.
Interpretaes visam conferir um significado linguagem - (semntica). Um significado para uma linguagem de 1 ordem consiste de um universo e um significado de tipo apropriado para cada smbolo no-lgicos.

Uma interpretao M para L ( Linguagem da Teoria da Quantificao) consiste no seguinte: 1) Um conjunto no-vazio D, chamado o domnio da interpretao (tambm chamado Universo de Discurso);

48

2) Para cada smbolo de predicado A n de L, faz-se corresponder uma j

relao n-ria (A n ) M em D ( isto, um subconjunto de Dn ); j 3) Para cada smbolo de funo f jn de L, faz-se corresponder uma operao n-ria ( f jn ) M em D ( isto , uma funo de Dn em D ); 4) Para cada constante individual ai de L, escolhe-se um elemento fixo (ai)M de D.
Exemplo: Considere a Linguagem L1: 1) x1, x2, x3,..... 2) a1, a2 2 3 3) A 1 , A 1 , A 1 1 4) f11 , f12 5) , , 6) ( , ) Uma interpretao para L1 poderia ser, por exemplo: 1) D = {3,4,5} 2) A 1 ........(A 1 ) M = {3} 1 1 2 2 A 1 .........(A 1 ) M = {3,4, 4,5} 3 3 A 1 ..........(A 1 ) M = {3,3,3, 4,3,4} 3) f11 .............( f11 ) M = ( 3,4, 4,3, 5,4} f12 ..............( f12 ) M = {3,3,3, 3,4,3, 3,5,4, 4,3,3, 4,4,4, 4,5,5, 5,3,4, 5,4 ,4, 5,5,5} 4) a1.........(a1)M = 3 a2..........(a2)M = 4

Exerccio 26: D outra interpretao para a Linguagem L1 acima. Uma frmula sem variveis livres chamada frmula fechada ou sentena. Uma frmula com variveis livres chamada frmula aberta. Para uma dada interpretao, uma frmula fechada representa uma proposio que verdadeira ou falsa, enquanto que uma frmula aberta no nem verdadeira nem falsa, ela pode ser satisfeita por alguns elementos do domnio e no ser satisfeita por outros, isto , uma frmula aberta est

49

para uma relao no domnio da interpretao que pode ser satisfeita (verdadeira) para alguns valores no domnio das variveis livres e no satisfeita (falsa) para outros. Exemplo: 2 (i) A 1 ( x1 , x 2 ) 2 (ii) x 2 A 1 ( x1 , x 2 ) 2 (iii) x1x 2 A 1 ( x1 , x 2 ) Se tomarmos: D = {x; x inteiro positivo} 2 A 1 ( y, z) como y = z Ento: (i) frmula aberta ( 2 variveis livres - relao binria) - Representa a relao y = z que satisfeita por todos os pares ordenados <a,b> de inteiros positivos tal que a = b. (ii) frmula aberta ( 1 varivel livre - propriedade) - Representa a propriedade Para todo inteiro positivo y, z = y, que satisfeita somente pelo inteiro positivo 1. (iii) Frmula fechada - verdadeira. Afirma que existe um menor inteiro positivo.
Obs.: Se tivssemos tomado como domnio o conjunto de todos os inteiros, ento (iii) seria falsa. Exerccio 27: Considerando L1 e a interpretao dada para a mesma na pgina 48, verifique se a frmula abaixo verdadeira ou falsa: 2 3 Fbf: x1 ((A 1 ( x1 ) A 1 ( x1 , x1 )) A 1 ( x1 , x1 , x1 )) 1
2 3 1-a) (A 1 (a 1 ) A 1 (a 1 , a 1 )) A 1 (a 1 , a 1 , a 1 ) - ( aqui foi feito o que se chama 1

instanciao, isto , eliminou-se o quantificador, trocando todas as ocorrncias da varivel do quantificador que est sendo eliminado por uma constante, no caso a1).
2 3 Isto , (3( A 1 )M 3,3( A 1 )M) 3,3,3( A 1 )M 1 2 Considerando a interpretao dada, temos que 3( A 1 )M , 3,3( A 1 )M e 1 3 3,3,3( A 1 )M . Logo, para este caso, a instanciao (1-a) verdadeira. 2 3 1-b) (A 1 (a 2 ) A 1 (a 2 , a 2 )) A 1 (a 2 , a 2 , a 2 ) 1

50

2 3 Isto , (4( A 1 )M 4,4 (A 1 ) M ) 4,4,4 (A 1 ) M ( Aqui trocou-se todas as 1

ocorrncias da varivel x1, pela constante a2)

2 Como 4( A 1 )M, 4,4( A 1 )M , temos que a instanciao (1-b) verdadeira. 1

Portanto, considerando que todas as instanciaes so verdadeiras, a ffb 2 3 x1 ((A 1 ( x1 ) A 1 ( x1 , x1 )) A 1 ( x1 , x1 , x1 )) verdadeira para a 1 interpretao dada. Exerccio 28 Sejam as fbfs abaixo: 2 1 1) x1 (A 1 ( x1 , x1 ) A 1 ( x1 ))
2 2) x1 (A 1 ( x1 , x1 ) (A 1 ( x1 )) 1 Construa uma interpretao para a linguagem e depois verifique se essas fbfs so verdadeiras ou falsas para a interpretao dada.

Exerccio 29 Fazer o exerccio 2.10 (Livro do Mendelson): Para as seguintes fbfs (1)-(3) e para as seguintes interpretaes, indique para que valores as fbfs so satisfeitas ( se elas contm variveis livres) ou se elas so verdadeiras ou falsas ( se elas no contm variveis livres). 2 (1) A 1 ( f12 ( x1 , x 2 ), a 1 )
2 2 (2) A 1 ( x1 , x 2 ) A 1 ( x 2 , x1 ) 2 2 2 (3) x1x 2 x 3 (A 1 ( x1 , x 2 ) (A 1 ( x 2 , x 3 ) A 1 ( x1 , x 3 ))) 2 Interpretao 1: O domnio o conjunto dos inteiros positivos, A 1 ( y, z)

y = z, f12 ( y, z) y.z e a1 1.
Isto : D = {x: x inteiro positivo} ou D = {1,2,3,4,.......} 2 A 1 a relao de maior ou igual, isto , um subconjunto de {x,y = y}. f12 a operao de multiplicao, isto , {x,y,z : x.y = z}, onde x,y,z D. a1 1. Verificando as fbfs:
2 (1) A 1 ( f12 ( x 1 , x 2 ), a 1 ) - uma fbf aberta (no ser nem verdadeira nem falsa; como tem 2 variveis livres, define uma relao binria em D que poder ser satisfeita por alguns pares e no satisfeita por outros. Relao: {x,y: xD e yD e x.y = 1}

51

Ento, todos os pares de elementos do domnio satisfazem essa fbf.

2 2 (2) A 1 ( x 1 , x 2 ) A 1 ( x 2 , x 1 ) - uma fbf aberta, com duas variveis livres. Ento, ela define uma relao binria em D. Relao: {x,y:(x = y) (y = x)}, isto , {x,y: x = y} Ento, esses pares satisfazem a fbf.

2 2 2 (3) x 1x 2 x 3 ( A 1 ( x 1 , x 2 ) (A 1 ( x 2 , x 3 ) A 1 ( x 1 , x 3 ))) - uma fbf fechada. Ser verdadeira ou falsa. 2 Resposta: verdadeira. Mostra que a relao correspondente a A 1 transitiva. (Obs.: A verdade ou falsidade depende da interpretao dada.)

Continuao do exerccio 2.10, para a interpretao 2 e a interpretao 3 deixada para que voc tente faze-la. 2 Interpretao 2 - O domnio o conjunto dos seres humanos; A 1 ( y, z) y ama z, f12 ( y, z) z e a1 Hitler. Interpretao 3 - O domnio o conjunto de todos os conjuntos de inteiros, 2 A 1 ( y, z) y z , f12 ( y, z) y z e a1 o conjunto vazio .
Exerccio 30: Fazer os exerccios 2.11(c) e 2.11(d) do livro de Mendelson.

Satisfabilidade Os conceitos de satisfatibilidade e verdade so intuitivamente claros, mas, seguindo Tarski (l936), podemos dar uma definio rigorosa. Tal definio necessria por conduzir provas precisas de muitos resultados matemticos. Satisfabilidade ser a noo fundamental, na base da qual a noo de verdade ser definida. Contudo, ao invs de falarmos sobre as nuplas de objetos que satisfazem uma fbf que tem n variveis livres, muito mais conveniente de um ponto de vista tcnico lidar uniformemente com seqncias enumerveis. Uma seqncia enumervel s=(s1,s2,s3,....) para ser pensada como satisfazendo uma fbf A que tem x j1 , x j2 ,...., x jn como variveis livres (onde j1 < j2 < .....< jn ) se as n-uplas s j1 , s j2 ,....., s jn satisfazem A no sentido usual. Por exemplo, uma seqncia enumervel (s1,s2,s3,....) de objetos no 2 domnio de uma interpretao M ir satisfazer a fbf A 1 ( x 2 , x 5 ) se e somente

52

2 se o par ordenado s2 , s5 est na relao ( A 1 )M assinalada para o smbolo de 2 predicado A 1 pela interpretao M.

Seja dada uma interpretao M com domnio D. Seja o conjunto de todas as seqncias enumerveis de elementos de D. Definiremos o que significa uma seqncia s=(s1,s2,...) em satisfazer uma fbf A em M. Como um passo preliminar, definiremos para uma dada seqncia s em uma funo s* de um argumento, com termos como argumentos e valores em D (isto , uma funo s* que assinala para cada termo t um elemento s*(t) em D.
Obs: A funo s* tem um argumento e leva do conjunto dos termos D. ( s* depende da seqncia s)

Definindo a funo s* (1) Se t uma varivel xj, s*(t) ser sj.

Explicao: s=(s1,s2,s3,....) s*(t) = sj Ento, s*(x1) = s1 s*(x2) = s2

M
s*(xj) = sj M M

(2) Se t uma constante individual aj, ento s*(t) a interpretao (aj)M desta constante ( isto , o elemento de D associado constante na interpretao) (3) Se f nk um smbolo de funo, ( f nk ) M a operao correspondente em D, e t1,....,tn so termos, ento s*( f nk ( t 1 ,..., t n )) = ( f nk ) M ( s*(t1) ,..., s*(tn))
Exemplo: Seja t, f12 ( x 1 , x 2 )
Ento, s*(t) = s*( f12 ( x 1 , x 2 ) = ( f12 ) M (s*(x1),s*(x2))

s* uma funo determinada pela seqncia s, a partir do conjunto de termos em D. Intuitivamente, para uma seqncia s = (s1,s2,....) e um termo t, s*(t) o elemento de D obtido por substituir, para cada j, o nome de sj por todas as ocorrncias de xj em t e depois executar as operaes da interpretao correspondendo aos smbolos de funo de t. Por exemplo:

53

Se t f 22 ( x 3 , f12 ( x1 , a 1 )) D = {x: x inteiro} f 22 multiplicao f12 soma a1 2 Ento, para qualquer seqncia s = (s1,s2,....) de inteiros, s*(t) o inteiro s3.(s1+2) Calculando: s*( f 22 (( x 3 ), f12 ( x1 , a 1 ))) = ( f 22 ) M (s * ( x 3 ), s * ( f12 ( x1 , a 1 ))) = ( f 22 ) M (s * ( x 3 ),( f12 ) M (s * ( x1 ), s * (a 1 ))) = ( f 22 ) M (s3 ,( f12 ) M (s1 ,2)) = ( f 22 ) M (s3 , s1 + 2) = s3 .(s1 + 2)
Exerccio 31: Considerando a linguagem L2 abaixo: 1) x1,x2,x3,...... 2) a1, a2 2 3) A 1 , A 1 1 4) f11 , f12 5) , 6) ( ) , Considerando a interpretao para L2 ,abaixo, calcule s* dos seguintes termos: 1) a1; 2) x2; 3) f12 ( f11 (a 1 ), f12 ( x1 , a 2 )) Interpretao: D = {x; x nmero par} a1.......(a1)M = 2 a2.......(a2)M = 4 A 1 ..........(A 1 ) M = {x: x divisvel por 2} 1 1
2 2 A 1 ...........(A 1 ) M = { x,y : x o dobro de y}

f11 ............( f11 ) M = { x,y : x + 2 = y } f12 ............( f12 ) M = { x,y ,z : x + y = z } seqncia s = (2,4,6,8,10,.....) Calculando s* dos termos: 1) s*(a1) = 2 ( item 2 da definio de s*) 2) s*(x2) = 4 ( item 1 da definio de s*)

54

3) s*( f12 ( f11 (a 1 ), f12 ( x1 , a 2 )) = ( f12 ) M (s * ( f11 (a 1 )), s * ( f12 ( x1 , a 2 ))) =

( f12 ) M (( f11 ) M (s * (a 1 )),( f12 ) M (s * ( x1 ), s * (a 2 ))) = ( f12 ) M (( f11 ) M (2),( f12 ) M (4,2)) = ( f12 ) M (4,6) = 10 (item 3 da definio de s*)

Exerccio 32: D uma outra interpretao para a linguagem L2 acima, d uma sequncia de elementos do domnio dessa interpretao e calcule s* dos termos abaixo: 1) f11 ( f11 ( f12 ( f11 (a 1 ), f12 (a 2 , x 3 )))) 2) f12 ( f12 ( f11 ( x1 ), x 4 ), f11 (a 2 )) Vamos dar agora uma definio indutiva da noo de satisfao. Isto , vamos definir quando que uma seqncia s = (s1,s2,....) satisfaz uma fbf A numa dada interpretao. (1) Se A uma fbf atmica da forma A n ( t 1 ,...., t n ) e (A n ) M a relao nk k ria correspondente da interpretao, ento a seqncia s = (s1,s2,....) satisfaz A se e somente se (A n ) M (s * ( t 1 ),...., s * ( t n )) , isto , se e somente se a n-upla k

s*(t1),....,s*(tn) est na relao ( A n )M. k

Exemplo: Considere a linguagem L2 acima e a interpretao dada no exerccio 31. 2 Seja A a fbf A 1 ( x 1 , x 2 )
2 2 2 Ento, a seqncia s satisfaz A 1 ( x 1 , x 2 ) sse s*(x1),s*(x2)( A 1 )M sse 2,4( A 1 ) M . 2 2 Ora, 2,4 (A 1 ) M . Logo, s no satisfaz A 1 ( x 1 , x 2 ) nessa interpretao.

(2) s satisfaz B sse s no satisfaz B.

Exemplo: 2 Seja B a fbf A 1 ( x 1 , a 1 )
2 2 2 Ento, s satisfaz A 1 ( x 1 , a 1 ) sse s no satisfaz A 1 ( x 1 , a 1 ) sse s*(x1),s*(a1) (A 1 ) M sse 2 2 2 2,2 (A 1 ) M . Ora, 2,2 (A 1 ) M . Logo, s no satisfaz A 1 ( x 1 , a 1 ) e, portanto, s satisfaz 2 A 1 ( x1 , a 1 ) .

(3) s satisfaz B C sse s no satisfaz B ou s satisfaz C .

Exemplo: 2 2 Seja B C a fbf A 1 ( x 1 , a 1 ) A 1 ( x 1 , x 2 )

55

2 2 2 Ento, s satisfaz A 1 ( x 1 , a 1 ) A 1 ( x 1 , x 2 ) sse s no satisfaz A 1 ( x 1 , a 1 ) ou s satisfaz 2 A 1 ( x 1 , x 2 ) . Ora, como j foi mostrado no exemplo dado anteriormente (item (2)) s no 2 2 2 satisfaz A 1 ( x 1 , a 1 ) . Logo, s satisfaz A 1 ( x 1 , a 1 ) A 1 ( x 1 , x 2 ) .

(4) s satisfaz xiB se e somente se toda seqncia que difere de s quando muito (no mximo) no i-simo componente satisfaz B. Em outras palavras, uma seqncia s = (s1,s2,....,si,....) satisfaz xiB se e somente se , para todo elemento c do domnio da interpretao, a seqncia (s1,s2,....,c,...) satisfaz B. Aqui, (s1,s2,,....,c,.....) denota a seqncia obtida de (s1,s2,.....,si,....) por substituir si por c.
Exemplo: xiB a fbf x 1A 1 ( x 1 ) 1 s = (2,4,6,8,......) Ento, s satisfaz x1 A 1 ( x 1 ) sse cada seqncia de que difere de s no mximo no 1 1 componente satisfaz A 1 ( x 1 ) . 1

Intuitivamente uma seqncia s = (s1,s2,....) satisfaz uma fbf A sse, quando para cada i, ns substitumos todas as ocorrncias livres de xi em A por um smbolo representando si, a proposio resultante verdadeira na dada interpretao. Exerccio 33: Determine se a seqncia s , da interpretao anterior, satisfaz as fbfs abaixo: 2 1) A 1 ( f11 ( x1 ), a 1 ) 2 2) A 1 ( x1 ) A 1 ( x1 , a 2 ) 1 2 3) A 1 ( x1 ) A 1 ( x1 , x 2 ) 1
Uma fbf A verdadeira para uma interpretao M ( em smbolos M A ) se e somente se toda seqncia em S satisfizer A.

A falsa para M se e somente se nenhuma seqncia em

satisfizer A . Uma interpretao M dita ser um modelo para um conjunto de fbfs se e somente se toda fbf em verdadeira para M. Vamos verificar algumas conseqncias da noo de verdade proposta. As propriedades I-XI que se seguem podem todas serem derivadas

56

das noes de verdade, falsidade e satisfao. Algumas provas sero dadas, outras sero deixadas como exerccio. I-a) A falsa para M, isto , para uma dada interpretao M, se e somente se A verdadeira para M (isto , M A ).
Prova: A falsa para M sse nenhuma seqncia em S satisfaz A sse toda seqncia em S satisfaz A sse A verdadeira para M. (Obs. Ver definies da pgina 55)

I-b) A verdadeira para M sse A falsa para M Prova: Deixada como exerccio (Exerccio 34) II) No o caso que M A e M A ; isto , nenhuma fbf pode ser ao mesmo tempo verdadeira e falsa para M.
Prova: (Por reduo ao absurdo) Suponha: (i) M A (ii) M A Ento, por (i) toda seqncia em S satisfaz A e, por (ii) toda seqncia em S satisfaz A . Ora, como S no vazio, existe pelo menos uma seqncia s. Assim, por (i) e (ii) , s satisfaz A e s no satisfaz A ( o que uma contradio). Se s satisfaz A , A no pode ser falsa para M. Se s no satisfaz A, A no pode ser verdadeira para M. Portanto, no ocorre M A e M A ao mesmo tempo.

Obs.: Se A no fechada, A pode no ser nem verdadeira nem falsa (para algumas interpretaes). 2 Exemplo: Seja A : A 1 ( x1 , x 2 ) D = {x: x inteiro positivo} 2 A 1 ( y , z) y < z s = (b1,b2,.....) onde cada bi um inteiro positivo Ento, a seqncia s' = (3,5,.......) satisfaz A e a seqncia s'' = (5,3,.......) no satisfaz A .
(III) Se M A e M A B , ento M B . Prova: Fazer como exerccio.(Exerccio 35) (IV) A B falso para M se e somente se A verdadeira para M e B falsa para M, isto , M A e M B .
Prova: A B falso para M se e somente se nenhuma seqncia em S satisfaz A B sse toda seqncia em S satisfaz ( A B ) sse no ocorre que (toda seqncia no satisfaz A ou toda seqncia satisfaz B ) sse no ocorre que (toda seqncia satisfaz A ou toda seqncia satisfaz B ) sse toda seqncia no satisfaz A e toda seqncia no satisfaz B

57

sse toda seqncia satisfaz A e toda seqncia satisfaz B sse A verdadeira para M e B verdadeira para M, isto , M A e M B.

(V-a) Uma seqncia s satisfaz A B se e somente se s satisfaz A e s satisfaz B. Prova: Fazer como exerccio (Exerccio 36) (V-b) s satisfaz A B s e somente se s satisfaz A ou s satisfaz B . Prova: Fazer como exerccio (Exerccio 37) (V-c) s satisfaz A B sse s satisfaz A e s satisfaz B ou s no satisfaz A nem satisfaz B . Prova: Deixada como exerccio (Exerccio 38) (V-d) s satisfaz xiB se e somente se existir uma seqncia s' que difere de s no mximo no i-simo componente, tal que s' satisfaz B . Prova: Deixada como exerccio (Exerccio 39) Fecho de A a frmula obtida de A , prefixando-se com quantificadores universais as variveis livres de A , em ordem decrescente de ndices inferiores.
2 3 Exemplo: Seja A : A 1 ( x 2 , x 5 ) x 2 A 1 ( x 1 , x 2 , x 3 ) 2 3 Ento, o fecho de A : x5x3x2x1( A 1 ( x 2 , x 5 ) x 2 A 1 ( x 1 , x 2 , x 3 )

Exerccio 40: Dar o fecho das seguintes fbfs: 3 1 1) A 1 ( x1 , x 2 , x 3 ) A 1 ( x 4 ) 2 3 2) x1 (A 1 ( x1 , x 2 ) A 1 ( x 3 , x 4 , x 5 )) 3 4 3) A 1 ( x1 , a 1 , x 3 ) x1A 1 ( x1 , x 2 , x 3 , x 5 )

(VI) M A se e somente se M xi A
Prova: () Assuma M A . Ento, toda seqncia em S satisfaz A . Em particular, toda seqncia s' que difere de s (uma seqncia qualquer) no mximo no i-simo componente satisfaz A , isto , s satisfaz xi A . Como s uma seqncia qualquer, toda seqncia satisfaz xi A e, portanto, xi A verdadeira para M, isto , M xi A. () Assuma M xi A. Ento toda seqncia em S satisfaz xi A . Se s uma seqncia qualquer, ento s satisfaz xi A sse toda seqncia s' em S que difere de s no mximo no i-simo componente satisfaz A . Como s uma seqncia qualquer, qualquer seqncia satisfaz A . Logo, A verdadeira para M, isto , M A .

58

Uma instncia de uma forma sentencial uma fbf obtida dessa forma sentencial substituindo-se uniformemente todas as letras sentenciais por fbfs.
Obs.: uniformemente - todas as ocorrncias da mesma letra sentencial devem ser substitudas pela mesma fbf. Exemplo Forma sentencial: (A1 A2) A2 2 2 Instncia: A 1 ( x 1 ) A 1 ( x 1 , x 2 )) A 1 ( x 1 , x 2 ) 1

Exerccio 41: D instncias para as formas sentenciais abaixo: 1) A1 (A2 A1) 2) A1 (A1 A2) (VII) Toda instncia de uma tautologia verdadeira para qualquer interpretao. Prova: Deixada como exerccio ( Exerccio 42) Sugestes para a prova: 1) Mostrar que todas as instncias dos axiomas de L so verdadeiras em qualquer interpretao. 2) Use item III de satisfabilidade (MP) 3) Use proposio 1.13 ( Completude ) Para provarmos o item (VIII) da satisfabilidade que vem a seguir, necessrio provarmos antes o seguinte Lema: Lema: Se todas as variveis em um termo t ocorrem na lista x i1 ,...., x i k ( k =
0; quando k = 0, t no tem variveis livres e s*(t) = (s')*(t), para toda s e s'), th e se as seqncias s e s' tem os mesmos componentes nos i1 ,...., i th lugares, k ento s*(t) = (s')*(t). Prova: (Por induo no nmero m de smbolos de funo em t) 1) Base: m = 0 Temos 2 casos a considerar: 1.1) t uma constante individual ap Ento, s*(ap) = (s')*(ap) 1.2) t uma varivel x i j

59

Ento s*( x i j ) = si j = s' i j = (s')*( x i j )

2) Hiptese da Induo: O que se quer provar vale para todos os inteiros positivos menores do que m. 3) Passo Indutivo: Vamos provar que vale para m. Prova: t da forma f jn ( t 1 ,...., t n )

Para q = n, cada tq tem menos smbolos de funo do que m e todas as suas variveis ocorrem entre x i1 ,..., x i k . Ento, por hiptese da induo, s*(tq) =
(s')*(tq). Assim, s*(t) = s*( f jn (t1,....,tn)) = ( f jn )M(s*(t1),...,s*(tn)) = ( f jn )M((s')*(t1),...,(s')*(tn)) - (Por hip. da induo) = (s')*( f jn (t1,....,tn)) = (s')*(t)
Lembrando a prova por induo matemtica P = propriedade qualquer P(0) - Base Supondo P(n), provar que P(n + 1) Logo, n P(n) Em alguns casos: P(1) k=n P(k), ento P(n+1) Logo, n P(n)

Agora, vamos provar o item (VIII) de satisfabilidade. (VIII) Se as variveis livres (se alguma) de uma fbf A ocorrem na lista x i1 ,..., x i k , e se as seqncias s e s' tem os mesmos componentes nos
th i1 ,...., i th lugares, ento s satisfaz A sse s' satisfaz A . (Sugesto: Use k induo no nmero de conectivos e quantificadores em A , isto , use induo na construo das fbfs).

Prova: Induo no nmero r de conectivos e quantificadores em A . 1) Base: A uma fbf atmica, isto , A da forma A n ( t 1 ,..., t n ) . Logo, r = 0. j Ento, todas as variveis de cada ti ocorrem entre x i1 ,..., x i k . Assim, pelo Lema anterior, temos s*(ti) = (s')*(ti).

60

Mas, s satisfaz A n ( t 1 ,..., t n ) sse s*(t1),....,s*(tn) ( A n )M sse (pelo Lema) j j (s')*(t1),....,(s')*(tn) ( A n )M sse s' satisfaz A n ( t 1 ,..., t n ) . j j 2) Hiptese da Induo: Assuma que, o que se quer provar vale para todo q < r. 3) Passo Indutivo: Vamos provar que vale para r, isto , vamos provar que vale para B e para B C . 3.1) A da forma B Provar: s satisfaz B sse s' satisfaz B. Prova: s satisfaz B sse s no satisfaz B sse s' no satisfaz B (por H.I.) sse s' satisfaz B . 3.2) A da forma B C Provar: s satisfaz B C sse s' satisfaz B C Prova: Por H.I., temos: s satisfaz B sse s' satisfaz B s satisfaz C sse s' satisfaz C Ento, s satisfaz B C sse s no satisfaz B ou s satisfaz C sse s' no satisfaz B ou s' satisfaz C (por H.I.) sse s' satisfaz B C . 3.3) A da forma xj B (As variveis livres de B ocorrem entre x i1 ,...., x i k e xj ) Provar: s satisfaz xj B sse s' satisfaz xjB. Prova: () Assuma s satisfaz xj B . Ento, qualquer seqncia que difere de s no mximo no jsimo lugar satisfaz B . Seja s# qualquer sequncia diferindo de s' no mximo no jth lugar. Seja sb uma seqncia que tem os mesmos componentes que s exceto no jth lugar, onde ela tem o mesmo componente que s#. Ento sb satisfaz B (j que toda seqncia que difere de s no mximo no jh lugar satisfaz B). th Desde que sb e s# concordam nos i1 ,...., i th e jth lugares, seguek b # se, por hiptese da induo, que s satisfaz B sse s satisfaz B . Como sb satisfaz B, temos por MP que s# satisfaz B . Portanto, s' satisfaz xjB .
Explicao: Seja A ; x1B

61

Por hiptese: 1) As variveis livres de B ocorrem entre x i1 ,...., x i k e xj (j =1)

th 2) s e s' tem os mesmos componentes nos i 1 ,...., i th lugares. k Ento: (Exemplo) s = (a,b,c,d,e,f,g,a,b,c,.......)

s' = (-, - ,c, -, e,- g,-,-,-,..........) th i 1 ,...., i th k s# = ( , - , c, - , e , - , g, -, - ......) - igual a s' diferindo no mximo no j-simo lugar, isto th jth i 1 ,...., i th k
(j=1) sb = (, b, c, d, e, f ,g ,a,b,c,.......... jth (j=1)
th i 1 ,...., i th k

1)Como sb difere de s apenas no jth lugar , ento sb satisfaz B. th 2)Desde que sb e s# concordam nos i 1 ,...., i th e jth lugares podemos aplicar a hiptese da k

induo: sb satisfaz B sse s# satisfaz B . 3) Por MP, de 1 e 2, s# satisfaz B . 4) Ora, s# uma seqncia qualquer que difere de s' no mximo no j-simo lugar e satisfaz B (pelo item 4). Logo, s' satisfaz xjB, isto , s' satisfaz A .

Prova () : Deixada como exerccio ( Exerccio 43) (IX) Se A uma fbf fechada, ento para qualquer interpretao M, ou A A , isto , ou A verdadeira para M ou A falsa para M. (Sugesto: use VIII). Prova: Deixada como exerccio (Exerccio 44) - Naturalmente, A (fechada) pode ser verdadeira para algumas interpretaes e falsa para outras (Como um exemplo, considere A 1 (a 1 ) ). 1
- Se A no fechada, isto , se A contm variveis livres, A pode ser nem verdadeira nem falsa para algumas interpretaes. (Veja exemplo j dado na
pgina 56 deste texto).

- Por outro lado, existem fbfs que no so fechadas mas que, no obstante, so verdadeiras ou falsas para qualquer interpretao. Um simples exemplo a fbf A 1 ( x1 ) A 1 ( x1 ) que verdadeira para qualquer interpretao. 1 1

62

Qualquer instncia de uma tautologia, mesmo sendo aberta, verdadeira para qualquer interpretao. Qualquer instncia de uma contradio, mesmo sendo aberta falsa para qualquer interpretao. (X) Assuma que t livre para xi em A(xi). Ento, xiA(xi)A(t) verdadeira para todas as interpretaes.
-Para provar esta proposio Mendelson utiliza dois lemas. As provas dos lemas e da proposio no sero mostradas neste curso. Para qualquer dvida, consulte o livro do Mendelson.

(XI) Se A no contm xi livre, ento xi(AB)(AxiB) verdadeira para todas as interpretaes. Prova: (Vamos acompanhar a prova que est no livro de Mendelson). Assuma que (XI) no correta. Ento, xi(AB)(AxiB) no verdadeira para alguma interpretao. Pela condio 3 da definio de satisfabilidade, existe uma seqncia s tal que s satisfaz xi(AB) e s no satisfaz (AxiB). Como s no satisfaz (AxiB), s satisfaz A e s no satisfaz xiB. Pela condio 4 de satisfabilidade, como s no satisfaz xiB temos que existe uma seqncia s' que difere de s no mximo no i-simo componente tal que s' no satisfaz B. Desde que xi no livre nem em xi(AB) nem em A e, desde que s satisfaz ambas, segue-se por (VIII) que s' tambm satisfaz ambas. Uma vez que s' satisfaz xi(AB) segue-se, pela condio 4 de satisfabilidade que s' satisfaz A B. Desde que s' satisfaz A B e s' satisfaz A temos, pelo tem (III), que s' satisfaz B, o que contradiz o fato de que s' no satisfaz B. Portanto, (XI) est provada. Definies: (Def. 1) Uma fbf A logicamente vlida se e somente se ela for verdadeira para qualquer interpretao. (Def. 2) A satisfatvel sse existe uma interpretao na qual A satisfeita por pelo menos uma seqncia em .

63

bvio que: a) A logicamente vlida sse A no satisfatvel b) A satisfatvel sse A no logicamente vlida Se A uma fbf fechada, sabemos que A verdadeira ou falsa para uma dada interpretao, isto , A satisfeita por todas as seqncias ou por nenhuma. Portanto, se A fechada ento A satisfatvel sse A verdadeira para alguma interpretao. (Def. 3) Uma fbf A contraditria sse A falsa para qualquer interpretao ou, equivalentemente, sse A logicamente vlida. (Def. 4) Uma fbf A implica logicamente uma outra fbf B sse, em qualquer interpretao, toda seqncia que satisfaz A tambm satisfaz B. De uma maneira mais geral, B uma conseqncia lgica de um conjunto de fbfs sse, em qualquer interpretao, toda seqncia que satisfaz toda fbf em tambm satisfaz B. (Def. 5) Duas fbfs A e B so logicamente equivalentes sse cada uma implicar logicamente a outra. As seguintes proposies so fceis conseqncias das definies acima: 1) A implica logicamente B sse A B logicamente vlida. Prova: (): Assuma que A implica logicamente B. Ento, em qualquer interpretao, toda seqncia que satisfaz A tambm satisfaz B. Assim, AB verdadeira para qualquer interpretao (item 3 de satisfabilidade) e, portanto, A B logicamente vlida (def. 1 acima). (): Assuma que A B logicamente vlida. Ento, A B verdadeira para qualquer interpretao (pela def. 1 acima). Logo, qualquer seqncia em satisfaz A B e, portanto, se toda seqncia satisfaz A tambm satisfaz B, isto , A implica logicamente B (pela def. 2 acima). 2) A e B so logicamente equivalentes sse A B for logicamente vlida. Prova: Deixada como exerccio (Exerccio 45).

64

3) Se A implica logicamente B e A verdadeira numa dada interpretao, ento B verdadeira nesta dada interpretao tambm. Prova: Deixada como exerccio (Exerccio 46). 4) Se B uma conseqncia de um conjunto de fbfs e todas as fbfs em so verdadeiras numa dada interpretao, ento B tambm verdadeira nesta dada interpretao. Prova: Deixada como exerccio (Exerccio 47). Qualquer sentena de uma linguagem qualquer (formal ou natural) que uma instncia de uma fbf logicamente vlida chamada logicamente verdadeira, e toda instncia de uma fbf contraditria chamada logicamente falsa. EXEMPLOS: 1) Toda instncia de uma tautologia logicamente vlida. Prova: Por (VIII) toda instncia de uma tautologia verdadeira para qualquer interpretao. Ento, pela Def. 1, temos que toda instncia de uma tautologia logicamente vlida. 2) Se t livre para x em A(x), ento xA(x)A(t) logicamente vlida. Prova: Por (X), xA(x)A(t) verdadeira para todas as interpretaes. Ento, pela Def.1, temos que xA(x)A(t) logicamente vlida. 3) Se A no contm x livre, ento x(AB)(AxB) logicamente vlida. Prova: Deixada como exerccio (Exerccio 48) 4) A logicamente vlida sse y1,.....,yn A logicamente vlida. Prova: Deixada como exerccio (Exerccio 49)
2 2 5) A fbf x 2 x1A 1 ( x1 , x 2 ) x1x 2 A 1 ( x1 , x 2 ) no logicamente vlida. Como um contra exemplo, seja o domnio D o conjunto dos inteiros e seja 2 2 A 1 ( y, z) como y < z. Ento x 2 x1A 1 ( x1 , x 2 ) -(Todo inteiro tem um nmero 2 inteiro menor que ele) verdadeira, mas x1x 2 A 1 ( x1 , x 2 ) - (Existe um inteiro menor do que qualquer inteiro) falsa.

Exerccio 2.16 - Mendelson

65

Mostre que as seguintes fbfs no so logicamente vlidas: 1 (a) (x1A 1 ( x1 ) x1A 1 ( x1 )) x1 (A 1 ( x1 ) A 1 ( x1 )) 1 2 2 1 1 1 1 (b) (x1 (A 1 ( x1 ) A 2 ( x1 )) (x1A 1 ( x1 ) x1A 2 ( x1 ))
(Para mostrarmos que uma fbf no logicamente vlida damos um contra-exemplo, como Mendelson fez no exemplo (5) acima, isto , damos uma interpretao na qual a fbf no seja verdadeira)

Exerccio 2.17 - Mendelson Mostre que as fbfs abaixo so logicamente vlidas: (2.17 -a) A(t) xi A(xi) , se t livre para xi em A(xi) Prova (Mendelson): (xi A(xi) A(t))(A(t) xiA(xi)) logicamente vlida porque uma instncia da tautologia (A B)(B A). Por (x), xiA(xi) A(t) logicamente vlida. Logo, por (III), obtemos que A(t) xiA(xi) logicamente vlida. Outra prova: (Por reduo ao absurdo)
Suponha que A(t) xi A(xi) no logicamente vlida. Ento, ela no verdadeira para todas as interpretaes. Desse modo, existe uma interpretao na qual A(t) xi A(xi) no verdadeira e, portanto, existe uma seqncia s tal que s satisfaz A(t) e no satisfaz xi A(xi). Como s no satisfaz xi A(xi), s no satisfaz xiA(xi) e , assim, s satisfaz xiA(xi). Pelo item (x), conclumos que s satisfaz A(t). Logo, s satisfaz A(t) e s no satisfaz A(t), o que uma contradio. Portanto, A(t) xi A(xi) logicamente vlida.

(2.17 - b) xiA xiA Prova: (Por reduo ao absurdo)

Assuma que xiA xiA no logicamente vlida. Ento existe uma interpretao M para a qual ela no verdadeira. Logo, existe uma seqncia s de , tal que s satisfaz xiA e s no satisfaz xiA. Como s satisfaz xiA temos que toda seqncia s' que difere de s no mximo no i-simo lugar satisfaz A . Logo, existe uma seqncia s' que difere de s no mximo no i-simo lugar que satisfaz A e, portanto, s satisfaz xiA , o que uma contradio. Portanto, xiA xiA logicamente vlida.

2.17-d) xiA xiA Prova:

66

Devemos provar que xiA xiA logicamente vlida. Pelo item 2 da pgina 64 (texto), devemos provar que xiA logicamente equivalente a xiA e, portanto, devemos provar que xiA implica logicamente xiA e que xiA implica logicamente xiA , isto , pelo item 1 da pgina 64 (texto), que xiA xiA logicamente vlida e que xiA xiA tambm logicamente vlida. (): Vamos provar que xiA xiA logicamente vlida. Prova: Por reduo ao absurdo. Suponha que xiA xiA no logicamente vlida. Ento existe uma interpretao na qual xiA xiA no verdadeira e, portanto, existe uma seqncia s de tal que s satisfaz xiA e s no satisfaz xiA. Como s satisfaz xiA ento existe uma seqncia s' diferente de s no mximo no i-simo componente tal que s' satisfaz A. Como s no satisfaz xiA temos que s satisfaz xiA e, portanto, existe uma seqncia s' que difere de s no mximo no i-simo componente tal que s' satisfaz A. Como s' satisfaz A, conclui-se que s' no satisfaz A. Portanto obtemos que s' satisfaz A e s' no satisfaz A , o que uma contradio. Logo, xiA xiA logicamente vlida. () : Vamos provar que xiA xiA logicamente vlida. Prova : Deixada como exerccio (Exerccio 50) Outra prova: O exerccio (2.17 -d) pode tambm ser resolvido usando direto o se e somente se, da seguinte maneira: s satisfaz xiA sse toda seqncia s' s no mximo no i-simo componente satisfaz A sse no existe uma seqncia s' s no mximo no i-simo componente que satisfaa A sse s no satisfaz xi A sse s satisfaz xi A. (Observe que: s satisfaz xi A sse s no satisfaz xi A sse no existe s' s no mximo no i-simo componente que satisfaa A).

(2.17 - e) xi(A B) (xiA xiB ) Prova: Deixada como exerccio (Exerccio 51)