Logica para Computacao

Lgica para Computao
Universidade do Estado do Amazonas
Tecnologia em Anlise e Desenvolvimento de Sistemas (Sistema Presencial Mediado)
Computao
Lgica para
Ficha Tcnica
Governador Eduardo Braga Vice-Governador Omar Aziz Reitora Marilene Corra da Silva Freitas Vice-Reitor Carlos Eduardo S. Gonalves Pr-Reitor de Planejamento Osail Medeiros de Souza Pr-Reitor de Administrao Fares Franc Abnader Rodrigues Pr-Reitor de Extenso e Assuntos Comunitrios Rogelio Casado Marinho Filho Pr-Reitora de Ensino de Graduao Edna Mascarenhas Dias Pr-Reitor de Ps-Graduao e Pesquisa Jos Luiz de Souza Pio Coordenador Geral do Curso de Tecnologia em Anlise e Desenvolvimento de Sistemas (Sistema Presencial Mediado) Odwald Schreder Coordenadora Pedaggica ngela Timtia Pereira Lima Coordenador Tcnico Administrativo Ednaldo Coelho Pereira Diagramao, Formatao e Capa Aurelino da Silva Bentes Reviso XXXXXXXXXXX
Perfil dos Autores
Salvador Ramos Bernardino da Silva (Coordenador) Professor da Escola Superior de Tecnologia (EST/UEA) Especialista em Desenvolvimento de Sistemas UFAM
Manoel S. S. Azevedo Professor da Escola Superior de Tecnologia (EST/UEA) Mestre em Engenharia Eltrica-UFCG
Cludio de Oliveira Santos Professor da Escola Superior de Tecnologia (EST/UEA) Especialista em Metodologia do Ensino Superior - FSDB
Palavra da Reitora
Ns ltimos anos, o avano da tecnologia da informtica mudou os conceitos de ensino e de trabalho. A preocupao com o que se denominou de incluso digital passou a ser um problema urgente a ser enfrentado pelos dirigentes do Pas, j que todos os processos de novas tecnologias desguam no conhecimento de informtica. No Amazonas, a dificuldade de locomoo na regio, por falta de rodovias, por sua grande extenso territorial, pela baixa densidade demogrfica e pelo subdesenvolvimento secular imposto populao ribeirinha, torna-se rduo o esforo do Governo para tornar realidade incluso digital. A UEA, que j nasceu moderna, incorporando tecnologias educacionais de ponta, utilizando-se particularmente da informtica pela massificao do uso de microcomputadores combinados com uma rede complexa de acesso Internet, no poderia ficar alheia a essa necessidade premente. Por isso, props e realizou o primeiro vestibular para levar a 12 municpios um curso que formasse a mo-de-obra inicial que tornasse a incluso digital uma realidade em nosso Estado. A proposta do curso de Tecnologia em Anlise e Desenvolvimento de Sistemas oferecido pela UEA vislumbra criar mo-de-obra qualificada em um nmero significativo de localidades do Estado, cabendo s pessoas beneficiadas com essa iniciativa a tarefa de irradiar o uso de tecnologias de informtica, abrindo caminhos novos e suscitando novos empregos para a populao local, consolidando, assim, o exerccio da cidadania.
Professora Doutora Marilene Corra da Silva Freitas

Reitora da Universidade do Estado do Amazonas
Sumrio
1. INTRODUO . . . . . . . . 1.1 O que lgica? . . . . . 1.2 Origem da lgica . . . 1.3 Classificao da lgica:
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
. . . .
11 11 12 13
2. A LGICA PROPOSICIONAL . . . . . . . . . . . . . . . . . . . . . . . 15 2.1 Elementos fundamentais da sintaxe da linguagem da Lgica Proposicional: . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 2.1.1 Formalizao de uma proposio: . . . . . . . . . . . 19 2.2 Semntica da lgica proposicional . . . . . 2.2.1 Interpretao dos conectivos lgicos 2.2.1.1 Negao de uma proposio . . 2.2.1.2 Conjuno de duas proposies 2.2.1.3 Disjuno . . . . . . . . . . . . . 2.2.1.4 Condicional . . . . . . . . . . . . 2.2.1.5 Bicondicional . . . . . . . . . . . 2.2.1.6 Disjuno exclusiva . . . . . . . 2.2.2 Interpretao de uma fbf . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 23 23 26 27 28 29 30 31 34 34 35 43 43 43 44 45 45 49 49 53 54 55 61 65 65 74
3. O CLCULO PROPOSICIONAL . . . . . . . . . . . . . . . 3.1 Ordem de precedncia entre os operadores . . . 3.2 Tabela verdade. . . . . . . . . . . . . . . . . . . . . 3.3 Propriedades semnticas da lgica proporcional 3.3.1 Tautologia . . . . . . . . . . . . . . . . . . . . 3.3.2 Contradio . . . . . . . . . . . . . . . . . . 3.3.3 Frmula satisfatvel . . . . . . . . . . . . . . 3.3.4 Equivalncia lgica . . . . . . . . . . . . . . 3.3.5 Implicao lgica . . . . . . . . . . . . . . .
4. VALIDADE DE UM ARGUMENTO. . . . . . . . . . . . . . . . 4.1 Argumento . . . . . . . . . . . . . . . . . . . . . . . . 4.2 Mtodos para avaliar a validade de um argumento 4.2.1 Mtodo da tabela verdade . . . . . . . . . . . 4.2.2 Mtodo da rvore Semntica . . . . . . . . . . 4.2.3 Mtodo da negao (ou absurdo) . . . . . . . 4.2.4 Deduo lgica . . . . . . . . . . . . . . . . . . 4.2.4.1 Regras de deduo . . . . . . . . . . . . . 4.2.4.2 Outras regras de deduo: . . . . . . . .
09
5. QUANTIFICADORES . . . . . . . . . . . . . . . . . . . . . . . . . . . 78 5.1 Quantificador universal e existencial . . . . . . . . . . . . . 81 6. RECORRNCIA . . . . . . . . . . . . . . . . . . . . . . 6.1 Seqncia definida por recorrncia . . . . . . 6.2 Algoritmo definido por recorrncia . . . . . . 6.2.1 Construindo uma algoritmo recorrente . 6.2.2 Como um algoritmo recorrente executa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88 88 91 91 95
Bibliografia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 Respostas dos Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 98 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
10
Tecnologia em Anlise e Desenvolvimento de Sistemas Lgica para Computao
Captulo I
Introduo
A atividade de desenvolver sistemas leva, com freqncia, o desenvolvedor a lidar com raciocnios e estruturas lgicas. Um programa de computador um problema estruturado dentro de um formato lgico especfico. A programao de computadores uma atividade que requer o desenvolvimento da lgica de programao, que, por sua vez, tem seus fundamentos na lgica matemtica.
1.1 O que lgica?

A lgica uma cincia de ndole matemtica e fortemente ligada Filosofia. J que o pensamento a manifestao do conhecimento, e que o conhecimento busca a verdade, preciso estabelecer algumas regras para que essa meta possa ser atingida. Assim, a lgica o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar. A lgica estuda os princpios e mtodos usados para distinguir o raciocnio correto do incorreto. (COPI, 1978, p. 19). 11
Tecnologia em Anlise e Desenvolvimento de Sistemas
Lgica para Computao
Lgica a cincia do raciocnio. (Malba Tahan) Lgica a cincia das leis do pensamento e a arte de aplica-las corretamente na pesquisa e na demonstrao da verdade. (R. Solivete) A Lgica a cincia que dirige, por meio de leis, as operaes de nossa razo, para que ordenada, facilmente alcance a verdade. (Sinibaldi) No se pretende afirmar, com essas definies, que s se pode argumentar corretamente com uma pessoa que tenha estudado lgica. Assim como um bom nadador no necessita estudar fsica e a fisiologia do seu corpo para nadar bem, uma pessoa pode argumentar corretamente sem ter estudado lgica. No entanto, quando a pessoa estuda lgica e pratica os exerccios correspondentes, tem maior possibilidade de raciocinar corretamente. (COPI, 1978, p. 19).
1.2 Origem da lgica.

O estudo da lgica foi iniciado pelo filsofo grego Aristteles (384 322 a.C.), nascido em Estagira, na Macednia. Criou a Cincia da lgica, cuja essncia era a teoria do silogismo. Reuniu essa teoria nos escritos denominados rganon, ou Instrumento da Cincia. Ainda na Grcia, distinguiram-se duas escolas, a PERIPATTICA, derivada de Aristteles e a ESTICA, fundada por 12 Zeno (326 264 a.C.) e desenvolvida por Crisipo (280 250 a.C.).
Lgica para Computao
No perodo que vai de Aristteles at o sculo XIX, no foram registrados estudos significativos sobre lgica, exceto os trabalhos desenvolvidos por Gottfried Wilhem Leibiniz (1646 1716), que s foram apreciados e conhecidos no sculo XIX. O Perodo Booleano (1840 1920) iniciou-se com as obras de George Boole e Augustus de Morgan, que publicaram os fundamentos da chamada lgebra da lgica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC. A partir do sculo XIX, diversos estudiosos dedicaram-se ao estudo da lgica. Surgiram outros ramos da lgica.
1.3 Classificao da lgica:

No h unanimidade quanto classificao da lgica. Alguns autores classificam a lgica como: a) Lgica Indutiva ocupa-se dos argumentos indutivos e dos testes para medir a probabilidade indutiva. b) Lgica dedutiva a lgica na qual, dada uma causa, possvel determinar suas conseqncias. A lgica dedutiva , freqentemente, dividida em: a) Lgica clssica Considerada como o ncleo da lgica dedutiva. o que chamamos hoje de CLCULO DE PREDICADOS. Trs princpios regem a Lgica Clssica: 1. da IDENTIDADE: A A, ou seja, uma coisa ela prpria sem possibilidade de contestao.
13
Lgica para Computao
2. da CONTRADIO: A no pode ser, ao mesmo tempo A e no-A, ou seja, ou A ou no A. 3. do TERCEIRO EXCLUDO: A ou Y ou Z, no admitindo uma terceira possibilidade. Exemplo: A ou tem valor verdadeiro ou tem valor falso e no admite um terceiro valor. b) LGICAS COMPLEMENTARES DA CLSSICA: So lgicas que tm alguns princpios alm dos princpios da lgica clssica e, de alguma forma complementam a lgica clssica. Exemplos: lgicas modal, que adiciona lgica clssica o princpio das possibilidades; lgica dentica, que agrega os princpios dos direitos, obrigaes e proibies; lgica epistmica, agrega o princpio da certeza, etc. c) LGICAS NO-CLSSICAS: Assim caracterizadas por derrogarem algum ou alguns dos princpios da lgica clssica. Exemplos: paracompletas e intuicionistas (derrogam o princpio do terceiro excludo); paraconsistentes (derrogam o princpio da contradio); no-alticas (derrogam o terceiro excludo e o da contradio); no-reflexivas (derrogam o princpio da identidade); a lgica difusa (fuzzy logic), que trabalha com estados intermedirios ou gradaes, como o caso, ao se estudar a varivel temperatura, que pode assumir estados intermedirios entre o estado quente e frio, entre outras.
14
Captulo II
A Lgica Proposicional
A lgica proposicional (simblica ou matemtica) no difere da lgica clssica em essncia, mas distingue-se dela pelo uso de uma linguagem tcnica especfica, que lhe d mais rigor, tornando-se um instrumento mais eficaz para a anlise e deduo formal.
2.1 Elementos fundamentais da sintaxe da linguagem da Lgica Proposicional:

Uma linguagem um conjunto de smbolos destinados a transmitir idias. Toda linguagem tem sua sintaxe: as regras que dizem quais formaes simblicas so vlidas para aquela linguagem. Na lngua portuguesa os smbolos caza, cekql, no tm significado porque no esto de acordo com a sintaxe da lngua. De acordo com Souza (2002, p. 4), o conjunto de smbolos que constitui a sintaxe da linguagem da Lgica Proposicional composto dos seguintes elementos: a) Alfabeto constitudo por: a) smbolos de pontuao: () , . b) smbolos de verdade: true, false. c) smbolos proposicionais: P, Q, R, S, P1, Q1, S1, A, B, ... 15 d) conectivos proposicionais: , , , , .
Lgica para Computao
Os smbolos de pontuao so diferentes dos utilizados na sintaxe da lngua portuguesa. Os smbolos de verdade so originrios da lngua inglesa. H autores que utilizam T e F para represent-los. Nesse contexto, sero utilizados os smbolos V e F, significando os valores verdadeiro e falso, respectivamente. Quantos smbolos proposicionais existem? Pelo exemplo acima, percebe-se que so infinitos, o que torna o alfabeto da linguagem da Lgica Proposicional infinito, ao contrrio do alfabeto de muitas outras linguagens, como o da lngua portuguesa. Os conectivos proposicionais so utilizados com freqncia na Matemtica. denominado no. Alguns autores utilizam (apstrofo) como smbolo de negao. Ser adotado ~ (til) para representar negao. Os outros conectivos so , que se l e, , denominado ou, , para representar implicao e denominado se e somente se, bi-implicao ou bicondicional. Os conectivos lgicos sero vistos em detalhe na seo 2.2 b) Proposio uma sentena declarativa afirmativa, a respeito da qual se pode afirmar que falsa ou verdadeira. Vejamos as seguintes sentenas: Manaus uma capital. Proposio Ela muito inteligente. No proposio pois ela no est especificada. Que horas so? uma pergunta e no pode ser uma proposio. Paris uma cidade brasileira.
16
Lgica para Computao
Proposio Cinco menor que oito. Proposio. Proposies podem ser representadas por letras. Na forma acima, uma proposio est em linguagem corrente. Quando se representa uma proposio por uma letra, usa-se a linguagem simblica. Exemplos: A casa nmero 5 amarela. Pode ser representada pela letra maiscula P. A lua feita de queijo. Pode ser representada pela letra Q. P e Q, acima, so proposies, pois so sentenas s quais se pode atribuir um valor verdade (ou valor lgico) falso ou verdadeiro. Proposies podem ser: Simples (ou atmicas): quando expressam uma nica idia. A lua quadrada um exemplo de proposio simples. Compostas (ou moleculares): quando so formadas por duas ou mais proposies simples, como: A casa grande e o carro bonito, Proposies compostas podem no serem unidas por conectivos. Exemplo: Joo gosta de correr. Jos gosta de andar. O valor de uma proposio chamado de valor lgico ou valor verdade da proposio e pode ser VERDADEIRO ou FALSO.
17
Lgica para Computao
EXERCCIOS
1. Marque as sentenas abaixo que so proposies, simples ou compostas. Para as sentenas que no so proposies, explique porque no o so. a) b) c) d) e) f) ( ( ( ( ( ( ) ) ) ) ) ) ) ) ) ) ) ) ) Os gatos tm trs patas. Joo alto. Ela bonita. A casa pequena. Quem est batendo porta? Muitos foram chamados, mas poucos foram selecionados. Talvez eu v ao teatro. 2+2=4 x+y=8 O planeta Marte habitado. Possivelmente chover hoje. Falar fcil. Difcil fazer. Quem falou?
g) ( h) ( i) ( j) ( k) ( l) ( m) (
c) Frmulas Construdas a partir dos smbolos do alfabeto, conforme as seguintes regras: a) Todo smbolo de verdade uma frmula; b) Todo smbolo proposicional uma frmula; c) Se H uma frmula ento ~H uma frmula (negao) d) Se H e G so frmulas ento: H G uma frmula (disjuno) H G uma frmula (conjuno) H G uma frmula (condicional) H G uma frmula (bicondicional)
18
Lgica para Computao
O item a) define as frmulas mais simples: os smbolos de verdade, que so VERDADEIRO e FALSO. O item b) define os smbolos proposicionais. Se Q representa uma proposio, Q uma frmula da lgica proposicional. A negao de uma proposio tambm considerada uma frmula, conforme a regra c). A quarta regra define que duas frmulas (lembre que um smbolo proposicional uma frmula) combinadas por um conectivo lgico formam uma nova frmula. Frmulas do tipo B , P ))A B C, A no so frmulas vlidas na lgica proporcional, pois no esto de acordo com as regras de formao acima. Pode-se dizer que so frmulas mal formuladas. As cadeias (A C) B e (A B C) (B B1), so cadeias vlidas na Lgica Proposicional. Uma cadeia vlida chamada de frmula bem formulada, ou, de forma abreviada, fbf. Obs.: Alguns autores adotam wff (em vez de fbf) que a abreviao da expresso well formed formula, no idioma ingls. 2.1.1 Formalizao de uma proposio: As informaes da Tabela 1 ajudam a escrever frmulas da lgica proposicional, a partir de sentenas na linguagem corrente. Seja a sentena: Se Joo Gosta de Maria, ento Maria feliz. Joo gosta de Maria. Logo, Maria feliz. 19
Lgica para Computao
Expresso em Portugus E, mas, tambm, alm disso, ponto final entre duas proposies Ou Se A ento B A implica B A logo B A s se B, A somente se B A uma condio suficiente para B Basta A para B B uma condio necessria para A A se e somente se B A condio necessria e suficiente para B
Conectivo lgico conjuno disjuno
Expresso Lgica A B A B
Condicional
A B
Bicondiconal (equivalncia)
A B
Tabela 1 Indicaes para formalizao de uma proposio (Geristing, 2001, p. 4).
Nessa afirmao, algumas proposies simples podero ser identificadas: Proposio simples - Joo gosta de Maria - Maria feliz Representao P Q
Representao na lgica proporcional: (P Q) P Q. Outro exemplo: Se Maria gosta de Jos e Jos feliz, ento Maria feliz. Mas, se Maria no gosta de Jos, e Jos no feliz, ento Maria no feliz. Identificamos: Proposio simples Maria gosta de Jos Jos feliz Maria feliz Representao P Q R
20
Lgica para Computao
Representao da sentena, como uma fbf: (P Q) R ((~P ~Q) ~R) Tendo-se uma frmula da lgica proposicional e conhecendo-se o significado de cada proposio simples que a compe, possvel escrever uma sentena na linguagem corrente que represente essa frmula. Considerando A Jos atleta, B Jos gosta de correr e C Jos magro possvel escrever as frmulas da lgica proposicional dadas abaixo, como uma sentena na linguagem corrente: a) A B b) A B ~C c) A B d) (A B) C e) A (B C) No h uma nica maneira de escrever cada uma das frmulas acima como uma sentena do nosso idioma. Apresentamos, abaixo, alguns exemplos de como cada uma pode ser escrita: a) Se Jos atleta, ento gosta de correr. Jos atleta, logo gosta de correr. Jos ser atleta implica em gostar de correr. b) Jos atleta, gosta de correr mas no magro. Jos atleta, gosta de correr e no magro. Jos atleta. Jos gosta de correr. Jos no magro. c) Jos ser atleta se, e somente se, gostar de correr. d) Se Jos atleta ou gosta de correr, ento Jos magro. Jos atleta ou gosta de correr. Portanto, Jos magro. e) Jos ser atleta se, e somente se, gostar de correr e for magro. 21
Lgica para Computao
EXERCCIOS
1. Considere as proposies simples A Est frio, B Est chovendo e C Est quente. Observando a Tabela 1 e usando o alfabeto da lgica proposicional, representar as proposies: a) Est frio e est chovendo. b) Est frio mas no est chovendo. c) Est chovendo ou est quente. d) Se est frio ento no est quente. e) Estar frio se, e somente se, estiver chovendo. f) Est quente ou est chovendo. g) Se est frio e est chovendo, ento no est quente. h) Se est quente, ento no est chovendo nem est frio. i) Estar frio condio suficiente para chover. j) Est chovendo, logo no est quente. k) Estar chovendo implica em estar frio. 2. Considere P A casa bonita, Q A porta pequena e R A janela grande. Escreva uma sentena em linguagem corrente correspondente s seguintes frmulas da lgica proposicional: a) P Q f) P Q b) P Q g) P Q c) ~P h) ~(P Q) d) (P Q) R i) (P Q) (P R) e) ((P Q) R) Q j) Q (P R)
2.2 Semntica da lgica proposicional

A semntica de uma linguagem se ocupa dos significados dos smbolos sintticos dessa linguagem. No basta escrever corretamente uma fbf. Faz-se 22 necessrio atribuir valores a essas frmulas.
Lgica para Computao
2.2.1 Interpretao dos conectivos lgicos A semntica dos elementos sintticos da Lgica Proposicional uma funo cujo domnio so as fbf da lgica proposicional e cujo contradomnio o conjunto {V, F}, ou seja, a interpretao de uma proposio simples resultar em V ou F. Por esse motivo, ela chamada lgica bivalente. Antes de passar semntica de cada conectivo lgico, vejamos algumas consideraes sobre a construo de tabela verdade. Uma forma de avaliar o valor lgico de uma proposio construir a tabela verdade para essa proposio. Inicia-se a construo de uma tabela verdade fazendo todas as combinaes possveis dos valores verdade de cada proposio simples. Uma proposio simples tem a tabela verdade formada por duas linhas, pois s pode ter dois valores verdade possveis: verdadeiro ou falso. Se a proposio for composta por duas proposies simples, P e Q, por exemplo, sero possveis quatro combinaes de valores verdade simultaneamente: ambas falsas, ambas verdadeiras e uma falsa e outra verdadeira. Escrevendo essas possibilidades em forma de tabela temos: Uma proposio P V F Duas proposies P V V F F Q V F V F
2.2.1.1 Negao de uma proposio A negao de uma proposio P obtida acrescentando-se falso que ou No verdade que antes de P ou inserindo-se a palavra no em P. Representa-se a negao por ~P (alguns autores usam P, outros preferem P'). 23
Lgica para Computao
Observe exemplos de negao de uma proposio na Tabela 2.

Proposio Manaus est no Brasil. Manaus no est no Brasil. falso que Manaus est no Brasil. No verdade que Manaus no est no Brasil 3+4=5 falso que 3 + 4 = 5 3+4 5
Tabela 2 Valor verdade de uma proposio.
Valor verdade Representao (valor lgico) simblica V F F V F V V P ~P ~P ~(~P) Q ~Q ~Q
A negao de uma proposio deve ser feita com cuidado, principalmente quando se trata de uma proposio composta. Observe a tabela 3.
Proposio O dia est quente Negao correta O dia no est quente. falso que o dia est quente. No verdade que o dia est quente. falso que Paulo seja baixo e gordo. Paulo no baixo ou no gordo Paulo alto ou magro. Paulo alto e magro. Observar que basta que ele no tenha um dos atributos para estar negada a afirmao inicial. O rio no raso ou est poludo Negao incorreta
Paulo baixo e gordo
O rio raso ou no falso que o rio seja raso ou est poludo no esteja poludo. No verdade que o rio raso ou no est poludo O rio fundo e est poludo
Tabela 3 Negao de uma proposio.
importante observar que, ao negar uma proposio composta, quando se nega cada proposio simples deve-se 24 negar tambm o conectivo.
Lgica para Computao
Tabela verdade da negao:
P V F
~P F V
EXERCCIOS
1. D a negao das seguintes proposies: a) O processador rpido, mas a impressora lenta. b) O processador rpido ou a impressora lenta. c) Pepinos so verdes e no tm sementes. d) A comida boa ou o servio excelente. e) Nem a comida boa nem o servio excelente. 2. D o valor lgico das proposies: a) 16 no um nmero mpar. b) No verdade que 14 um nmero mpar. c) No verdade que 11 no um nmero par. d) 3 + 5 8 e) O Solimes o menor rio do mundo. 3. Qual das seguintes proposies representa ~A se A a proposio Jlia gosta de sorvete mas detesta creme. a) Jlia detesta sorvete e creme. b) Jlia no gosta de sorvete nem de creme. c) Jlia no gosta de sorvete mas adora creme. d) Jlia odeia sorvete ou gosta de creme.
25
Lgica para Computao
2.2.1.2 Conjuno de duas proposies Quando duas proposies so combinadas pelo conectivo e formam uma proposio composta, chamada conjuno. A conjuno e entre duas proposies P, Q representada por P Q e se l P e Q. Exemplos: (1) Paris est na Frana (2) Paris est na Frana (3) Paris est na Inglaterra (4) Paris est na Inglaterra
e e e e
2 + 2 = 4. 2 + 2 = 5. 2 + 2 = 4. 2 + 2 = 5.
As quatro proposies acima podem ser representadas por P e Q ou, na linguagem simblica, por P Q. No exemplo (1), P e Q so ambas verdadeiras. Nesse caso, a conjuno verdadeira. Nos exemplos (2) e (3) uma verdadeira e outra falsa. A conjuno resulta em valor verdade (ou valor lgico) falso. No ltimo exemplo, ambas as proposies, P e Q, so falsas e a conjuno tambm resulta em falso. Concluso: A conjuno entre duas proposies s verdadeira se ambas o forem. Tabela verdade da conjuno:
P V V F F Q V F V F P Q V F F F
26
Lgica para Computao
EXERCCIOS
1. D o valor lgico das proposies abaixo: a) 4 par e 6 mpar b) 4 = 2 + 2 e 5 + 5 = 10 c) A lua um satlite e a Terra um planeta. d) Roma capital da Frana e Londres capital do Brasil. e) 6 + 4 = 12 e Manaus a capital do Amazonas. 2.2.1.3 Disjuno A proposio Joo alto ou Maria bonita uma proposio composta, onde Joo alto uma proposio simples e Maria bonita outra proposio simples. Quando se unem essas duas proposies simples pelo conectivo ou, temse uma proposio composta. A proposio composta obtida pela combinao de duas proposies simples e a palavra ou (com sentido e/ou), chamada de disjuno. A disjuno das proposies P e Q representada por P Q. O valor verdade da proposio composta acima ser determinado pelo valor verdade de cada uma das proposies simples que a formam. Se for verdade apenas a proposio Joo alto ou apenas a proposio Maria bonita ou, ainda, se ambas as proposies forem verdadeiras, a conjuno resultar em valor lgico verdadeiro. A disjuno de duas proposies ser falsa somente quando ambas as proposies forem falsas. Tabela verdade da disjuno:
P V V F F Q V F V F P Q V V V F
27
Lgica para Computao
EXERCCIOS
1. D o valor verdade das proposies: a) O homem um animal ou 5 + 4 = 15 b) Fleming descobriu a penicilina ou Newton foi um fsico. c) Ou Braslia a capital do Cear ou Fortaleza a capital do Cear. d) Ou o Sol um satlite de Marte ou a Terra uma estrela. e) Ou o Sol uma estrela ou Pluto um planeta. 2.2.1.4 Condicional Uma proposio do tipo se P ento Q chamada condicional e designada por P Q. Em P Q, P a proposio antecedente, e Q a conseqente. Considere a frase Se eu me sair bem na prova, ento irei ao cinema. Se essa pessoa sair-se bem na prova, dizer que ela no ir ao cinema, atribuir o valor lgico falso proposio condicional, pois a mesma afirmou que, saindo-se bem na prova, ir ao cinema. Ou seja, quando o antecedente verdadeiro e o conseqente falso, o condicional falso. Caso a pessoa saia-se mal na prova, nada se pode afirmar sobre se ir ou no ao cinema. A frase no d nenhuma informao nesse sentido. Por isso, convencionou-se que P Q ser verdadeira quando P for falsa. A declarao o fogo condio necessria para a fumaa pode ser dito se houver fumaa ento haver fogo. Antecedente: h fumaa, conseqente h fogo. Por outro lado, o fato de haver fogo no leva concluso de h fumaa. Dizendo de outra forma: em P Q, se o fato de P ser verdadeira levar a Q ser verdadeira, no quer dizer que quando Q 28 verdadeira P tambm ser.
Lgica para Computao
Tabela verdade do condicional:

P V V F F Q V F V F P Q V F V V
EXERCCIOS
1. D o antecedente e o conseqente das seguintes proposies: a) Se a chuva continuar, ento o rio vai transbordar. b) Uma condio suficiente para faltar energia, que a chave central desligue. c) Uma boa dieta uma condio necessria para um gato ser saudvel. d) A definio ficar errada apenas se for alterada. 2. D o valor verdade das proposies abaixo: a) Se a Lua um satlite ento a terra um planeta. b) Um corpo celeste no um satlite se gira em torno de um planeta. c) Se Mimi um gato, ento tem quatro patas. (Supor que existe um gato chamado Mimi) d) Se a Terra uma estrela ento a Lua um planeta. 2.2.1.5 Bicondicional Uma proposio da forma P se, e somente se, Q dita bicondicional. representada por P Q. Uma proposio bicondicional ser verdadeira quando ambas as proposies componentes so de mesmo valor verdade. 29 E ser falsa quando as duas proposies tm valores opostos.
Lgica para Computao
Obs.: o conectivo se e somente se pode ser escrito de forma abreviada: sse.

P V V F F Q V F V F P Q V F F V
EXERCCIOS
1. D o valor verdade das seguintes proposies: a) Amarelo ser preto se, e somente se, vermelho for branco. b) 3 + 4 = 7 se e somente se 8 x 5 = 50. c) 1 + 1 = 4 se, e somente se, 7 + 3 = 10. d) Azul no verde se, e somente se, preto for lils. e) No verdade que 1 + 1 = 3 se, e somente se, 2 + 2 = 5.
2.2.1.6 Disjuno exclusiva Dadas duas proposies P e Q, a disjuno exclusiva definida como sendo verdadeira se apenas uma delas verdadeira. Pode-se ler P ou Q mas no ambas. Representaremos por . A disjuno exclusiva representada em programao pelo operador XOR, que um acrnimo da expresso inglesa exclusive or.
30
Lgica para Computao
Tabela verdade do ou exclusivo:

P V V F F Q V F V F P Q F V V F
Observe que a disjuno exclusiva no foi apresentada como um conectivo do alfabeto da lgica proposicional. No s esse como outros conectivos podem ser definidos a partir daqueles. O significado de P ou Q mas no ambos como um conectivo uma simplificao da frmula (P Q) ~(P Q).
EXERCCIOS
1. D o valor verdade das proposies: a) Quando voc ligou eu estava dormindo ou estava passeando. b) Quando voc ligou eu estava em casa ou estava dormindo. c) Quando voc ligou eu no estava em casa ou estava dormindo. d) Para sobremesa, ou escolho goiabada ou bananada. 2.2.2 Interpretao de uma fbf A interpretao de uma fbf composta depende da interpretao de cada proposio simples da frmula. Exemplo 1: Seja H = (P Q). Existem quatro interpretaes possveis para H. Basta observar a tabela verdade da disjuno. Qual a interpretao de H, se H = (P Q) P, sabendo que I[P] = V e I[Q] = F? 31
Lgica para Computao
Para responder a essa pergunta, analisa-se o valor da frmula, a partir das interpretaes conhecidas:
P V Q P H F V
Com I[P] = V e I[Q] = F, P Q resulta em verdadeiro. Verdadeiro P (verdadeiro verdadeiro) resulta em verdadeiro. Logo, I[H] = V
P V Q P H V F V V V
Exemplo 2: Qual a interpretao da frmula E = (( ~P Q) (R P), sabendo que I[P] = V e I[Q] = F? Soluo: Como na anlise da frmula anterior, inicialmente lanase na tabela os valores das interpretaes conhecidas:
(~ P V Q) (R P) F V E
Sendo I[P] = V, I[~P] tem valor F. Conseqentemente, I[~P Q] = F. No se conhecendo a interpretao de R, no possvel concluir pela interpretao de R P. Por outro lado, ~P Q o antecedente do condicional. Quando o antecedente de um condicional falso, este resulta em verdadeiro, independente do valor lgico do conseqente. Dessa forma, pode-se concluir que I[E] = V, mesmo no se conhecendo I[Q]. O quadro final dessa anlise ser:
(~ F P V Q) (R P) F F V V E V
32
Lgica para Computao
Exemplo 3: Sendo G = P Q e sabendo-se que I[G] = V, o que se pode concluir a respeito de I[P] e I[Q]? Soluo: A disjuno verdade quanto pelo menos um de seus componentes verdadeiro, existindo trs situaes possveis. Dessa forma, nada se pode concluir sobre o valor verdade de P e de Q.
P ? Q V ? G V
EXERCCIOS
1. Seja I uma interpretao tal que I[P Q] = F. O que se pode deduzir a respeito dos resultados das interpretaes: a) I[~P Q] b) I[P ~Q] c) I[Q P] Soluo S h uma situao em que I[P Q] = F: quando I[P] = V e I[Q] = F. Com esses valores lgicos de P e Q, analisa-se cada uma das frmulas dadas para concluir, ou no, pelo seu valor verdade. 2. Qual a interpretao da frmula G, abaixo, sabendo que I[P] = V e I[Q] = V? G = (P (~Q R)) ~(Q (P ~R))
33
Captulo 3
O Clculo Proposicional
Tem por objetivo avaliar o valor verdade de uma frmula.
3.1 Ordem de precedncia entre os operadores

Para avaliar o valor verdade de uma frmula da lgica proposicional, a precedncia dos operadores deve ser observada. Abaixo so apresentados os operadores lgicos, da maior para a menor precedncia: 1. expresses entre parnteses, resolve-se a partir dos parnteses mais internos para os mais externos. 2. ~ (negao) 3. , (conjuno e disjuno tm a mesma precedncia, operando-se o que ocorrer primeiro, da esquerda para a direita). 4. 5. Isto significa que, para avaliar a frmula A B C, como no h parnteses, avalia-se primeiro a conjuno ( ), depois o condicional ( ).
34
Lgica para Computao
3.2 Tabela verdade.

Para construir a tabela verdade de uma frmula, inicia-se pela composio, em conjunto, de todos os valores lgicos das proposies simples que compem uma frmula. Considerando a frmula (A B) C, vemos que a mesma possui trs proposies simples. Fazendo todas as combinaes possveis dos valores verdade dessas proposies simples temos:
A V V V V F F F F B V V F F V V F F C V F V F V F V F
Quando os conectivos lgicos foram apresentados, tnhamos tabelas verdade com duas proposies simples, cada uma com quatro linhas. No exemplo acima, temos uma frmula com trs proposies simples e a respectiva tabela verdade tem oito linhas. Podemos concluir que o nmero de linhas de uma n tabela verdade obtido por 2 linhas, sendo n o nmero de proposies simples que a frmula contm. O passo seguinte analisar a frmula, de acordo com a precedncia dos operadores, um operador por coluna da tabela. Exemplos: Construir a tabela verdade para as frmulas G e H abaixo: a) G = A B A B Como a frmula acima no contm parnteses, deve-se, ento, seguir a ordem de precedncia dos operadores na anlise 35
Lgica para Computao
da mesma. Aps fazer as combinaes possveis dos valores verdade de A e B, opera-se primeiro o conectivo :
A V V F F B V F V F A B V F F F
A seguir, acrescenta-se outra coluna e faz-se a operao do conectivo

A V V F F B V F V F A B A B V V F V F V F F
Por fim, acrescenta-se mais uma coluna e avalia-se o conectivo , considerando como antecedentes os valores da 3a coluna e como conseqentes os valores da 4a coluna, completando a tabela verdade.
A V V F F B V F V F A B A B A B A B V V V F V V F V V F F V
Conclui-se que o valor da frmula G VVVV. Outra maneira de fazer uma tabela verdade criar uma coluna para cada smbolo da frmula e realizar as operaes seguindo a ordem de precedncia dos operadores. Dessa segunda maneira, a tabela verdade da frmula acima
36
Lgica para Computao
inicia escrevendo toda a frmula, cada smbolo em uma coluna, e fazendo a composio de todas as possibilidades dos valores lgicos de A e B.
1 A V V F F 2 B V F V F Etapa 3 A 4 5 6 7 8 9 B A B
O primeiro conectivo a ser avaliado o , o que feito em duas etapas: na etapa 1, repete-se os valores verdade de A e B das colunas 1 e 2 nas colunas 3 e 5, respectivamente e na etapa 2 opera-se o :
1 A V V F F 2 B V F V F Etapa 3 A V V F F 1 4 5 6 7 8 9 B A B V V F F F V F F 2 1
A seguir opera-se o . De forma semelhante ao que foi feito nas etapas 1 e 2, a etapa 3 consiste em copiar os valores de A e B para as colunas 7 e 9, respectivamente, e na etapa 4 anota-se o resultado da disjuno entre A e B, gerando a tabela:
1 A V V F F 2 B V F V F Etapa 3 A V V F F 1 4 5 6 7 8 9 B A B V V V V V F F V V F F V F V V F F F F F 2 1 3 4 3
37
Lgica para Computao
Finalmente, passa-se etapa 5, que avaliar o condicional, sendo o antecedente os valores da coluna 4 (etapa 2) e os conseqentes os valores constantes da coluna 8 (etapa 4), gerando a tabela verdade final:
1 A V V F F 2 B V F V F Etapa 3 A V V F F 1 4 5 6 7 8 9 B A B V V V V V V F F V V V F F V V F V V F F V F F F 2 1 5 3 4 3
Obs.: A diferena bsica entre uma e outra maneira de construir a tabela verdade que na primeira forma a ltima coluna sempre corresponde ao conectivo principal, enquanto na segunda, o conectivo principal continua sendo o ltimo a ser avaliado mas no est situado na ltima coluna. b) H = ((A B) C) (B ~C) Aps fazer as combinaes de valores verdade das proposies simples, procede-se avaliao da expresso do parntese mais interno (A B):
A V V V V F F F F B V V F F V V F F C V F V F V F V F A B V V V V V V F F
38
Lgica para Computao
A seguir, considera-se a quarta coluna como o antecedente e a terceira coluna como conseqente, e avalia-se o condicional ( ) do parntese mais externo ((A B) C).
A V V V V F F F F B V V F F V V F F C V F V F V F V F A B ((A B) C) V V V F V V V F V V V F F V F V
Depois, faz-se a avaliao de ~C, seguindo-se a avaliao do condicional (B ~C) e, por fim, do bicondicional, entre os valores das colunas 5 e 7.
1 A V V V V F F F F 2 B V V F F V V F F 3 C V F V F V F V F
4 5 6 7 8 ~C A B ((A B) C) (B ~C) V V F F F V F V V F V V F V V V F V V F V V F F F V F V V F F V F V V F V V V V
O valor da frmula H : FFVFFFVV. Obs.: Caso as combinaes de valores verdade iniciais (trs primeiras colunas da tabela) estejam em uma ordem diversa da apresentada acima a ordem dos valores verdade (V, F) do resultado poder ser diferente da apresentada. No caso do exemplo acima, se a combinao da 1a e da 2a linhas, estiverem 39
Lgica para Computao
em outra posio, os dois valores F iniciais do resultado no sero os primeiros. Seja qual for a ordem das combinaes iniciais, o resultado sempre ter 5 valores F e trs V. A frmula H = ((A B) C) (B ~C), do exemplo anterior, avaliada pelo segundo mtodo, onde se escreve cada smbolo em uma coluna, feita como da forma abaixo. Notar que importante representar os parnteses da frmula, j que esses influem na ordem das operaes. Tambm vale destacar que o smbolo de negao deve figurar em uma coluna, separado da proposio que est negando.
1 A V V V V F F F F 2 B V V F F V V F F 3 4 C ((A V F V F V F V F 5 6 7 8 9 10 11 12 13 B) C) (B ~ C)
O parntese mais interno o primeiro a ser avaliado. A etapa 1 repetir os valores verdade de A e B e a etapa 2 fazer a conjuno de A e B. Aps a etapa 2 a tabela verdade assume o aspecto abaixo:
1 A V V V V F F F F 2 B V V F F V V F F Etapa 3 C V F V F V F V F 4 ((A V V V V F F F F 1 5 6 7 8 9 10 11 12 13 B) C) (B ~ C) V V V V V F V F V V V V F F F F 2 1
40
Lgica para Computao
A etapa 3 transcrever os valores verdade de C para a coluna 8. A etapa 4 ser fazer o condicional entre a coluna 5 ( ), como antecedente e a coluna 8 (C), como conseqente.
Coluna 1 A V V V V F F F F 2 3 4 B C ((A V V V V F V F V V F F V V V F V F F F V F F F F Etapa 1 5 6 7 8 9 10 11 12 13 B) C) (B ~ C) V V V V V V F F V F V V V F F F V V V V V V F F F F V V F F V F 2 1 4 3
A etapa 5 transcrever os valores verdade de B e C para as colunas 10 e 13, respectivamente. importante observar que a negao precede todos os outros operadores. Por isso, antes de operar o condicional da coluna 11 necessrio fazer a negao de C (coluna 12), que constitui a etapa 6. O passo 7 avaliar o condicional da coluna 11, gerando a posio abaixo da tabela verdade:
Coluna 1 A V V V V F F F F 2 3 4 B C ((A V V V V F V F V V F F V V V F V F F F V F F F F Etapa 1 5 6 7 8 9 10 11 12 13 B) C) (B ~ C) V V V V V F F V V V F F V V V F V F V V F V F V V F F F F V V F V V V V V F F V V V F F V V V F F F V V F V F V F F V F F V V F 2 1 4 3 5 7 6 5 41
Lgica para Computao
Para finalizar a construo da tabela verdade, a etapa 8 consiste na avaliao do bicondicional, que ser feita entre o resultado da expresso do lado esquerdo, que consta da coluna 7 e o resultado da expresso do lado direito, que se encontra na coluna 11:
1 A V V V V F F F F 2 B V V F F V V F F Etapa 3 C V F V F V F V F 4 ((A V V V V F F F F 1 6 7 8 9 10 11 12 13 B) C) (B ~ C) V V V V F V F F V V V F F F V V V F V F V V V F V F V V F F F F F V V F V V V V F V F F V V V F F F V V V F F F V V V F V F V F F V F V F V V F 2 1 4 3 8 5 7 6 5 5
A coluna da etapa 8 contm o resultado. Como j se esperava, esse resultado coincide com o encontrado na tabela verdade feita anteriormente. E no poderia ser diferente, pois a mesma frmula s pode gerar um nico resultado, seja qual for o mtodo empregado para fazer sua avaliao.
EXERCCIOS
1. Faa a tabela verdade para as fbf abaixo: a) (A B) C b) A B ~A c) (A B) ~A B d) (P (~Q R)) ~(Q (P ~R))
42
Lgica para Computao
3.3 Propriedades semnticas da lgica proporcional

3.3.1 Tautologia Uma frmula H uma tautologia ou vlida se, e somente se, para toda interpretao I, I[H] = V Fazendo-se a tabela verdade para a fbf H = P ~( P Q), tem-se
P V V F F Q V F V F P Q ~( P Q) P ~( P Q) V F V F V V F V V F V V
Observa-se que o valor lgico de H V, ou seja, para toda interpretao I, I[H] = V. Nesse caso, H uma tautologia.
EXERCCIOS
1. Fazer a tabela verdade para a frmula H = (P Q) (P Q) e verificar se a mesma uma tautologia. 2. Mostre que a frmula abaixo uma tautologia: (P Q) (~P Q) 3.3.2 Contradio Uma frmula contraditria (ou uma contradio) se, e somente se, para toda interpretao I, I[H] = F. Exemplo: (P Q) ~(P Q)
P V V F F Q V F V F P Q (P Q) ~(P Q) V V F F V F F V F F F V F F F F
43
Lgica para Computao
EXERCCIOS
1) Mostre que as frmulas abaixo so contradies: a) ~(P Q) Q b) ~(P (P Q)) 3.3.3 Frmula satisfatvel. Uma formula satisfatvel (uma indeterminao ou uma contingncia), se existe pelo menos uma interpretao I, tal que I[H] = V Por essa definio, basta que apenas uma interpretao I, de H, seja verdadeira, ou seja, basta que apenas uma linha da tabela verdade de H resulte em V, para que a frmula seja classificada como satisfatvel. Exemplo: construir a tabela verdade para a frmula G = ~((A B) A)
A V V F F B V F V F ~ (A B) (A B) A V V F F V F V F V V V F
EXERCCIOS
1) Construa a tabela verdade para as frmulas abaixo e prove que so satisfatveis: a) H = (P Q) Q b) G = (P Q) (P Q)
44
Lgica para Computao
3.3.4 Equivalncia lgica (rtepresentada por ) Dadas duas frmulas H e G, G equivale a H (G H), se e somente se, para toda interpretao I, I[G] = I[H] Fazendo a tabela verdade para a fbf H = (A B) (B A), temos:
A V V F F B V F V F A B B A (A B) (B A) V V V F V F V F F V V V
Comparando a tabela verdade da frmula H, acima, com a tabela verdade frmula P Q (bicondicional, vista no item 2.2.5), verifica-se que so idnticas. Diz-se, ento, que a frmula H e o bicondicional so equivalentes.
EXERCCIOS
Fazer as tabelas verdade para as frmulas G e H abaixo e verificar se so equivalentes (verificar se G H): a) G = A B e H = ~(A B) b) G = ~(A B) e H = ~A ~B
3.3.5 Implicao lgica (representada por ) Sejam as frmulas G e H. As trs condies seguintes so equivalentes: (1) ~G H uma tautologia. (2) G ~H uma contradio. (3) G H uma tautologia.
45
Lgica para Computao
Uma frmula G implica logicamente uma frmula H (G H) se uma das condies acima for satisfeita. Exemplos: Considere as frmulas a) K = (P Q) Q b) L = P Q c) M = P Q As tabelas verdade de K, L e M so:
K L M P Q Q P Q P Q V V V V F F V F F F V V F F F F
P V V F F
Q V F V F
Resumindo:
P V V F F Q V F V F K V F V F L V F F F M V V V F
K L (l-se K implica logicamente em L) se satisfizer a uma das trs condies acima especificadas. Escolhendo a condio (1), sua tabela verdade ser:
K V F V F L V F F F ~K F V F V ~K L V V F V
46 que no uma tautologia. Logo, K no implica logicamente em L.
Lgica para Computao
Usando a mesma condio (1) para testar se L K, temos:

K V F V F L V F F F ~L F V V V ~L K V V V V
resulta em uma tautologia. Logo, L implica logicamente em K.
Aplicando o critrio (2), G ~H, para verificar se L K, faz-se a tabela verdade para L ~K, chega-se ao seguinte resultado:
K V F V F L V F F F ~K F V F V L ~K F F F F
que uma contradio. Aplicando o critrio (3), que fazer a tabela verdade para L K, verifica-se que uma tautologia. Chega-se concluso que, se duas frmulas atendem a um dos critrios acima, pode-se afirmar que uma implica logicamente na outra, mesmo que no se teste os outros dois critrios.
EXERCCIOS
1) Considerando as frmulas K, L, e M do ltimo exemplo, verificar se: a) L M b) M K c) L K d) K M 47
Lgica para Computao
Outra maneira de verificar a implicao lgica: Dadas duas frmulas G e H, G implica H (G H) se, e somente se, para toda interpretao I, se I[G] = T, ento I[H] = T Pela definio de implicao acima, K implica M. Observe que para as duas interpretaes I[K] = V , I[M] = V tambm. Quando I[K] = F, nada se pode afirmar sobre I[M]. Da mesma forma, L implica K e L implica M. J no se pode dizer o mesmo a respeito de M em relao a L e K, uma vez que para todas as interrpretaes I[M] = V, nem todas as interpretaes de I[L] e I[K] so tambm verdadeiras.
EXERCCIOS
2) Construa as tabelas verdade para as frmulas A = (~P Q) e B = (P Q) e verifique se A B, usando este ltimo critrio de implicao.
48
Captulo 4
Validade de um Argumento
4.1 Argumento
Suponha que seja feita a pergunta: A Terra tem luz prpria?. Uma forma de buscar a resposta procurar um termo intermedirio que se relacione com outros termos da pergunta. Esse termo pode ser planeta. A partir desse termo, pode-se formular as seguintes sentenas: Um planeta no tem luz prpria. A Terra um planeta. Logo, a Terra no tem luz prpria. A terceira sentena uma concluso, que foi tirada a partir das duas primeiras e, com isso, a pergunta foi respondida. Outro exemplo: 3+2=5 5=4+1 3+2=4+1 Raciocnios como os apresentados acima, so da forma silogstica. 49
Lgica para Computao
Aristteles definiu o silogismo como: O silogismo uma srie de palavras em que, sendo admitidas certas coisas, delas resultar necessariamente alguma outra, pela simples razo de se terem admitido aquelas. Silogismo significa ligao, ou seja, a ligao de dois termos atravs de um terceiro. As sentenas que servem para provar ou, pelo menos, para fornecer alguma evidncia para a concluso so chamadas de premissas. Um conjunto de sentenas, onde algumas so premissas e outra a concluso chamado de argumento. Um argumento pode ser escrito de diversas formas. Vejamos o seguinte exemplo: Andar de bicicleta um timo exerccio. Josefina anda de bicicleta. Josefina pratica um timo exerccio. Alguns autores preferem representar o argumento da forma: Andar de bicicleta um timo exerccio. Josefina anda de bicicleta. Josefina pratica um timo exerccio. (trs pontos para \ identificar a concluso.) Outros autores preferem a forma: Andar de bicicleta um timo exerccio. Josefina anda de bicicleta. Josefina pratica um timo exerccio. (o smbolo condicional para identificar a concluso.)
50
Lgica para Computao
O importante caracterizar a concluso. Na lgebra proposicional as premissas e concluso so representadas por smbolos proposicionais (letras maisculas). Um argumento onde a concluso decorre das premissas um argumento vlido. Argumentos dessa forma so conhecidos pela expresso latina modus ponens (mtodo de afirmao). Existem termos que so freqentemente usados para assinalar a concluso e as premissas de um argumento. Abaixo, destacamos alguns dos mais freqentemente utilizados: Indicadores de concluso logo portanto assim por conseguinte dessa maneira neste caso da de modo que ento assim sendo segue-se que o(a) qual implica que resulta que podemos deduzir que Indicadores de premissa desde que como porque assumindo que visto que admitindo que isto verdade porque a razo que em vista de como conseqncia de como mostrado pelo fato que sabendo-se que supondo que
Um argumento acontece quando se pretende provar ou demonstrar uma concluso, a partir de uma ou mais premissas. Uma maneira de representar, na lgica proposicional, um argumento :
51
Lgica para Computao
A viagem para Manacapuru dura uma hora. Joo ir a Manacapuru Logo, Joo viajar durante uma hora.
A B C
Na lgica proposicional, temos: A B C. Como o operador conjuno ( ) tem precedncia sobre o condicional ( ), no necessrio escrever (A B) C. Porm, h situaes que os parnteses so obrigatrios. Vejamos o argumento abaixo: O criminoso primrio, ou cometeu um descuido. Se o criminoso for primrio, ento ter sua pena diminuda. O criminoso no primrio. Logo, sua pena no ser diminuda. Proposio simples - O criminoso primrio - O criminoso cometeu um descuido - O criminoso ter sua pena diminuda. Representao na lgica proporcional: (P Q) (P R) ~P ~R. Note que (P R) tem, obrigatoriamente, que vir entre parnteses. A fbf acima, se escrita da forma (P Q) P R ~P ~R, nos levaria a duas situaes: primeiro, surgiria a dvida: qual a concluso, o primeiro ou o segundo condicional? em segunda instncia, a sua avaliao seguiria a precedncia dos operadores e primeiro seria feito ((P Q) P), depois seria avaliado (R ~P) e, por fim, os dois condicionais restantes , o que levaria a um resultado diferente do esperado. Representao P Q R
52
Lgica para Computao
EXERCCIOS
1. Represente na linguagem simblica da Lgica Proposicional os argumentos: a) Se Jonas andar e o trem sair no horrio, ele perde o trem. Se ele perder o trem, ento ele fica triste e volta para casa. Jonas andou. Portanto, Jonas voltou para casa. b) Vou para casa somente se no chover e no estiver quente. No choveu mas est quente. Portanto, no vou para casa.
4.2 Mtodos para avaliar a validade de um argumento

Verificar se um argumento vlido verificar se o mesmo uma tautologia, ou seja, se todas as interpretaes (linhas) de sua tabela verdade resultam em valor lgico verdadeiro (V). Em ltima instncia, verificar se o valor verdade do conectivo principal (o ltimo que ser analisado) verdadeiro, para todas as interpretaes do argumento. Argumentos podem ser escritos como frmulas da linguagem da Lgica Proposicional. Entretanto, nem todas as frmulas so escritas em formato de argumento, composto de premissas e uma concluso. Os mtodos de avaliao de um argumento, que sero vistos a seguir, so mtodos de avaliao geral e se prestam para avaliar fbf quaisquer. Assim, adotaremos o termo frmula e no argumento, ao longo dos prximos itens. Sero estudados quatro mtodos para verificar a validade de frmulas da lgica proposicional: mtodo da tabela verdade, mtodo da rvore semntica, mtodo da negao ou absurdo e deduo lgica. 53
Lgica para Computao
4.2.1 Mtodo da tabela verdade O mtodo da tabela verdade conhecido, tambm, como mtodo da fora bruta, por ser um mtodo exaustivo de prova. Atravs dele, tem-se os resultados de todas as interpretaes possveis de uma fbf. Exemplo Verificar se a fbf H = (P Q) (~Q ~P) vlida. A construo da tabela verdade deve ser feita conforme o item 3.2.
P V V F F Q V F V F P Q ~Q ~P V F F F V F V F V V V V ~Q ~P (P Q) (~Q ~P) V V F V V V V V
Para todas as interpretaes I, I[H] = V. Ento, H uma frmula vlida ( uma tautologia). Mas o nmero de linhas de uma tabela verdade dado por n 2 , onde n o nmero de proposies simples. Quando o nmero dessas proposies simples aumenta, a tabela verdade torna-se no recomendvel. Existem outros mtodos de prova que abreviam o processo e que sero vistos a seguir.
EXERCCIOS
1) Usando o mtodo da tabela verdade, verificar se o argumento (S (~C ~Q)) (~C Q) ~S (letra b) do exerccio da seo anterior) vlido.
54
Lgica para Computao
4.2.2 Mtodo da rvore Semntica Uma rvore uma estrutura de dados, composta por ns, unidos por arestas. Quando cada n se liga a, no mximo, dois outros ns, essa rvore chamada de rvore binria. Exemplo de rvore binria:
1 2 4 5 8 10 11 6 9 3 7
Na rvore do exemplo acima, o n 1 chamado de raiz e est no primeiro nvel da rvore, os ns 2 e 3 esto no segundo nvel, os ns 4 a 7 esto no terceiro nvel, e assim, sucessivamente. Os ns que no esto ligados a nenhum n em um nvel abaixo, so chamados de ns folha. No exemplo acima, so ns folha: 4, 5, 7, 9, 10 e 11. Uma rvore binria pode ser utilizada para verificar a validade de uma frmula da lgica proposicional. Exemplo 1: Verificar se a fbf H = (P Q) (~Q ~P) vlida, utilizando o mtodo da rvore semntica. O primeiro passo construir uma rvore binria com os ns 1, 2 e 3, como no exemplo acima. A seguir, escolher uma proposio simples para analisar, por exemplo, a proposio P. Cada aresta da rvore construda representar um dos valores lgicos possveis de P. 55
Lgica para Computao
A interpretao de um n corresponde a todas as interpretaes (arestas) encontradas no caminho percorrido da raiz at o n em questo. A anlise de um n consiste em partir da interpretao desse n e tentar concluir pelo seu valor verdade. Temos:
1 I[P] = V 2 I[P] = F 3
Para analisar o n nmero 2, comeamos atribuindo o valor V a todas as ocorrncias de P na frmula H, dada. Esquematicamente: (P Q) (~Q ~P) N 2 = V V Como P verdadeiro, podemos concluir que ~P falso (segunda ocorrncia de P na frmula). (P Q) (~Q ~P) N 2 = V FV O lado esquerdo do bicondicional um condicional, cujo antecedente verdadeiro. Nesse caso, o valor verdade desse condicional depende do conseqente. O lado direito do bicondicional outro condicional, cujo conseqente falso (se P verdadeiro, ~P falso), e depende do antecedente para se poder concluir pelo seu valor lgico. Como no se tem o valor verdade da expresso do lado esquerdo do bicondicional (P Q),
56
Lgica para Computao
nem da expresso do lado direito (~Q ~P), nada se pode afirmar sobre o valor lgico desse bicondicional e, portanto, nada se pode afirmar sobre o valor do n 2: (P Q) (~Q ~P) N 2 = V ? ? ? FV De forma semelhante, analisa-se o n 3: (P Q) (~Q ~P) N 3 = F VF Quando o antecedente de um condicional falso, esse condicional tem valor lgico V, independente do valor lgico do conseqente. Quando o valor lgico do conseqente de um condicional falso, esse condicional tem valor lgico V, independente do valor lgico do antecedente. Dessa forma, possvel concluir pelo valor lgico do bicondicional, uma vez que se tem os valores lgicos das expresses direita e esquerda deste. (P Q) (~Q ~P) N 3 = F V V V VF Quando se chega concluso do valor verdade (V ou F) da frmula, atravs da anlise de um n da rvore, esse valor representado na mesma, abaixo do n e este se torna um n folha:
1 I[P] = V 2 I[P] = F 3 V
57
Lgica para Computao
Como nada se pode concluir a respeito do n 2, acrescentase a esse n a interpretao de outra proposio simples da frmula sob anlise:
1 I[P] = V 2 I[Q] = V 4 I[Q] = F 5 I[P] = F 3 V
Procede-se anlise do valor verdade dos ns 4 e 5. A interpretao do n 4 obtida percorrendo-se a rvore a partir da raiz at o n em questo. O n 4 significa que P e Q tm, ambas, valor lgico V. Lana-se esses valores na frmula e buscase concluir pelo valor verdade desta: (P Q) (~Q ~P) N 4 = V V V V FV V FV Procedimento semelhante deve ser adotado em ralao ao n 5. Para esse n tem-se I[P] = V e [Q] = F: (P Q) (~Q ~P) N 5 = V F F V VF F FV Como ambos os condicionais resultam em F, o bicondicional resulta em V. rvore semntica final de H:
58
Lgica para Computao
1 I[P] = V 2 I[Q] = V 4 V V I[Q] = F 5 I[P] = F 3 V
Como todos os ns folha resultaram em V (verdadeiro), conclui-se que H vlida ( uma tautologia). Exemplo 2: Verificar se a frmula G = (P Q) P vlida. Soluo: Iniciando com a interpretao de P, tem-se a rvore:
1 I[P] = V 2 I[P] = F 3
Interpretao do n 2: O conectivo principal o segundo condicional. Como P verdadeiro, nada se pode concluir a respeito do antecedente do conectivo principal, ou seja, no possvel concluir pelo valor da expresso (P Q). Mas o conseqente do conectivo principal tem valor verdadeiro e, nesse caso, a implicao verdadeira. Logo, o n 2 tem valor verdadeiro. (P Q) P N 2 = V ? VV
59
Lgica para Computao
A interpretao do n 3 feita assumindo que P tem valor falso. Independente do valor de Q, o valor do antecedente do conectivo principal ser verdadeiro e seu conseqente falso. A frmula resulta em falso. (P Q) P N 3 = F V F F A rvore semntica de G tem o seguinte aspecto:
1 I[P] = V 2 V F I[P] = F 3
Para que uma fbf no seja vlida, basta que 1 n folha apresente valor lgico falso. Como para I[P] = F tem-se I[G] = F, est demonstrado que G no uma fbf vlida. Observaes: 1) Como foi possvel concluir pelo valor verdade dos ns 2 e 3, conhecendo-se apenas o valor de P, a rvore no prossegue em nenhum dos dois ns. Est concluda. 2) Se todos os ns folha tiverem valor lgico falso, a frmula ser uma contradio. Caso nem todos tenham valor falso, diz-se que a mesma satisfatvel.
60
Lgica para Computao
EXERCCIOS
1) Construir uma rvore semntica para as frmulas F, G e H, abaixo, e verificar se so vlidas. Caso a frmula no seja vlida, diga para que interpretao I a frmula tem valor lgico falso. a) F = (P (P Q)) (P Q) b) G = ~(P Q) ~P c) H = ((A B) (A C)) A 2) Mostre que o argumento (S (~C ~Q)) (~C Q) ~S vlido, usando o mtodo da rvore semntica.
4.2.3 Mtodo da negao (ou absurdo) Esse um mtodo geral de demonstrao. Ser utilizado nesse contexto para provar se uma fbf uma tautologia. Suponha que se quer provar a validade de uma frmula H. Procura-se demonstrar, a princpio, que H falsa. Recorrendo a uma srie de dedues, pode-se chegar concluso que, de fato, H falsa, ou pode-se chegar a um absurdo. Na hiptese de se concluir que H falsa, est provado que a frmula no uma tautologia. Quando se tenta provar que H falsa e se chega a um absurdo, conclui-se que H uma tautologia. Dizendo de outra forma: se absurdo dizer que H falsa, porque H no falsa, H vlida, uma tautologia. Exemplo 1: Verifique, atravs do mtodo da negao (ou absurdo) se a frmula G, abaixo, vlida: G = ((A B) (B C)) (A C)
61
Lgica para Computao
O primeiro passo para a soluo identificar o conectivo principal, aquele que ser analisado por ltimo e atribuir valor falso a esse conectivo: G = ((A B) (B C)) (A C) F Sendo o conectivo principal um condicional, o nico caso em que ser falso quando o antecedente verdadeiro e o conseqente falso. Faz-se essa suposio: G = ((A B) (B C)) (A C) V F F Como o conseqente uma expresso mais simples que o antecedente, faz-se primeiro sua anlise. Este ser falso, somente quando seu antecedente for V e o conseqente for F. Assim, atribui-se valor V proposio A e F proposio C. Depois, atribui-se esses mesmos valores s demais ocorrncias das proposies A e C, na frmula, obtendo-se a situao: G = ((A B) (B C)) (A C) V V F F V F F Para que o antecedente do conectivo principal, que a conjuno , seja verdadeiro, as expresses esquerda e direita deste devem ser, ambas, verdadeiras. Na situao acima, depende-se do valor de B para se tirar uma concluso. Para que a expresso A B resulte em V, com A sendo V, B teria que ter valor V. J a expresso B C s resulta em V se B tiver valor F. Todavia, um absurdo atribuir valor verdadeiro e falso a B, ao mesmo tempo. No h como provar que G tem valor lgico falso. Concluso: Dizer que G falso um absurdo logo, G vlida. G uma tautologia.
62
Lgica para Computao
Ausncia de absurdo Ao se tentar negar uma frmula que se supe, inicialmente, verdadeira pode-se no chegar a nenhum absurdo. Em outras palavras, pode-se chegar concluso de que, para uma determinada interpretao I, a frmula falsa. Nesse caso, pode-se afirmar que a mesma no vlida, que no uma tautologia. Entretanto, no se pode dizer que uma contradio ou que apenas satisfatvel. Exemplo 2: Verificar se a frmula H = (P Q) (~P ~Q) Soluo Tenta-se provar que H falsa. Para tal, atribui-se o valor lgico falso ao conectivo principal, aquele que ser avaliado por ltimo. V-se que . H = (P Q) (~P ~Q) F O bicondicional resulta em falso em duas situaes: quando o termo esquerda falso e o da direita verdadeiro ou quando a situao inversa, o termo da esquerda verdadeiro e o da direita falso. Faz-se necessrio testar as duas situaes. Poissibilidade 1: H = (P Q) (~P ~Q) V F F As expresses direita e esquerda so ambas condicionais. H trs possibilidades de um condicional ser verdadeiro e uma de ser falso. Por esse motivo, inicia-se pelo lado direito, onde, para o antecedente ser verdadeiro e o consequente falso, P deve ter valor F e Q ter valor V. Aplicando 63
Lgica para Computao
esses valores expresso esquerda do bicondicional, chega-se concluso que esta verdadeira: H = (P Q) (~P ~Q) F V V F VF F FV no se chegando a nenhum absurdo, provando que H falsa para a interpretao I[P] = F e I[Q] = V. Essa concluso j suficiente para afirmar que a frmula no vlida. Para completar a anlise, vejamos a outra situao. Poissibilidade 2: H = (P Q) (~P ~Q) F F V Desta feita, aconselhvel comear pela subfrmula do lado esquerdo, obtendo os valores P verdadeiro e Q falso. Concluindo a anlise no se chega a nenhum absurdo, reforando o resultado j obtido de que H no vlida. Poissibilidade 2: H = (P Q) (~P ~Q) V F F F FV V VF
EXERCCIOS
1. Verificar, usando o mtodo da negao ou absurdo, se os argumentos abaixo so vlidos: a) G = A B ~A b) Se Luiz o presidente, ele est feliz. Luiz est feliz. Portanto, ele o presidente. c) H = ((A B) (A C)) A
64
Lgica para Computao
4.2.4 Deduo lgica
Para testar se um argumento do tipo P1 P2 P3 P4 ... Pn Q uma tautologia, pode-se usar um sistema de regras de deduo, que modifica uma fbf preservando seu valor lgico. A prova por deduo supe que as premissas so todas verdadeiras e segue uma seqncia de demonstrao at verificar que a concluso verdadeira. Uma seqncia de demonstrao uma seqncia de fbf, na qual cada fbf uma hiptese ou obtida atravs da aplicao, s fbf anteriores, de uma das regras de deduo do sistema formal. Uma seqncia de demonstrao para provar que Q uma concluso vlida numa fbf do tipo P1 P2 P3 P4 ... Pn Q, tem o formato: P1 hiptese P2 hiptese P3 hiptese ... Pn hiptese fbf1 deduzida de uma ou mais das fbf anteriores, por uma regra de deduo fbf2 deduzida de uma ou mais das fbf anteriores, por uma regra de deduo fbf3 deduzida de uma ou mais das fbf anteriores, por uma regra de deduo ... Q deduzida de uma ou mais das fbf anteriores, por uma regra de deduo 4.2.4.1 Regras de deduo As regras de deduo so de dois tipos: regras de 65 equivalncia e regras de inferncia.
Lgica para Computao
Regras de equivalncia permitem substituir uma fbf por outra equivalente, sem mudar o valor lgico da frmula. Relembrando equivalncia lgica, dizer que R S (R equivale logicamente a S) tem o mesmo significado de R S uma tautologia. Embora seja possvel adotar muitas equivalncias lgicas num sistema formal de regras de deduo, ser adotado um conjunto mnimo de regras de equivalncia e de inferncia, de modo que o sistema lgico formal seja correto (os argumentos demonstrveis so vlidos) e completo (todos os argumentos vlidos devem ser demonstrveis). Regras de equivalncia
Frmula Equivale a Nome/abreviao da regra P Q Q P Comutativa com P Q Q P (P Q) R P (Q R) Associatividade - ass (P Q) R P (Q R) ~(P Q) ~P ~Q Leis de De Morgan ~(P Q) ~P ~Q Condicional cond P Q ~P Q P ~(~P) Dupla negao dn P Q (P Q) (Q P) Definio de Equivalncia - equi
Tabela 4 - Regras de equivalncia
Regras de inferncia:
De Podemos deduzir Q P, P Q P Q, NQ ~ P P, Q P Q P, Q P Q P P Q Nome da regra Modus ponens mp Modus tollens mt Conjuno conj Simplificao - simp Adio ad
66
Tabela 5 - Regras de inferncia
Lgica para Computao
Caso se tenha uma frmula constante da primeira coluna da tabela de regras de equivalncia, pode-se substituir essa frmula pela sua correspondente na segunda coluna, sem que o valor da frmula seja alterado, da mesma forma que uma frmula da segunda coluna pode ser substituda pela sua correspondente da primeira coluna.
Exemplo: A frmula P Q equivalente frmula ~P Q Uma maneira de provar a equivalncia lgica (P Q) (~P Q) fazer a tabela verdade para (P Q) (~P Q) e verificar que uma tautologia. Outra forma de fazer essa verificao, analisar a tabela verdade do condicional:
P V V F F Q V F V F P Q V F V V
Observa-se que I[P Q] = V em trs situaes de P e Q em conjunto. Por outro lado, observando as interpretaes de P e de Q separadamente, v-se que quando I[P] = F, I[P Q] = V e que quando I[Q] = V, tambm I[P Q] = V. Mas I[P] = F significa que I[~P] = V. Dessa forma possvel afirmar que quando P Q for verdadeiro, ~P ou Q ser verdadeiro, ou, ainda, sabendo que ~P verdadeira ou que Q verdadeira (basta uma ser verdadeira) a implicao P Q tambm ser verdadeira. As regras de inferncia no podem ser utilizadas da mesma forma. Voltando-se tabela verdade do condicional mais uma vez, percebe-se que P e P Q tm ambas valor lgico verdadeiro 67
Lgica para Computao
somente na primeira linha da tabela, e nessa situao Q tambm tem valor lgico verdadeiro. Sempre que se saiba que uma proposio P verdadeira e outra proposio P Q tambm verdadeira pode-se inferir que a proposio Q tambm o . Voltando tabela verdade, verifica-se que Q e P Q so ambas verdadeiras em duas situaes: na primeira linha, quando P tambm verdadeira e na terceira linha, quando P falsa. Concluso: sabendo-se que Q e P Q so ambas verdadeiras nada se pode afirmar sobre o valor de P, j que P tanto pode ter valor lgico V quanto F. Por esse motivo, conhecendo-se o valor verdade de uma frmula da primeira coluna da tabela de regras de inferncia, pode-se concluir pelo valor da frmula correspondente, constante da segunda coluna. Entretanto, conhecendo-se o valor de uma frmula da segunda coluna NO possvel deduzir o valor da frmula da primeira coluna, como acontece com as regras de equivalncia. Exemplo 1: Utilizando deduo lgica, prove a validade do argumento: (A C) (C D) A D O primeiro passo identificar as hipteses: Tem-se trs hipteses (que representam premissas), as quais esto ligadas pelo conectivo e, e uma concluso, que C. A prova por deduo consiste em supor que as hipteses so verdadeiras e procurar concluir que a concluso tambm o , o que torna o argumento vlido. Identificadas as hipteses, relacionam-se as mesmas em 68 um coluna, enumerando os passos da deduo e, ao lado, anota-
Lgica para Computao
se o significado, ou como foi obtida a fbf constante da primeira coluna: 1. A C hip (Hiptese. suficiente a abreviatura) 2. C D hip 3. A hip
O objetivo provar que D (a concluso) verdadeira. D est na segunda hiptese. Observando as regras de equivalncia e de inferncia no possvel concluir pelo valor de D diretamente. Porm, h uma regra de inferncia que permite concluir pelo valor de C: o modus ponens. Essa regra diz que, se o antecedente de uma implicao e a prpria implicao so verdadeiras, ento pode-se inferir que o conseqente dessa implicao tambm verdadeiro. Tem-se, pela hiptese 1 que A C verdadeira e na hiptese 3 que A antecedente da fbf da hiptese 1 tambm verdadeira. Assim, deduz-se que C tambm verdadeira. Esse o passo 4 da deduo: 1. A C hip 2. C D hip 3. A hip 4. C 1, 3 mp (que significa: da hiptese 1 e da 3, atravs da regra modus ponens, concluo que C tambm verdadeira). Aps essa concluso tem-se 4 fbf verdadeiras. Percebe-se que a partir das fbf 2 e 4, novamente usando a regra modus ponens, possvel concluir que D verdadeira, concluindo a deduo: 1. A C hip
69
Lgica para Computao
2. C D hip 3. A hip 4. C 1, 3 mp 5. D 2, 4 mp. Exemplo 2: Atravs de deduo lgica, provar que o argumento abaixo vlido: (A (B C)) A C Verifica-se que existem duas hipteses e o objetivo provar que C verdadeira. 1. A (B C) hip 2. A hip conhecido o valor da implicao (hiptese 1) e do antecedente desta (hiptese 2). Por modus ponens conclui-se pelo conseqente. Observar que na tabela 5, a regra genrica. Em P, P Q, P pode ser uma fbf com mais de uma proposio simples, da mesma forma que Q. Nesse ltimo exemplo o conseqente, B C, corresponde ao Q da tabela: 1. A (B C) hip 2. A hip 3. B C 1, 2 mp A conjuno s verdadeira quando ambas as componentes o so. A regra de inferncia simplificao foi criada partindo desse pressuposto: sabendo que a conjuno verdadeira, conclui-se que uma componente e tambm a outra so 70 verdadeiras.
Lgica para Computao
1. A (B C) hip 2. A hip 3. B C 1, 2 mp 4. B, C 3, simp Provando que C verdadeira e, portanto, que o argumento vlido. Obs.: O passo 4 significa que B verdadeira e tambm C verdadeira. Embora no seja necessrio, no estaria errado desmembr-lo em dois: 4. B 3, simp 5. C 3, simp. Exemplo 3: Provar a validade do argumento abaixo, usando deduo lgica: ((A ~B) C) (C D) A D 1. (A ~B) C hip 2. C D hip 3. A hip Foram levantadas trs hipteses e o objetivo provar que a concluso, D, verdadeira. A princpio no h nenhuma regra que permita tirar concluses a partir das hipteses acima. Relembrando a tabela verdade da conjuno:
P V V F F Q V F V F P Q V V V F
71
Lgica para Computao
Conhecendo apenas o valor da conjuno, P Q, como sendo verdadeiro no possvel saber qual o valor de apenas uma componente, j que existem trs situaes em que a conjuno resulta em valor lgico V. Por outro lado, saber que uma proposio P verdadeira, suficiente para poder afirmar que a conjuno dessa proposio com qualquer outra tambm ser verdadeira. Esse fato originou a regra de inferncia adio. Observa-se que, sabendo que P verdadeira, P Q tambm o ser. Obs.: Nada se pode afirmar sobre o valor de P, se s se conhece o valor da conjuno P Q. Na hiptese 1, caso se conhea o valor do antecedente, A ~B, pode-se inferir o valor do conseqente. Mas s se conhece o valor de A. A regra da adio permite inferir que, como A verdadeira, A ou qualquer outra fbf resultar em valor V. E essa qualquer outra fbf pode ser ~B. A prova do argumento prossegue assim: 1. (A ~B) C hip 2. C D hip 3. A hip 4. A ~B 3, ad, obtendo, dessa forma, o valor verdade do antecedente da hiptese do passo 1. Os passos seguintes so imediatos: 1. (A ~B) C hip 2. C D hip 3. A hip 4. A ~B 3, ad 5. C 1, 4, mp 6. D 2, 5, mp
72
Lgica para Computao
Observaes: 1. Possivelmente, modus ponens a regra de inferncia mais intuitiva e mais utilizada em dedues lgicas. 2. Embora menos freqentes, quando surgirem fbf da forma ~(P Q) e ~(P Q) deve-se utilizar as leis de De Morgan para convert-las em ~P ~Q e ~P ~Q, respectivamente. 3. Frmulas bem formuladas da forma P Q so de pouca utilidade em demonstraes. Usando a dupla negao chega-se a ~(~P) Q e depois pode-se usar a regra do condicional para obter ~P Q. Exemplo 4: Provar, usando deduo lgica, o argumento: ~A (B A) ~B Soluo 1. ~A hip 2. B A hip Essa uma amplicao direta da regra de inferncia modus tollens, que diz que sabendo-se que uma implicao verdadeira e que o conseqente dessa implicao falso, deduzse que o antecedente tambm falso. De fato, ao observar a tabela verdade do condicional percebe-se que essa situao nica. Nada se poderia afirmar sobre o conseqente, sabendo que a negao do antecedente verdadeira. 1. ~A hip 2. B A hip 3. ~B mt
73
Lgica para Computao
EXERCCIOS
1. Diga quais regras foram empregadas na prova do argumento abaixo. A primeira regra j foi fornecida. Argumento: A (~B ~C) B Passo de induo 1. A 2. ~B ~C 3. ~(~B) ~C 4. B ~C 5. ~C B 6. C B 7. B regra hip
2. Prove os argumento abaixo, usando deduo lgica: a) A (B C) [(A B) (D ~C)] B D b) ~A B (B (A C)) C
4.2.4.2 Outras regras de deduo: a) Concluso de um argumento constituda por um condicional Suponha que o argumento que queremos provar tem a forma: P1 P2 P3 ... Pn (R S)
74
Lgica para Computao
Como se quer inferir uma concluso constituda por um condicional, R S, o mtodo dedutivo permite adicionar o antecedente, R, como hiptese adicional e depois inferir S. Quando uma concluso formada por uma fbf com mais de um smbolo proposicional, do tipo A B, A B, etc, ter que ser provada por inteiro, ou seja, no basta provar uma das componentes. A exceo quando a proposio composta um condicional, do qual se tomou o antecedente como hiptese. Exemplo 4 Provar o argumento: (A (A B)) (A B) Alm da hiptese A (A B), tambm podemos adicionar A, antecedente da concluso, como hiptese bsica e procurar provar que B verdadeira, para que o argumento seja vlido. Temos: 1. A (A B) hip 2. A hip A partir desse ponto a concluso imediata: 3. A B 1, 2, mp 4. B 2, 3, mp
EXERCCIOS
Provar o argumento: (~A ~B) (A C) (B C)
75
Lgica para Computao
b) Silogismo hipottico (sh) A regra de inferncia silogismo hipottico (sh) que diz: De A B eB C pode-se concluir que A C Escrevendo o silogismo hipottico como uma fbf temos: (A B) (B C) (A C)
EXERCCIOS
Prove o silogismo hipottico. Exemplo 5 Provar o argumento: (~A B) (B C) (A C) Soluo: 1. ~A B hip 2. B C hip O objetivo provar que a concluso A C verdadeira. A partir das hipteses 1 e 2 e usando as regras conhecidas no possvel fazer inferncias. Como a concluso um condicional, opcional acrescentar A como hiptese bsica. Vamos tentar uma soluo sem acrescentar A como hiptese. Analisando a tabela de regras de equivalncia v-se que a hiptese 1 consta da segunda coluna dessa tabela, na regra condicional. Infere-se, ento, que ~A B equivale a A B. 1. ~A B hip 2. B C hip 3. A B 1, cond
76
Lgica para Computao
Ficou fcil inferir a concluso. Basta usar o silogismo hipottico: 1. ~A B hip 2. B C hip 3. A B 1, cond 4. A C 2, 3 sh
EXERCCIO 2
Provar o argumento: (A B) (~C A) C B
77
Captulo V
Quantificadores
A lgica proposicional trata de relaes fundamentais da lgica, definidas atravs dos operadores lgicos (~ (negao), (conjuno), (disjuno), (condicional), (bicondeicional)). Contudo, no contempla argumentos que contenham as expresses: todo, nenhum e algum. O argumento abaixo vlido. Mas, sua validade uma funo do significado das expresses alguns e todos: Alguns quadrpedes so bovinos. Todos os bovinos so herbvoros. Portanto, alguns quadrpedes so herbvoros. Nenhuma das sentenas desse argumento formada com os operadores lgicos. At possvel representar o argumento na lgica proposicional, que poderia ser a frmula A B C. Todavia, esse argumento carece de estrutura interna. No possvel interpretar todos e alguns. O que se quer significar por estrutura interna, so relaes entre atributos, as quais denotam conjuntos ou classes, o que pode ser visto representando o argumento da forma: Algum F G. Todo G H. Portanto, algum F H. 78
Lgica para Computao
Notar que as letras F, G e H no representam sentenas, como na lgica proposicional, mas classes de atributos: quadrpedes, bovinos e herbvoros. Uma classe formada por um conjunto de objetos. Uma classe de atributos, formada por um conjunto de objetos que possuem aquele atributo. No somente substantivos comuns denotam classes de atributos. Locues nominais, como olho de lula, coisa bonita, da Amaznia, entre outras, tambm representam classes de atributos. Caso as sentenas venham expressas por adjetivo, locuo adjetiva, verbo ou locuo verbal, possvel ser convertida em uma locuo nominal, acrescentando a palavra coisa. Velho, torna-se coisas velhas, ama Graa torna-se coisas que amam Graa.
Nos enunciados, as classes de atributos so, muitas vezes, relacionadas com outras pelas expresses todo e algum, que so denominadas quantificadores. Assim como ~, , , , , os quantificadores tambm so operadores lgicos. Entretanto, enquanto aqueles expressam relaes entre sentenas, os quantificadores expressam conjuntos designados pelas classes de atributos. Um enunciado da forma Todo A B, diz que todo elemento do conjunto A tambm elemento do conjunto B, ou seja, o mesmo que dizer que A subconjunto de B. conveno universal que enunciados da forma Algum A B estabelecem que pelo menos um elemento de A tambm elemento de B. A sentena Alguns de meus amigos esto zangados comigo interpretada, usualmente, como pressupondo, ou sugerindo que mais de um ou nem todos os amigos da pessoa esto zangados com ela. Esse enunciado da forma Algum A B, onde A substitui meus amigos e B substitui a locuo adjetiva zangados comigo. A interpretao lgica difere um pouco da usual. Significa pelo menos um. Em outras palavras, 79
Lgica para Computao
significa que um, alguns ou todos os amigos possuem o atributo B. Ainda em relao ao ltimo exemplo, todos os enunciados esto caracterizados por um quantificador (todo, algum) seguido por uma classe de atributos (F, G), um elo () e, finalmente, uma outra classe de atributos (G, H). Enunciados desse tipo so chamados de enunciados categricos. A primeira classe de um enunciado categrico chamada de termo sujeito e a segunda de termo predicado. Enunciados categricos so de quatro formas: Todo S P. Nenhum S P. Algum S P. Algum S no P. Nessas formas, S representa o termo sujeito e P representa o termo predicado. Enunciados categricos podem ser negados, acrescentando a expresso no verdade que, no o caso que, etc., o que torna toda a sentena negativa. importante ressaltar que negar apenas uma classe de atributo tem um significado diferente. O conjunto dos elementos que no pertencem a um dado conjunto C , em geral, o complemento de C. Quando o no se aplica a uma classe de atributos, expressa a complementao, em vez de negao. Em Algumas rvores no so mognos o no expressa a complementao: o conjunto das rvores que no so mognos, como as castanheiras, seringueiras e vrias outras. Algumas rvores so mognos verdadeira e refere-se ao conjunto das coisas que so rvores e, ao mesmo tempo, so mognos. Algumas rvores no so mognos, tambm verdadeira, refere-se ao conjunto das coisas que so rvores mas 80 no so mognos, o complemento da primeira, em relao ao
Lgica para Computao
conjunto universo de todas as rvores. Acrescentar a expresso no verdade que s duas sentenas, dizer que no existe nem um nem outro conjunto. Como sabemos que rvores existem, e que parte delas so mognos, dizer o contrrio tornar falsas ambas as sentenas.
EXERCCIOS
Considere as sentenas abaixo. Classifique por tipo as que so enunciados categricos e diga quais no so enunciados categricos. a) Todo pato bom nadador. b) No o caso que todo pato bom nadador. c) Alguns sapos so verdes. d) Se o carro verde veloz, ento difcl alcan-lo. e) Nadar faz bem. f) Algumas toalhas esto midas e algumas no esto. g) Qualquer diverso ilegal. h) A floresta bonita. Passemos a um estudo mais detalhado dos quantificadores.
5.1 Quantificador universal e existencial

possvel representar o conjunto dos inteiros positivos atravs da sentena: para todo x, x > 0. Mas essa sentena contm um quantificador, para todo e descreve uma propriedade para x, x > 0, chamada de predicado. Quantificadores so expresses que dizem a quantidade de objetos que possuem determinado predicado. Para representr simbolicamente o quantificador qualquer que seja ou para 81
Lgica para Computao
todo, adota-se o smbolo " . A sentena acima assim representada: " x(x > 0) O quantificador age sobre a expresso entre parnteses que se seque a ele. Considerando o conjunto dos inteiros e a expresso existe x, tal que (x/2) inteiro, nota-se o surgimento de outro quantificador. O quantificador existencial, que significa para algum ou para pelo menos um ou, ainda, existe algum e simbolizado por $ . Uma propriedade dos elementos de um conjunto pode ser representada, genericamente, por P(x). Assim, pode-se ter: " x(Px) ou $ x(Px). Uma expresso com quantificador pode ser verdadeira ou falsa. Considerando o conjunto universo como sendo o conjutno de todas as pessoas que moram no Estado do Amazonas e a propriedade P(x) = x do sexo feminino, determinar o valor verdade das expresses: a)" x(Px) b) $ x(Px)
A expresso " x(Px) no pode ser verdadeira, pois entre as pessoas que moram no Estado do Amazonas, nem todas so do sexo feminino. J a expresso $ x(Px) verdadeira, pois pelo menos uma (sabe-se que so muitas) pessoa residente no Amazonas do sexo feminino.
82
Lgica para Computao
EXERCCIO 1
Considere um conjunto universo qualquer e uma propriedade P sobre esse conjunto universo e, caso seja possvel: a) Encontre uma interpretao para a qual " x(Px) seja falso e, ao mesmo tempo, $ x(Px) seja verdadeira. b) Encontre uma interpretao para a qual " x(Px) seja verdadeira e, ao mesmo tempo, $ x(Px) seja falsa.
Quando o predicado uma propriedade que envolve apenas uma varivel, como nos exemplos vistos, chamado de predicado unrio. Se a propriedade binria, por exemplo, P(x,y) = x < y, dita predicado binrio. Predicados podem ter mais de duas variveis. De forma genrica, predicados so n-rios, envolvendo n variveis. Quando se tem mais de uma varivel quantificada, a ordem dos quantificadores muito importante. Considerando a propriedade P(x,y) = x < y, sobre o conjuto universo dos inteiros positivos, a expresso " x$ yP(x,y) significa que para qualquer x do conjunto universo existe um y maior que x. Isso verdade: para qualquer inteiro, existir ou inteiro maior. A expresso $ y" xP(x,y) quer dizer que existe um y que menor que qualquer inteiro positivo x. Isso no verdade. Essa segunda expresso tem valor lgico falso. Proposies quantificadas podem constituir fbf. Uma proposio do tipo Todo S P representa, como j foi dito, conjuntos de classes. Ela pode ser reformulada para representar objetos individuais, resultando num enunciado do tipo: Qualquer que seja x, se x S, ento x P. 83
Lgica para Computao
Essa nova forma contm um condicional. Na expresso x S, x o sujeito e S o predicado. Simbolicamente, representa-se primeiro o predicado, depois o sujeito. x S representado como Sx. O condicinal j conhecido. x P representado por Px. A expresso acima fica:
" x(Sx Px)
Um enunciado do tipo Nenhum S P, pode ser expresso como Qualquer que seja x, se x S, ento x no P. Em notao simblica tem-se:
" x(Sx ~Px)
A proposio do tipo Algum S P pode ser expressa como Para pelo menos um x, x S e x P, significando que suficiente que um x pertena ao conjunto S e tambm ao conjunto P, para que essa sentena seja verdadeira. Simbolicamente, a proposio escrita como
$ x(Sx Px)
que tambm pode ser lida como: Existe x, tal que x S e x P. De maneira anloga, uma proposio do tipo Algum S no P, quando escrita em linguagem simblica, resulta em x(Sx ~Px) $ importante ressaltar que proposies com o quantificador universal devem ser simbolizadas com o condicional, enquanto proposies com o quantificador 84 existencial devem adotar a conjuno.
Lgica para Computao
Exemplos: Interpretando por V o predicado vermelho, A azul, B branco, C um carro e F uma Ferrari, formalizar as sentenas abaixo:
" a) Toda coisa um carro. xCx " b) Nada um carro. x~Rx (ou ~$ xRx) c) Nem toda coisa um carro. ~" xRx " d) Todos as Ferraris so vermelhas. x(Fx Vx) " e) Nenhum carro vermelho. x(Cx ~Vx) $ f) Existem carros brancos. x(Cx Bx) " g) Nenhuma Ferrari branca. x(Fx ~Bx) h) Alguns carros no so Ferrari e so brancos. $ x(~Fx Bx) I) No verdade que existem carros brancos. ~$ x(Cx Bx)
EXERCCIO 2
Considerando R uma r, V verde e S est saltitando, formalize as sentenas a seguir: a) Toda coise uma r. b) Existem rs verdes. c) Todas as rs so verdes. d) Existem rs que so verdes e no esto saltitando. e) Todas as rs esto saltitando. f) Ou qualquer coisa uma r ou nada uma r. g) Somente rs so verdes. h) Nenhuma r verde. i) Nenhuma r est saltitando. j) Qualquer coisa que est saltitando uma r. k) Alguma r est saltitando. 85 l) Se nada verde, ento no existem rs verdes.
Lgica para Computao
Parnteses, que so smbolos de agrupamento, determinam o escopo do identificador. Quando uma varivel aparece em uma frmula e no est quantificada, chamada de $ varivel livre. Na expresso " x(Qxy y(Rxy)) o escopo de x toda a frmula e y uma vaarivel livre em Qxy, pois no est quantificada. Para determinar o valor lgico de uma fbf predicada necessrio conhecer a interpretao de cada proposio da frmula, de forma semelhante a uma fbf proposicional. Para encontrar o valor lgico da frmula $ x(Ax " y(Bxy Cy)), considerando o conjunto universo como o conjunto dos inteiros, Ax significando x > 0, Bxy sendo x > y e Cx significando y 0, deve-se observar, inicialmente, o escopo de $ x, que toda a frmula e de " y, que Bxy Cy. A sua interpretao : existe um valor de x, tal que, x > 0 e para qualquer y, se x > y ento y 0. Fazendo x = 1 a fbf acima verdadeira.
EXERCCIO 3
Encontre uma interpretao para a qual a mesma fbf tenha valor lgico falso. (Mude o significado de A, B ou C).
Sendo o conjunto universo o conjunto de todas as pessoas, Ax significando x um aluno, Ix sendo x inteligente e Fx x gosta de futebol, escreva fbf para representar as proposies: a) Todos os alunos so inteligentes. b) Alguns alunos inteligentes gostam de futebol. c) Toda pessoa que gosta de futebol um aluno e no 86 inteligente.
Lgica para Computao
d) Apenas alunos inteligentes gostam de futebol.
A primeira sentena traz o quantificador universal: " x(Ax Ix) A segunda sentena est formulada de forma ligeiramente difertente dos exemplos anteriores. A forma intermediria poderia ser: existe alguma coisa que aluno, inteligente e gosta de futebol. A fbf correspondente ser: $ x(Ax Ix Fx). Rescrevendo a terceira sentena: para qualquer coisa, se gosa de futebol, ento um aluno e no inteligente. Representao simblica: " x(Fx Ax ~Ix). A ltima sentena diz que ningum mais alm dos alunos inteligentes gosta de futebol. Assim, pode-se reescrev-la como: se algum gosta de futebol ento um aluno inteligente, ou, ainda, toda coisa gosta que de futebol um aluno e inteligente. Escrevendo na linguagem simblica: $ x(Fx Ax Ix)
EXERCCIO 4
1) Determine o valor lgico das fbf abaixo, sendo o conjunto dos inteiros o conjunto universo, e a interpretao Ix x impar, Mx x < 0 e Nx x > 5": a) " x(Ix) b) $ x(Ix) c) $ x(Mx Nx) d) $ x(Mx Nx) e) $ x(Ix Nx) 2) Sendo o conjunto universo o conjunto dos nmeros inteiros (conjunto Z), qual o valor lgico das fbf a seguir: a) " x,$ y(x + y = x) b) $ y," x (x + y = x) c) " x,$ y(x + y = 0) d) " y,$ x (x + y = 0)
87
Captulo 6
Recorrncia
Em uma definio recorrente, o item que est sendo definido faz parte da definio. Uma definio recorrente constituda de 1. Uma base, ou condio bsica, na qual um ou alguns casos do item que est sendo definido explicitado. 2. O passo indutivo ou recorrente, onde novos casos do item sendo definido so dados em funo de ocorrncias anteriores. Seqncias e algoritmos podem ser definidos por recorrncia.
6.1 Seqncia definida por recorrncia

Uma seqncia uma lista de itens, enumerados em uma determinada ordem. Existe um primeiro, um segundo item, etc. Exemplo de uma seqncia numrica: S = 2, 4, 8, 16, 32, 64, ... A seqncia S, acima, est explicitando os seis primeiros termos e h a indicao de que infinita. Outra forma de escrever a seqncia :
88
Lgica para Computao
S(1) = 2 S(2) = 4 S(3) = 8 S(4) = 16 ... Para represent-la de forma recorrente, explicita-se o primeiro termo, S(1), e procura-se escrever cada um dos demais termos em funo do anterior: O passo 1 j est definido S(1) = 2 mas o passo 2 deve ser escrito de forma a definir cada um dos demais termos da seqncia em funo do termo anterior. Assim, S(2) deve ser definido em funo de S(1), S(3) em funo de S(2), e assim, sucessivamente. A seqncia, assim definida, passa a ser escrita da forma: S(1) = 2 S(2) = 4 = 2 + 2 S(3) = 8 = 4 + 4 S(4) = 16 = 8 + 8 ...
Percebe-se que, a partir de S(2), cada valor pode ser decomposto em uma soma com duas parcelas: S(n 1) + um valor. No exemplo, a segunda parcela coincide com a primeira: S(n 1) + S(n 1). A definio recorrente, para a seqncia em questo, : S(1) = 2 S(n) = 2S(n 1), para n 2.
89
Lgica para Computao
Dada uma definio recorrente, para saber o valor do nsimo termo, necessrio saber o valor do termo n 1. n Ateno: 2 tambm representa a seqncia acima, mas no uma forma recorrente de representao. Essa uma forma fechada de representar uma seqncia. Encontrar a forma fechada de uma seqncia resolver a seqncia. No presente contexto, no ser estudado como resolver uma seqncia. Outro exemplo: Escrever a seqncia T = 2, 4, 7, 11, 16, 22, ... Reescrevendo T: T(1) = 2 =2 T(2) = 4 =2+2 T(3) = 7 =4+3 T(4) = 11 =7+4 T(5) = 16 = 11 + 5 T(6) = 22 = 16 + 6 V-se que a primeira parcela da soma em que cada termo foi decomposto , a partir S(2), igual a S(n 1) e que a segunda parcela igual a n. A forma recorrente de T : S(1) = 2 S(n) = S(n 1) + n, para n 2. Considere a seqncia recorrente abaixo e escreva os seus primeiros cinco termos: S(1) = 3 S(n) = S(n 1) + 2n, para n 2 O primeiro termo j foi dado: 3. O segundo termo ser obtido fazendo: S(2) = S(2 1) + 2 x 2 = S(1) + 4 = 3 + 4 = 7
90
Lgica para Computao
Os termos seguintes: S(3) = S(2) + 2 x 3 = 7 + 6 = 13 S(4) = S(3) + 2 x 4 = 13 + 8 = 21 S(5) = S(4) + 2 x 5 = 21 + 10 = 31 Resumindo: S = 3, 7, 13, 21, 31 ...
EXERCCIOS
1) Escreva os seis primeiros termos das seqncias recorrentes: a) S(1) = 10 S(n) = S(n 1) + 10, para n 2 b) A(1) = 2
A(n) = 1 para n 2. A(n - 1)
c) F(1) = 1 F(2) = 1 F(n) = F(n 2) + F(n 1), para n > 2. 2) Escreva as seqncias abaixo de forma recorrente: a) S = 1, 2, 4, 7, 11, 16, ... b) T = 1, 3, 9, 27, 81, ...
6.2 Algoritmo definido por recorrncia

6.2.1 Construindo um algoritmo recorrente Entre os comandos empregados no desenvolvimento de algoritmos, est o comando condicional (ou comando de 91 deciso), que tem a estrutura:
Lgica para Computao
se
<condio> ento comando(s)1 seno comando(s)2
fimse
onde: <condio> uma expresso lgica e, portanto, deve resultar no valor lgico falso ou verdadeiro; comando(s)1 um, ou uma seqncia de comandos; comando(s)2 um, ou uma seqncia de comandos. Quando a execuo de um algoritmo chaga a um comando de deciso desse tipo, testa o valor lgico de <condio>. Caso <condio> = V, executa a clusula ento, constituda pelo comando1 (ou grupo de comandos1) e deixa de executar a clusula seno. Caso contrrio (<condio> = F), a execuo desviada para a clusula seno, composta do comando2 (ou grupo de comandos2). Exemplo: Supondo que A = 2 e B = 7, o comando de deciso abaixo ser executado da seguinte forma:
se A > = B ento Escreva A maior ou igual a B seno Escreva B maior que A fimse.
Para os valores dados, o teste da condio resulta em falso e ser executada a clusula seno: a frase B maior que A ser escrita. O significado do comando escreva deixa de ser explicado porque, no atual contexto, suficiente saber o funcionamento 92 do comando se.
Lgica para Computao
Algoritmos definidos por recorrncia tm a estrutura:

Algoritmo S(n) se <condio> ento retorne valor seno retorne S(n 1) fimse fimalgoritmo
onde: S o nome do algoritmo; n uma varivel, atravs da qual passado o valor que o algoritmo deve processar; Uma referncia ao nome do algoritmo um comando que faz executar esse algoritmo. Em retorne S(n 1) h um comando para executar S, que o prprio algoritmo. Essa a caracterstica do algoritmo recorrente: manda executar a si prprio. Algoritmos recorrentes tambm so conhecidos como algoritmos recursivos. Voltando seqncia recorrente S(1) = 2 S(n) = 2S(n 1) para n 2. possvel escrever um algoritmo recorrente para fornecer o n-simo termo dessa seqncia:
Algoritmo S(n) se n = 1 ento (corresponde a S(1)) retorne 2 (corresponde ao valor de S(1) seno retorne 2S(n 1) (expresso que define S(n)) fimse fimalgoritmo
Exemplos: Faa um algoritmo recorrente para as sequncias:
93
Lgica para Computao
a) S(1) = 1 S(n) = S(n 1) + (n 1) b) P = 3, 5, 9, 15, 23, ... Solues: a) Como a sequncia j est escrita de forma recorrente, a construo do algoritmo recorrente resume-se a transcrever o valor de S(1) para a clusula ento do comando de deciso, e a expresso que determina S(n) para a clusula seno.
algoritmo S(n) se n = 1 ento retorne 1 seno retorne S(n 1) + (n 1) fimse fimalgoritmo
b) O primeiro passo escrever a sequncia na forma recorrente, que : P(1) = 3 P(n) = P(n 1) + 2(n 1) Depois, procede-se como no exemplo anterior, gerando o algoritmo:
algoritmo P(n) se n = 1 ento retorne 3 seno retorne P(n 1) + 2(n 1) fimse fimalgoritmo
EXERCCIO 1
Faa um algoritmo recorrente para a sequncia R = 3, 7, 16, 94 32, 57, ...
Lgica para Computao
6.2.2 Como um algoritmo recorrente executa Supondo que seja mandado executar o algoritmo do primeiro exemplo para o valor n = 5, a primeira linha do algoritmo testar se n = 1, que resulta em falso, pois o valor inicial de n 5. Sendo o resultado do teste falso, deixa de executar a clusula ento e a execuo vai para a clusula seno, retorne 2S(n 1), que significa execute S com valor de entrada n = 4 e multiplique o resultado por 2. Como no se tem o valor de S(4), a operao multiplicao fica pendente e S(n 1) faz executar o prprio algoritmo S(n), sendo n, desta feita, igual a 4. Essa pendncia armazenada:
2 * S(4)
O armazenamento das operaes pendentes feito em uma estrutura de dados denominada PILHA, que tem esse nome porque a forma como acontece esse armazenamento das informaes e o acesso posterior s mesmas, conceitualmente funciona como uma pilha, onde a ltima informao armazenada a primeira a ser retirada. A nova execuo do algoritmo produz o mesmo resultado: manda executar S com o atual valor de n diminudo de 1, ficando pendente, mais uma vez, o valor a ser retornado:
2 * S(3) 2 * S(4)
As pendncias se sucedem, at que o algoritmo mandado executar com n = 1:

2 * S(1) 2 * S(2) 2 * S(3) 2 * S(4)
95
Lgica para Computao
Ao ser executado com n = 1, feito o teste na primeira linha do comando de deciso (comando se) e este resulta em verdadeiro, sendo executada, desta feita, a clusula ento: retorne 2. Como no h mais pendncia de operao, feito o desempilhamento das operaes pendentes:
S(1) = S(2) = S(3) = S(4) = S(5) = 2 2 * S(1) 2 * S(2) 2 * S(3) 2 * S(4)
=2*2 =4 =2*4 =8 = 2 * 8 = 16 = 2 * 16 = 32
Quando a ltima pendncia resolvida, o algoritmo para, fornecendo como resultado o valor da ltima operao. No exemplo acima, o valor fornecido pelo algoritmo 32. Para n = 5 o valor retornado S(5).
EXERCCIO 2
Execute o algoritmo abaixo, considerando o valor inicial n = 4 e diga qual o valor final retornado pelo algoritmo:
algoritmo M(n) se n = 1 ento retorne 3 seno retorne M(n 1) + (n 2) fimse fimalgoritmo
96
Bibliografia
COPI, Irving M. Introduo Lgica. 2a. Ed. So Paulo: Mestre Jou, 1978. FILHO,Edgard de Alencar. Iniciao lgica Matemtica. So Paulo: Nobel, 2002. GERSTING, Judith L., Fundamentos matemticos para a Cincia da Computao, 4 ed., Rio de Janeiro: Livros Tcnicos e Cientficos Editora, 2001. SOUZA, Joo N., Lgica para Cincia da Computao, Rio de Janeiro: Elsevier, 2002.
97
Respostas dos Exerccios

2.1 Elementos fundamentais da sintaxe da linguagem da Lgica Proposicional: 1. a) ( X ) b) ( X ) c) ( ) No proposio, pois ela no est definida. d) ( X ) e) ( ) No proposio pois uma pergunta. f) ( ) Muitos, poucos indefinem. No proposio g) ( ) Talvez: indefine. No proposio. h) ( X ) i) ( ) No se sabe qual o valor de x nem de y, logo no se pode afirmar se verdadeira ou falsa. No proposio j) ( X ) l) ( ) Possivelmente: lana a dvida. Indefine. m ( ) uma pergunta. No pode ser proposio. 2.1.1 Formalizao de uma proposio: A Est frio, B Est chovendo e C Est quente. 1. a) A B b) A ~B
98
Lgica para Computao
c) A C d) A ~C e) A B f) C B g) (A B) ~C h) C (~B ~A ) i) A B j) B ~C k) B A 2. a) A casa bonita e a porta pequena. b) A casa bonita se, e somente se, a porta for pequena. c) A casa no bonita. (No verdade que a casa bonita). d) Se a casa bonita e a porta pequena, ento a janela grande. e) Se a casa bonita ou a porta pequena e a janela grande, ento a porta pequena. f) A casa bonita ou a porta pequena. g) A casa ser bonita implica em a porta ser pequena. h) No verdade que a casa bonita e a porta pequena. (A casa no bonita ou a porta no pequena). i) Ou a casa bonita implica em a porta ser pequena ou a casa ser bonita implica a janela ser grande. j) Se a porta pequena, ento a casa bonita e a janela grande. 2.2.1.1 Negao de uma proposio 1. a) O processador no rpido ou a impressora no lenta. b) O processador no rpido e a impressora no lenta. c) Pepinos no so verdes ou tm sementes.
99
Lgica para Computao
d) A comida no boa e o servio no bom. e) A comida boa ou o servio excelente. 2. a) V b) V c) V d) F e) F 3. d) 2.2.1.2 Conjuno de duas proposies 1. a) F b) V c) V d) F e) F 2.2.1.3 Disjuno de duas proposies 1. a) V b) V c) V d) F e) V 2.2.1.4 Condicional 1. a) antecedente: A chuva continuar conseqente: o rio vai transbordar b) antecedente: a chave central desligar conseqente: faltar energia. c) antecedente: um gato saudvel conseqente: uma boa dieta.
100
Lgica para Computao
d) antecedente: definio alterada conseqente: a definio ficar errada. 2. a) V b) F c) V d) V 2.2.1.4 Condicional 1. a) V b) F c) F d) F e) F
2.2.1.6 Ou exclusivo 1. a) V b) F c) F d) V
2.2.1.7 Interpretao de uma fbf composta. 1. a) F b) V c) V 2. I[G] = F
101
Lgica para Computao
b)
A V V F F B V F V F ~A A B V F V F V V F V A B ~A F F V V
c) (A B) ~A B
1 2 B 1 A B ~A ~A 2 V F V V F F F V V V V V V V V V
A V V F F
B V F V F
d) (P (~Q R)) ~(Q (P ~R))

1 2 ~R P ~( ) ~Q R P ~R Q V V F F V F F F V V V F V V F F F V V V V V V F V V F V V F F V V F V F V V F V V F V V V F F V
P V V V V F F F F
Q V V F F V V F F
R V F V F V F V F
~Q F F V V F F V V
1 2 F F V F F F F V
3.3.1 Tautologia 1) H = (P Q) (P Q)
P V V F F Q V F V F P Q P Q (P Q) (P Q) V V V F V V F V V F F V
102
Lgica para Computao
3.2 Tabela verdade 1. a)

A V V V V F F F F B V V F F V V F F C V F V F V F V F A B A B C V V V F V V V F V V V F F V F V
2) (P Q) (~P Q)
P V V F F Q V F V F ~P P Q ~P Q (P Q) (~P Q) V F V V F F F V V V V V V V V V
3.3.2 Contradio 1) a) ~(P Q) Q

P V V F F Q V F V F P Q ~(P Q) ~(P Q) Q V F F F V F V F F V F F
b) ~(P (P Q))
P V V F F Q V F V F P Q P (P Q) ~(P (P Q)) V V F V V F V V F F V F
103
Lgica para Computao
3.3.3 Frmula satisfatvel 1) a) H = (P Q) Q

P V V F F Q V F V F P Q Q V V F F F V V V
b) G = (P Q) (P Q)
P V V F F Q V F V F P Q P Q (P Q) (P Q) V V V F F V V F F V F F
3.3.4 Equivalncia lgica a) G = A B e H = ~(A B)

A V V F F B V F V F G V F V V A B V V V F H F F F V
Concluso: G no equivale a H b) G = ~(A B) e

A V V F F B V F V F A B G V F V F V F F V
H = ~A ~B
~A F F V V ~B F V F V H F F F V
104
Concluso: G equivale a H.
Lgica para Computao
3.3.5 Implicao lgica 1) As tabelas verdade de K, L e M so:

K V F V F L V F F F M V V V F
a) L M. Pelo critrio 3:
L V F F F M V V V F L M V V V V
Logo, L M, pois L M uma tautologia. b) M K

M V V V F K V F V F M K V F V V
Logo, M no implica logicamente em K. c) L K

L V F F F K V F V F L K V V V V
Logo, L implica logicamente em K.
105
Lgica para Computao
d) K M
K V F V F M V V V F K M V V V V
Concluso: K implica logicamente em M (ou K M). 2) A = (~P Q) e B = (P Q)

P V V F F Q V F V F A F V V F B V V V F
Verifica-se que I[A] = V na terceira e quarta linhas e nessas mesmas linhas I[A] = V tambm. Logo, A B.
4.1 Argumento 1) a) Identifica-se as proposies simples: Jonas anda J O trem sai no horrio T Jonas perde o trem P Jonas fica triste F Jonas volta para casa C Argumento: ((J T) P) (P (F C)) J C b) (S (~C ~Q)) (~C Q) ~S
106
Lgica para Computao
4.2.1 Exerccio 1.
S V V V V F F F F C V V F F V V F F Q V F V F V F V F ~C F F V V F F V V 1 2 3 4 ~Q ~C ~S ~Q S 1 ~C Q 2 3 F F F F F F V F F F F F F F F V F F V V V F F F F F V F F V V F V F F V F F V V V V V V V F F V 4 ~S V V V V V V V V
A frmula vlida.
4.2.2 Exerccio 1
1 I[P] = V 2 I[Q] = V 4 V V I[Q] = F 5 I[P] = F 3 V
F = (P (P Q)) (P Q) N 2: V ? V ? ? V ? Nada se pode concluir sobre o valor do n 2. F = (P (P Q)) (P Q) N 3: F F F V V F ? Como o antecedente da implicao falso, conclui-se que o n 3 tem valor lgico V. F = (P (P Q)) (P Q) N 4: V V VV V V V V V Concluso: o n 4 verdadeiro.
107
Lgica para Computao
F = (P (P Q)) (P Q) N 5: V F V F F V F F F Idem n 3. Todos os ns da rvore tm valor lgico V, logo a frmula vlida.
b) G = ~(P Q) ~P
1 I[P] = V 2 I[Q] = V 4 V F I[Q] = F 5 I[P] = F 3 V
A frmula no vlida, pois o n 5 tem valor F. A interpretao para a qual I[G] = F : I[P] = V e I[Q] = F.
c) H = ((A B) (A C)) A
1 I[A] = V 2 V I[B] = V 4 I[C] = V 6 I[C] = F V 7 F V I[A] = F 3 I[B] = F 5
108
Lgica para Computao
A frmula no vlida. Para I[A] = F, I[B] = V e I[C] = V tem-se I[H] = F.
Exerccio 2
1 I[S] = V 2 I[C] = V 4 V 6 V V 7 I[C] = F 5 I[S] = F 3 V
N 2: N 3: N 4: N 5: N 6: N 7:
(S (~C ~Q)) (~C Q) ~S V ? ? FV F V ? V VF V F FV F F FV F V FV V ? VF ? ? VF ? ? FV V F VF F FV F VF V V V FV V V VF V VF F VF F F V FV
Como todos os ns folha da rvore possuem valor lgico V, a frmula vlida. 4.2.3 Mtodo da negao ou absurdo
1. a) G = A B ~A F V F VF Para que o condicional seja falso o antecedente ( ) deve 109
Lgica para Computao
ser verdadeiro e o conseqente falso. Mas isso s seria possvel se A tivesse valor V em A B e valor F em ~A, o que seria um absurdo, pois A no pode ter, ao mesmo tempo, dois valores verdade distintos. Como no se pode provar que G falsa, ento G vlida. b) (P E) E P F V V V V F F. Para I[P] = F, a fbf resulta em F. Logo, no vlida. c) H = ((A B) (A C)) A FVV V F V F F. Para I[A] = F e I[B] = V, tem-se I[H] = F. Concluso: H no vlida. 4.2.4.1 Regras de deduo 1) Argumento: A (~B ~C) B Passo de induo regra 1. A hip 2. ~B ~C hip 3. ~(~B) ~C 2, cond 4. B ~C 3, dn 5. ~C B 4, com 6. C B 5, cond 7. B 1, 6, mp 2. a) A (B C) [(A B) (D ~C)] B D 1. A hip 2. B C hip 3. (A B) (D ~C) hip 4. B hip
110
Lgica para Computao
5. A B 6. D ~C 7. ~C D 8.C D 9. C 10. D
1, 4, conj 3, 5, mp 6, com 7, cond 2, 4, mp 8, 9, mp
b) ~A B (B (A C)) C 1. ~A hip 2. B hip 3. B (A C) hip 4. A C 2, 3, mp 5. ~(~A) C 4, dn 6. ~A C 5, cond 7. C 1, 6, mp 4.2.4.2 Exerccio 1: (~A ~B) (A C) (B C) 1. ~A ~B hip 2. A C hip 3. B hip (s precisa provar C) 4. ~(~A) 1, 3, mt 5. A 4, dn 6. C 2, 5, mp Exerccio 2: (A B) (~C A) C B 1. A B hip 2. ~C A hip 3. C hip 4. C A 2, cond 5. C B 1,4 sh 6. B 3, 5, mp
111
Lgica para Computao
5. Quantificadores a) Todo S P. b) Todo S P negada. c) Algum S P. d) No enunciado categrico. e) No enunciado categrico. f) Dois enunciados: Algum S P e Algum S no P. g) Todo S P. h) no enunciado categrico.
5.1 Quantificador Universaol e Existencial Exerccio 1 a) P(x) = x Jaraqui, no conjunto de todos os peixes. b) No possvel. Exerccio 2 a) " x,Rx b) $ x(Rx Vx) c) " x(Rx Vx) d) $ x(Rx ~Sx) e) " x(Rx Sx) f) " x,Rx x, ~Rx g) " x(Vx Rx) h) " x(Rx ~Vx) i) " x(Rx ~Sx) j) " x(Sx Rx) k) $ x(Rx Sx) l) " x ~Vx ~x(Vx Rx) Exerccio 3 Fazendo Ax x par, Bxy x < y e Cy y mpar, a fbf assume valor falso. Exerccio 4 1) a) F b) V 2) a) V b) V
c) F c) V
d) V d) F
e) V
112
Lgica para Computao
6.1 Seqncia recorrente a) S = 10, 20, 30, 40, 50, ... b) A = 2; 0,5; 2; 0,5; 2; ... c) F = 1, 1, 2, 3, 5, ... 2. a) S(1) = 1 S(n ) = S(n 1) + (n 1), para n 2 b) S(1) = 1 S(n ) = S(n 1) + 2(n 1), para n 2.
6.Algoritmo definido por recorrncia

1) algoritmo R(n) se n = 1 ento retorne 3 seno retorne R(n 1) + n2 fimse fimalgoritmo
2) 6
113
Exerccios
1. Diga qual das sentenas abaixo so proposies, da Lgica Proposicional. Classifique as que so proposies como simples ou compostas. a) Aline bonita. b) Klinger trabalhador. c) Quem saiu? d) Ningum falou. e) Algum est sorrindo. f) 2 x 7 = 14. g) 4 + y = 25. h) Jorge chegou e Janice saiu. i) 4 x 9 = 57 e Tef fica no estado de Roraima. j) Cucui fica no estado do Amazonas e a floresta bonita. k) Qualquer um pode falar. l) Algum gritou. m) Ou o exerccio est correto ou no sei a resposta. n) Cheguei cedo mas no encontrei Onofre. o) Se azul for amarelo, ento roxo branco. p) Quem corre cansa. q) Euclides viajou? r) Josefina est alegre e vai festa hoje. s) Heliodoro no conhece todos. t) A casa est fechada mas a janela est aberta.
114
Lgica para Computao
2. Diga quais das frmulas abaixo no so fbf : a) P Q b) PQR A c) A B d) ((A B) C) e) P1 P2 P3 P4 f) A1 B C D F G H g) A (B C) ((B C) D) F(G H) (P Q R) h) A B (( B C i) )) A B C D (( j) ~(~C (~B C) (~(~A ~B) ~(D E)) 3. Seja P Paulo alto, Q Paulo elegante e seja R Paulo feliz. Escreva cada uma das seguintes proposies de forma simblica: a) Paulo alto e elegante. b) Paulo alto mas no elegante c) falso que Paulo baixo ou elegante. d) Paulo no nem alto nem elegante. e) Paulo alto, ou Paulo baixo e elegante. f) Se Paulo alto, ento ele felia e elegante. g) Paulo baixo ou no elegante. h) Se Pualo alto ento ou ele alto ou se ele elegante ento ele feliz.. i) Paulo ser alto se, e somente se, for elegante. j) Se Paulo alto e elegante, ento ele elegante. k) Paulo no alto e no elegante. l) Ou Paulo alto logo elegante, ou Paulo no alto. m) Ou Paulo alto ou, se elegante no alto. n) Ou Paulo elegante e feliz se, e somente se alto, ou no alto mas feliz. o) Se Paulo elegante se, e somente se, for alto, ento ele 115 alto e elegante.
Lgica para Computao
p) Se Paulo elegante se, e somente se, for alto, ento ele alto. Paulo elegante.
4. Seja P A lua fria, seja Q O sol quente e seja R A Terra redonda. Passe para a linguagem corrente as proposies: a) P Q b) P Q c) P Q d) P ~Q e) Q P f) ~P ~Q g) P ~Q h) P (P Q) i) ~Q ~R j) ~Q ~P k) (Q R) (P Q) l) (R (P Q)) R m) P Q R n) ((Q R) Q) R o) (P Q R) (P Q) 5. Faa a negao das proposies abaixo: a) A castanheira alta. b) A seringueira alta e a castanheira no alta. c) A floresta bonita ou a castanheira alta. d) Ou a floresta no bonita ou a seringueira no alta. e) Nem a seringueira alta nem a floresta bonita. f) A casa grande, mas o quarto pequeno. g) A casa grande ou o quarto pequeno. h) A camisa bonita mas no tem botes. i) A camisa no bonita e tem botes. j) A camisa bonita ou no tem botes. k) Nem a camisa bonita nem tem botes. l) Se a camisa bonita, ento tem botes. m) A casa no grande e o quarto no pequeno.
6. Considere as proposies abaixo e diga quais negaes de cada uma esto corretas. a) A resposta certa 3 ou 6. 1) A resposta certa no 3 ou no 6. 116
Lgica para Computao
2) A resposta certa no 3 e no 6. 3) A resposta certa no 3 mas 6. b) Mamo no verde e tem sementes. 1) Mamo verde e no tem sementes. 2) Mamo verde e tem sementes. 3) Mamo verde ou tem sementes. 4) Mamo verde ou no tem sementes. 7. D o valor verdade das seguintes proposies: a) A Terra um planeta. b) A Terra no um planeta. c) No verdade que a terra no um planeta. d) O Amazonas o maior rio do mundo. e) 10 + 5 = 20 f) 10 + 5 20. g) A Terra um planeta e Marte no um planeta. h) A Terra gira em torno do Sol e Saturno tambm. i) Tambaqui peixe e boto no peixe. j) Tambaqui peixe e ona mamfero. k) Tambaqui peixe ou ona mamfero. l) Ou peixe-boi no peixe ou ona no sai da toca noite. m) No verdade que tambaqui peixe e ona mamfero. n) Se tambaqui peixe, ento ona mamfero. o) Se tambaqui no peixe, ento ona mamfero. p) Se tucunar peixe, ento boto no peixe. q) Tucunar peixe se, e somente se, boto no for peixe. r) Tucunar peixe se, e xomente se, dourado for peixe. s) No verdade que se a castanheira rvore ento seringueira tambm rvore. t) Se castanheira no rvore, ento boto no peixe. u) Se castanheira rvore, ento boto no peixe. v) Se castanheira rvore, ento boto peixe. 117
Lgica para Computao
w) Arara ave se, e somente se, guia for ave. x) Arara no ave se, e somente se, guia no for ave. y) Arara ave se, e somente se, guia no for ave. z) Arara no ave se, e somente se, guia for ave. Para as prximas sentenas, considere que s seja possvel escolher uma alternariva: aa) Ou bebo suco ou bebo refrigerante. bb) Ou vou ao baile ou vou dormir. cc) No bebo suco nem bebo refrigerante. dd) Vou ao baile e vou dormir (ao mesmo tempo). ee) No verdade que vou ao baile e vou dormir.
118
8. Fazer a tabela verdade para as frmulas: a) ~ (P Q) b) ~(P ~ Q) c) (P Q) (P Q) d) (P Q) (~Q ~P) e) ~(P (~P Q)) Q f) P (P ~Q) g) (P Q) ( ~P Q) h) ~ (P Q) ~(Q P) i) A ~(~A ~B) j) (A B) [(A C) (B C)] k) A ~B ~(A B) l) ~((A B) (~A ~B)) m) (A (B ~C) ) (~A C ~B) n) (A B) C A (B C) o) (~A B) (B C) p) A (B (A C) q) C (A (B A)) r) (P (Q (P Q))) (P (P Q)) (P (P ~Q))
Lgica para Computao
9. Diga quais das frmulas do exerccio 8 so tautologias, contradies ou, apenas, satisfatveis. 10. Seja I uma interpretao, tal que I[P] = T, I[Q] = F e I[R] = F. O que se pode afirmar a respeito do valor verdade de cada frmula abaixo? a) (Q ~P) b) (falso Q) R c) (P (Q P)) d) verdadeiro (P R) e) ~P ~R ~Q f) ~Q (P ~Q) g) (P (Q R)) ((P Q) R) 11. Seja I uma interpretao tal que I[P Q] = V. O que se pode deduzir a respeito dos resultados das interpretaes: a) I[~P Q] b) I[P ~Q] c) I[Q P] d) P Q 12. Sabendo que I uma interpretao que interpreta cada frmula abaixo como sendo verdadeira e que I[A] = V, o que se pode concluir a respeito de I[B] e I[C]? a) L = ~(A ~B) b) M = (A B) C c) N = (A ~B) C d) O = (A B) ~B 13. Considere as frmulas G, H e L, abaixo, e responda o que se pede. G = (A B) ~B H = ~A ~B L = ~(A B)~ Verifique se: a) G H b) G L c) L G d) L H e) H G f) H L 14. Verifique, usando a rvore semntica, se as seguintes fbf so vlidas. Caso alguma fbf no seja vlida, identifique uma interpretao para a qual a frmula no vlida. a) (~P Q) (P Q) b) P ((Q R) ((P R) (P R))) 119 c) (P ~Q)) ~P
Lgica para Computao
d) (P (Q R)) ((P Q) R) e) P1 (P2 (P3 (P4 (P5 (P6 (P7 )))))) f) P1 ((P2 P3) ((P4 P5) ((P6 P7) P8))) g) ~((P Q) R S) (P1 Q1) h) (~P Q) ((~Q P) (P Q)) i) (P ((P (Q P))) (Q P)) j) (P ~Q) ~(P Q)
15. Transforme os argumentos abaixo em frmulas da lgica proposicional e verifique, usando rvore semntica, se so vlidos: a) Suponha que so verdadeiras as afirmaes i) Joo ama Aline ou Luciana. ii) Se Joo ama Aline, ento ele tambm ama Luciana. A partir dessas afirmaes possvel afirmar que necessariamente, Joo ama Aline? necessariamente, Joo ama Luciana? a) Quatro detetives, Ana, Teresa, Cynthia e Melo, esto investigando as causas de um assassinato e cada um deles conclui: Ana: Se h sangue na cena do crime, ento o matador um profissional. Teresa: falso que h sangue na cena do crime e o matador um profissional. Cynthia: O matador no um profissional e h sangue na cena do crime. Melo: H sangue na cena do crime.
120
Determine se, a partir das concluses de Teresa e Melo,
Lgica para Computao
pode-se concluir que o matador profissional. Determine se as concluses de Ana e Teresa so equivalentes. Determine se h implicao lgica entre as concluses de Cynthia e Ana. b) Se a temperatura e os ventos permanecerem constantes, no chover. A temperatura no permaneceu constante. Logo, Se chover significa que os ventos no permaneceram constantes. c) Se Godofredo ama Gripilina, ento possvel concluir que: Se Gripilina bonita, inteligente e sensvel, ento Godofredo feliz. A partir das afirmaes acima possvel concluir que: Godofredo no ama Gripilina? Gripilina no bonita, no inteligente e nem sensvel? Godofredo feliz? d) Se Katielly est bonita, ento Tony est feliz e se Tony est feliz, Danilo est preocupado. Se Danilo est preocupado, ento Katielly est bonita. Portanto, no verdade que se Danilo est preocupado, ento Tony est feliz. 16. Usando o mtodo da negao, verifique os argumentos dos exerccios 14 e 15.
17. Justifique cada passo de induo, na prova da frmula: ~A (A B) B 1. ~A 2. A B 3. ~(~A) B
121
Lgica para Computao
4. ~A B 5. B 18. Usando deduo lgica, prove que os argumentos abaixo so vlidos: a) ~P Q (Q (P R)) R b) (A (B C) ~B ~C ~A c) (A B) ~A B d) (A B) (~B ~A) e) ((P Q) R) (P (Q R)) f) (P (Q R)) ~Q ~R ~A g) (A B) (A (B C)) (A C) h) (A B) (~A ~B) i) ((A B) C) (A (B C)) j) (A B) (B (C D)) A (B C)) (A D) k) Se as taxas de juros carem, o mercado imobilirio vai melhorar. Ou a taxa federal de descontos vai cair, ou o mercado imobilirio no vai melhorar. As taxas de juros vo cair. Portanto, a taxa federal de descontos vai cair. l) Meu cliente canhoto mas, se o dirio no tiver sumido, ento meu cliente no canhoto; portanto, o dirio sumiu. m) 19. Crie smbolos proposicionais e formalize as sentenas predicadas abaixo: a) Todos os dias so bonitos. b) Alguns dias so bonitos. c) Nada bonito. d) Tudo bonito. e) Todos os dias que so ensolarados so bonitos. f) Alguns dias no so ensolarados. g) Nenhum dia ensolarado.
122
Lgica para Computao
h) Todos os dias so bonitos se, e somente se, no est chovendo. i) No verdade que alguns dias bonitos so ensolarados. j) Todos os carros so pretos. k) Alguns carros so pretos. l) Somente Fuscas so pretos. m) No existem Fuscas pretos. n) Alguns Fuscas so pretos ou so vermelhos. o) Alguns carros so Fuscas e so pretos. p) Se est chovendo, ento algumas pessoas esto molhadas. q) Ou est chovendo ou nenhuma pessoa est molhada. r) Se nada preto, ento no existem carros pretos. s) Qualquer coisa ou um Fusca ou no um Fusca. t) No verdade que existem alguns Fuscas pretos.
20. Escreva os seis primeiros termos das seqncias recorrentes: a) A(1) = 5 A(n) = A(n 1) + 10, para n 2. b) B(1) = 3 B(n) = B(n 1) + 1/n, para n 2. c) C(1) = 1 C(n) = C(n 1) +3(n 1), para n 2. d) D(1) = 1 D(2) = 2 D(n) = 2D(n 1) + 3D(n 2), para n > 2. e) M(1) = 1 M(2) = 1 M(3) = 2 M(n) = M(n 1) + 2M(n 2) + 3M(n 3), para n > 3.
123
Lgica para Computao
21. Escreva as seqncias abaixo de forma recorrente: a) S = 5, 10, 15, 20, 25, ... b) T = 5, 7, 10, 14, 19, ... c) U = 2, 8, 24, 64, 160, ... d) V = 1, 4, 16, 64, 256, ... e) X = 4, 7, 13, 22, 34, ... 22. Escreva um algoritmo recorrente para calcular o nsimo termo de cada uma das seqncias do exerccio 21. 23. Qual o valor retornado pelos algoritmos abaixo: a) Para n = 6, como valor inicial.
algoritmo S(n) se n = 1 ento retorne 3 seno retorne S(n 1) + 2(n 1) fimse fimalgoritmo
b) para qualquer valor inicial de n:

algoritmo A(n) se n = 1 ento retorne 1 seno retorne A(n 1) + 1 fimse fimalgoritmo
c) Para o valor inicial n = 5

algoritmo R(n) se n = 1 ento retorne 1 seno retorne R(n 1) + 7(n + 1) fimse fimalgoritmo
124
Lgica para Computao
125

Logica para Computacao

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Logica para Computacao

Enviado por

Direitos autorais:

Formatos disponíveis

Lgica para Computao

Universidade do Estado do Amazonas

Tecnologia em Anlise e Desenvolvimento de Sistemas (Sistema Presencial Mediado)

Perfil dos Autores

Professora Doutora Marilene Corra da Silva Freitas

Bibliografia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97 Respostas dos Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . 98 Exerccios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114

Tecnologia em Anlise e Desenvolvimento de Sistemas Lgica para Computao

1.1 O que lgica?

Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao

1.2 Origem da lgica.

Lgica para Computao

Tecnologia em Anlise e Desenvolvimento de Sistemas

1.3 Classificao da lgica:

Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao

Tecnologia em Anlise e Desenvolvimento de Sistemas Lgica para Computao

2.1 Elementos fundamentais da sintaxe da linguagem da Lgica Proposicional:

Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao

Lgica para Computao

Tecnologia em Anlise e Desenvolvimento de Sistemas

Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao

Lgica para Computao

Tecnologia em Anlise e Desenvolvimento de Sistemas

Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao

Conectivo lgico conjuno disjuno

Tabela 1 Indicaes para formalizao de uma proposio (Geristing, 2001, p. 4).

Lgica para Computao

Tecnologia em Anlise e Desenvolvimento de Sistemas

Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao

2.2 Semntica da lgica proposicional

Lgica para Computao

Tecnologia em Anlise e Desenvolvimento de Sistemas

Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao

Observe exemplos de negao de uma proposio na Tabela 2.

Valor verdade Representao (valor lgico) simblica V F F V F V V P ~P ~P ~(~P) Q ~Q ~Q

Paulo baixo e gordo

Lgica para Computao

Tecnologia em Anlise e Desenvolvimento de Sistemas

Tabela verdade da negao:

Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao

Lgica para Computao

Tecnologia em Anlise e Desenvolvimento de Sistemas

Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao

Lgica para Computao

Tecnologia em Anlise e Desenvolvimento de Sistemas

Tabela verdade do condicional:

Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao

Obs.: o conectivo se e somente se pode ser escrito de forma abreviada: sse.

Lgica para Computao

Tecnologia em Anlise e Desenvolvimento de Sistemas

Tabela verdade do ou exclusivo:

Tecnologia em Anlise e Desenvolvimento de Sistemas

Lgica para Computao

Lgica para Computao