Você está na página 1de 22

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

LGICA
O objetivo do estudo de lgica nesta disciplina possibilitar ao aluno fazer uma associao dos conceitos estudados em eletrnica digital com os problemas do nosso cotidiano. Permitir tambm a este aluno identificar que a eletrnica digital (circuitos lgicos e os computadores) uma ferramenta de suporte aplicada a lgica. Entretanto para utilizar tal ferramenta fundamental que saibamos modelar os problemas a estas ferramentas. Desta forma este tpico busca associar problemas de lgicas e equacion-los atravs da eletrnica digital. Existem vrias ferramentas para modelamento do raciocnio, correspondendo a vrios tipos de lgica: Proposicional, Primeira ordem (Predicados), Ordem superior, Difusa dentre outras. Estas abordagens so tratadas detalhadamente em um curso superior de cincia da computao. Nosso objetivo nesta disciplina apenas introduzir o conceito de lgica, aplicar lgica proposicional para soluo de alguns problemas prticos j tratados atravs de circuitos em eletrnica digital. 2. 1-

Introduo a Lgica

Estudando a histria dos sistemas de numerao podemos observar que sua evoluo marcada pela utilizao de uma srie de ferramentas que auxiliavam no processo de contagem e na execuo de clculos. Este processo foi estendido tambm na busca de mapear o pensamento humano em uma lgica que possibilitasse automatizar algumas maneiras de pensar. Este mapeamento se deu no sculo XIX, quando George Boole desenvolveu um sistema de lgebra (a lgebra das proposies), onde era possvel determinar se uma sentena era falsa ou verdadeira. Baseado nesta lgebra Alan Turing, em 1930, mostrou que com a lgebra de Boole apenas trs funes lgicas eram suficientes para o processo de determinao do falso ou verdadeiro. Estas funes so: E, OU e NO. Percebeu-se ainda, por esta poca, a relao entre dispositivos de chaves a rels e a lgebra de Boole. A adaptao da lgebra booleana para sistemas digitais foi introduzida em 1938 por Claude Shannon do Bell Laboratories. Este captulo destina-se apresentar lgebra das Proposies e seu relacionamento com os circuitos eletrnicos. Antes de entrarmos propriamente no assunto vamos falar um pouco mais de histria e introduzir alguns conceitos gerais. Muitas so as definies para Lgica, entretanto, todas tm em comum que seu objetivo estudar as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigao da verdade. Embora1 tenham sido encontrados na ndia, textos sobre esse assunto, escritos em pocas remotas, tradicionalmente aceito que a Lgica tenha nascido na Grcia Antiga, por volta do sculo IV antes de Cristo. Os primeiros trabalhos sobre Lgica so devidos a Parmnides, Zeno, e ao grupo conhecido como sofistas, mas o verdadeiro criador da Lgica , sem dvida, Aristteles, pois foi ele quem sistematizou e organizou esse conhecimento, elevando-o categoria de cincia. Em sua obra chamada Organum (que, em traduo livre, significa ferramenta) Aristteles estabeleceu princpios to gerais e to slidos que dominou o pensamento ocidental durante dois mil anos, e at hoje so considerados vlidos. Aristteles tinha como objetivo a busca da verdade, e, para isso, procurava caracterizar os instrumentos de que se servia a razo, nessa busca. Em outras palavras, Aristteles se preocupava com as formas de raciocnio que, a partir de conhecimentos considerados verdadeiros, permitiam obter novos conhecimentos. Caberia, pois, Lgica, a formulao de leis gerais de encadeamentos de conceitos e juzos que levariam descoberta de novas verdades. No estudo de Lgica, essa forma de encadeamento chamada de argumento, enquanto as afirmaes envolvidas so chamadas proposies; um argumento , pois, um conjunto de proposies tal que se afirme que uma delas derivada das demais; usualmente, a proposio derivada chamada concluso, e as demais, premissas. Em um argumento vlido, as premissas so consideradas provas evidentes da verdade da concluso. Eis um exemplo de argumento:
Retirado da Apostila Introduo a Lgica Prof. Antnio Almeida Pinho - 07/1999 - Registro MEC 191240 __________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 1
1

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

Se eu ganhar na Loteria, serei rico. (Proposio 1 Premissa) Eu ganhei na Loteria. (Proposio 2 Premissa) Logo, sou rico. (Proposio Derivada Concluso) Como a concluso, sou rico, uma decorrncia lgica das duas premissas, esse argumento considerado vlido. preciso deixar claro que a Lgica se preocupa com o relacionamento entre as premissas e a concluso, com a estrutura e a forma do raciocnio, e no com seu contedo, isto , com as proposies tomadas individualmente. Em outras palavras, no objeto da Lgica saber se quem ganha na Loteria fica rico ou no, ou se eu ganhei ou no na Loteria. O objeto da Lgica determinar se a concluso ou no uma conseqncia lgica das premissas. Por esse motivo, por que o objeto da Lgica a forma pela qual o raciocnio est estruturado, a Lgica costuma receber o nome de Lgica Formal. A validade do argumento est diretamente ligada forma pela qual ele se apresenta como pode ser mostrado pelo enunciado abaixo: Se eu ganhar na Loteria, serei rico. No ganhei na Loteria. Logo, no sou rico. Embora seja semelhante ao anterior, tem outra forma, e, nessa forma, a concluso no se segue logicamente das premissas, e, portanto, no um argumento vlido. 2.1. 1- Deduo e Induo. A Lgica dispe de duas ferramentas principais que podem ser utilizadas pelo pensamento na busca de novos conhecimentos: a deduo e a induo, que do origem a dois tipos de argumentos, dedutivos e indutivos. Os argumentos dedutivos pretendem que suas premissas forneam uma prova conclusiva da veracidade da concluso. Um argumento dedutivo vlido quando suas premissas, se verdadeiras, fornecem provas convincentes para sua concluso, isto , quando for impossvel que as premissas sejam verdadeiras e a concluso falsa; caso contrrio, o argumento dedutivo dito invlido. Os dois argumentos citados anteriormente so do tipo dedutivo, o primeiro vlido e o segundo invlido. Os argumentos indutivos, por outro lado, no pretendem que suas premissas forneam provas cabais da veracidade da concluso, mas apenas que forneam indicaes dessa veracidade. Veja um exemplo de argumento indutivo: Joguei uma pedra no lago, e a pedra afundou; Joguei outra pedra no lago e ela tambm afundou; Joguei mais uma pedra no lago, e tambm esta afundou; Logo, se eu jogar uma outra pedra no lago, ela vai afundar. Os termos vlidos e invlidos no se aplicam aos argumentos indutivos; eles costumam ser avaliados de acordo com a maior ou menor possibilidade com que suas concluses sejam estabelecidas. Costuma-se dizer que os argumentos indutivos partem do particular para o geral, isto , a partir de observaes particulares, procura estabelecer regras gerais, que, no caso das cincias naturais, devem ser provadas por outros meios; os argumentos dedutivos, por seu lado, partem de regras gerais para estabelecer a veracidade de acontecimentos particulares. O desenvolvimento da cincia tem dependido, em grande parte, da habilidade em combinar os dois tipos de raciocnio. 2.1. 2- Lgica Simblica e Lgica Clssica. Os argumentos formulados em uma linguagem natural, como o portugus ou ingls, so, muitas vezes, de difcil avaliao, principalmente por causa da ambigidade inerente s linguagens naturais, e das construes s vezes vagas ou confusas dos termos. Em virtude desses fatos, a partir dos trabalhos de George Boole, em meados do sculo XIX, foram sendo utilizados cada vez mais smbolos de origem matemtica para expressar os enunciados e raciocnios da Lgica. A Lgica apresentada dessa forma chamada Lgica Matemtica ou
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 2

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

Lgica Simblica, enquanto a Lgica baseada em linguagem natural chamada Lgica Clssica. medida que a Lgica Simblica desenvolve sua prpria linguagem tcnica, vem se tornando um instrumento cada vez mais poderoso para a anlise e a deduo dos argumentos. A utilizao de uma simbologia matemtica ajuda a expor, com maior clareza, as estruturas lgicas das proposies e dos argumentos, que podem no ficar suficientemente claras se expressas em linguagem natural. Uma outra vantagem da utilizao de uma linguagem simblica para a Lgica a possibilidade de utilizao de recursos computacionais no tratamento de enunciados e argumentos; os computadores digitais se mostram bastante adequados manipulao de smbolos, enquanto apresentam extrema dificuldade no tratamento de linguagem natural. Em 1965, um pesquisador chamado Robinson desenvolveu um procedimento computacional para a deduo, chamado Resoluo, evidenciando as vantagens da utilizao de uma linguagem simblica para a Lgica. Se para os computadores a linguagem simblica permite uma interpretao precisa, para o ser humano, que responsvel pela codificao desta lgica, a tarefa se torna bem mais complicada. Necessitamos de profissionais que consigam codificar a lgica desejada para que o computador possa tratar. Na prtica o que podemos observar uma convergncia entre a lgica clssica e a formal. Esta convergncia apresentada nas linguagens de programao. Nelas encontramos as linguagens de baixo nvel que mais se aproximam da lgica simblica enquanto as linguagens de alto nvel mais se aproximam da lgica clssica. 2.1. 3- Clculo Proposicional e dos Predicados. Muitas das idias envolvidas nos argumentos podem ser apresentadas atravs de proposies (tambm chamados enunciados ou sentenas) que se referem a um objeto; por exemplo, eu ganhei na Loteria, Jos atirou uma pedra no lago, Scrates um homem. Tais proposies so chamadas singulares. Existem outras proposies, no entanto, que fazem referncia a conjuntos de objetos; por exemplo, todos os homens so mortais, alguns astronautas foram Lua, nem todos os gatos caam ratos. Os termos homens, astronautas e gatos so conceitos; no se referem a nenhum homem, astronauta ou gato em particular, mas sim ao conjunto de propriedades que faz com que um objeto esteja em uma categoria ou em outra. Tais propriedades so chamadas de predicados. Como a Lgica que trata apenas das proposies singulares mais simples que a responsvel por tratar tambm de conjuntos de objetos, os autores preferiram separar o estudo da Lgica Matemtica em duas partes: o Clculo Proposicional, ou Lgica Sentencial, que se ocupa das proposies singulares, e o Clculo de Predicados, ou Lgica dos Predicados, que trata dos conjuntos de objetos e suas propriedades. 2.1. 4- Princpios da Lgica. A Lgica Formal repousa sobre trs princpios fundamentais que permitem todo seu desenvolvimento posterior, e que do validade a todos os atos do pensamento e do raciocnio. So eles: Principio de Identidade O que , ; ou seja, todo objeto idntico a si prprio. Isso no um simples jogo de palavras; na verdade, possvel defender a noo oposta, de que a realidade fluida, de que nada permanece igual a si prprio, e que qualquer raciocnio sobre objetos uma fico. Princpio da No Contradio Um objeto no pode, simultaneamente, ser e no ser. Ou seja, no possvel afirmar e negar o mesmo predicado para o mesmo objeto ao mesmo tempo; ou ainda, de duas afirmaes contraditrias, uma necessariamente falsa. Princpio do Terceiro Excludo Todo objeto ou no . Ou seja, uma dada afirmao necessariamente verdadeira ou falsa, no existindo uma terceira opo.
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 3

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

Sobre esses princpios repousa todo o arcabouo da Lgica Clssica. A negao de um ou mais desses princpios d origem a outras lgicas, chamadas genericamente de Lgicas No-Clssicas, cujas principais vertentes so: as lgicas modais, que incluem os conceitos de possibilidade e de necessidade, e nas quais o verbo pode ser modificado por um advrbio de modo, como nos enunciados talvez chova amanh, e certamente Joo saiu; as lgicas plurivalentes, nas quais o conceito de veracidade deixa de ser binrio (verdadeiro e falso) para assumir outros valores, como nas lgicas trivalentes, nas quais as proposies podem ser verdadeiras, falsas e neutras, nas lgicas nebulosas, em que existem gradaes de veracidade e nas quais uma proposio pode ser mais verdadeira que outra, e nas lgicas probabilsticas, nas quais existe uma probabilidade de que uma proposio possa ser verdadeira; as lgicas fracas, como a intuicionista, que no aceita o Principio do Terceiro Excludo, e, para a qual, a dupla negao no eqivale afirmao, o que pode ser exemplificado pelo enunciado no tenho nada onde o termo no ao invs de se contrapor ao termo nada o refora. Nos ltimos anos as lgicas no clssicas tm sofrido enorme desenvolvimento, em virtude, principalmente, de novas aplicaes, algumas das quais na rea computacional, como a lgica nebulosa. 2. 2- Lgica Proposicional Aps caminharmos um pouco no universo da lgica estaremos a partir de agora focando os nossos estudos na Lgica Proposicional conforme destacado na Figura 2.1.
PROPOSICIONAL SIMBLICA PREDICADOS LGICA CLSSICA MODAIS PLURIVALENTES NO CLSSICA PROBABILSTICA FRACA NEBULOSAS

Figura 2.1 - reas de estudo da Lgica

Vamos comear nossos estudos com um exemplo prtico. Suponha que voc trabalhe no setor de matrcula de uma universidade e uma estudante deseja matricular-se numa determinada disciplina. Entretanto, para que isto seja possvel ela dever preencher alguns requisitos. Vamos a eles: Tenha completado sessenta crditos e uma estudante de engenharia regularmente matriculada ou completou sessenta crditos e uma estudante de engenharia e tem o consentimento do departamento ou completou menos de sessenta crditos e uma estudante de engenharia com matrcula especial ou uma estudante regularmente matriculada e tem o consentimento do departamento ou uma estudante de engenharia e no tem o consentimento do departamento. O que voc diria para esta estudante caso ela afirmasse que tem 22 anos, 1:65m, nasceu no interior e veio para Belo Horizonte estudar onde mora numa repblica subsidiada pela universidade. Tem bolsa de estudos, fala ingls e francs, no do curso de engenharia mecnica. atleta olmpica e acorda diariamente 6:00h para correr 1000 metros em aproximadamente 1.32s, nada 1200 metros em 2:50s, est regularmente matriculada no curso de Arquitetura, e deseja fazer mestrado na Inglaterra. Afinal ela poder ou no se matricular na disciplina? A resposta para esta pergunta se tornar mais fcil traduzindo tudo que foi dito atravs de uma escrita formal onde poderemos retirar tudo aquilo que no interessa e nos concentramos somente no problema em questo. Para que seja possvel formularmos o que foi dito acima devemos aplicar um mtodo de pensar organizado que caracteriza qualquer atividade racional. Este mtodo necessita de bases conceituais j estudados em Eletrnica Digital e algumas abordagens distintas destes mesmos conceitos. Estamos na verdade falando da Lgica Formal que j foi apresentada
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 4

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

anteriormente de forma sucinta. A lgica formal tem aplicaes diretas na Cincia da Computao, pois ela utilizada para verificar se programas de computadores esto, ou no, escritos corretamente. Ela est diretamente associada aos circuitos, que so responsveis pelo funcionamento dos computadores. 2.2 1- Bases para Lgica Proposicional A lgica proposicional necessita para sua representao de alguns elementos bsicos: a proposio, as variveis lgicas e os conectivos. Atravs destes elementos poderemos representar as afirmaes que fazemos em linguagem cotidiana dos nossos fatos. Vamos estudar cada um destes conceitos. Uma proposio (ou declarao) uma sentena que falsa ou verdadeira. Mas nem toda sentena ser uma proposio. Considere a seguintes sentenas: 1- Dez menor do que sete. 2- Como est voc? 3- Ela talentosa. 4- Existe vida em outros planetas do universo. A sentena 1 uma proposio, j que falsa. A sentena 2 no considerada uma proposio, pois se trata de uma pergunta e no conseguiremos responder se falso ou verdadeiro. Quanto sentena 3 no podemos afirmar se falsa ou verdadeira, pois no sabemos quem ela, no sabemos a que pessoa est sendo atribuda o adjetivo talentoso. Desta forma no podemos dizer que a sentena 3 uma proposio. J na sentena 4 temos uma proposio, pois podemos dizer que falso ou verdadeiro. No necessrio que saibamos a resposta para que a sentena seja classificada como uma proposio. Apenas algumas sentenas no so vistas como proposio: Comandos: Faa isto. Exclamaes: Que bonito!!! Perguntas: Porque no? Antes de falarmos de uma varivel lgica vamos relembrar alguns conceitos que j so familiares: varivel e funo. Uma varivel tudo aquilo que est sujeito a mudanas. Mas estas mudanas esto delimitadas a um campo. O campo de uma varivel o intervalo de valores que ela pode assumir. Por exemplo, a varivel X pode variar sobre o campo dos reais positivos de menos infinito at mais infinito ou pode ter seus valores restritos ao intervalo 7 a 5; ou podem ser restritas aos inteiros. J a funo uma regra atravs da qual se determina o valor de uma segunda varivel (dependente) Y do valor da varivel (independente) X. Suponha a seguinte funo Y=5X2+3 e iremos restringir o valor de X aos inteiros que variam de 0 a 3, teremos ento os seguintes valores para Y. X Y=F(X) 0 3 1 8 2 23 3 48 A este tipo de funo denominamos funo numrica, mas podemos nos deparar com outro tipo de funo denominada funcional. X Y=F(X) Verde Prossiga Amarelo Ateno Vermelho Pare Neste caso os valores assumidos por X e Y so expressos respectivamente por afirmaes e comandos: est verde, amarelo ou vermelho e prossiga, ateno ou pare. Vamos voltar a varivel lgica que s pode assumir dois valores distintos: Verdadeiro ou Falso. Como j vimos anteriormente no existe necessidade de trabalhar com valores numricos. Neste caso especificamente, temos que distinguir entre dois estados que podem ser Quente ou Frio, Aceso ou Apagado, Ligado ou Desligado. Para continuar o nosso estudo vamos adotar em princpio as letras V e F, para indicar os estados possveis da varivel lgica.
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 5

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

Vamos analisar quais so as funes que podemos obter com nossas variveis lgicas. Suponha A uma varivel lgica e desejamos descobrir quais so os valores assumidos por Z sendo Z=F(A). Montando Tabela 2.1 de relacionamento entre A e Z e podendo A assumir valores V ou F, teremos ento as seguintes funes: A V F Z0=F(A) F F Z1=F(A) F V Z2=F(A) V F Z3=F(A) V V
Tabela 2.1 - Funo unria

Vamos analisar o que obtivemos com cada funo: Z0 Independente de A, Z sempre falso Z1 Z exatamente o inverso de A ou seja a porta inversora Z2 Z=A Z3 Independente de A, Z sempre verdadeiro Podemos assumir que Z0 e Z3 no so funes pois o valor de Z no funo de A. Vamos caminhar um pouco mais e observar o que iremos obter com uma funo de duas variveis. Suponha que agora alm de A tenhamos tambm uma varivel B e que Z ser funo destas duas variveis. Vamos levantar, de acordo com a Tabela 2.2, quais so as possveis funes que iremos obter. A F F V V Resultado B F V F V Z0=F(A,B) F F F F 0 Z1=F(A,B) F F F V AB (AND) Z2=F(A,B) F F V F A B Z3=F(A,B) F F V V A Z4=F(A,B) F V F F B A Z5=F(A,B) F V F V B Z6=F(A,B) F V V F A B (EXCLUSIVE OR) Z7=F(A,B) F V V V A + B (OR) Z8=F(A,B) V F F F A + B (NOR) Z9=F(A,B) V F F V A B (EXCLUSIVE NOR) Z10=F(A,B) V F V F B Z11=F(A,B) V F V V B A (B IMPLICA EM A) Z12=F(A,B) V V F F A Z13=F(A,B) V V F V A B (A IMPLICA EM B) Z14=F(A,B) V V V F AB (NAND) Z15=F(A,B) V V V V 1
Tabela 2.2 - Funes de duas variveis

Para simplificar a nossa analise das funes obtidas, vamos desconsiderar as funes Z0, Z3, Z5, Z10, Z12 e Z15, destacadas na Tabela 2.2, pois so independentes dos valores de entrada de A e B. Antes de continuar a anlise das demais funes vamos identificar o ltimo conceito que necessitamos para lgica proposicional que so os conectivos. Ao falar ou escrever, fazemos combinaes de frases por meio dos conectivos, utilizamos tal recurso, pois a formao de frases compostas nos permite expressar idias de forma mais precisa. Uma proposio composta depende dos valores lgicos de seus componentes e dos conectivos usados. Se combinarmos as seguintes afirmaes verdadeiras, Elefantes so grandes e Bolas de futebol so redondas, usando o conectivo E, obteremos a seguinte proposio verdadeira: Elefantes so grandes e bolas de futebol so redondas. Na literatura sobre lgica proposicional representamos as proposies por letras maisculas: A, B, C, ... , Z, sendo e o conectivo E pelo smbolo e denominado conjuno. Considerando as proposies anteriores A e B como verdadeiras obteremos a seguinte tabela verdade:

__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 6

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

A F F V V

B F V F V

Z=A B F F F V

Comparando com as possveis funes da Tabela 2.2, podemos identificar que estamos falando da funo Z1=AB, a nossa j conhecida porta AND. Um outro conectivo que utilizamos na lgica proposicional o conetivo de disjuno, representado pelo smbolo que considera a proposio composta verdadeira, se uma das proposies for verdadeira ou ambas. Este conectivo reflete exatamente a funo Z7=A+B, que a porta OR. Temos um outro conectivo utilizado na lgica proposicional, chamado de conectivo unrio, pois funo de apenas uma nica varivel. Este conectivo expressa a negao e representado pelo smbolo aps a letra da proposio ou acima da letra da proposio. Observado a Tabela 2.1 podemos identificar a funo Z1 que nos circuitos lgicos representa a porta inversora. Voltando aos conectivos binrios, a lgica proposicional faz uso de uma funo, que no utilizamos explicitamente em nossos circuitos digitais, pois em diversos momentos, ns j fizemos uso da mesma atravs de uma composio de portas bsicas. Este conectivo chamado de Condicional sendo representado pelo smbolo . Este conectivo tambm denominado implicao aplicado da seguinte forma A B, nos diz que se A verdadeiro o resultado ser o prprio B. Antes de identificar na Tabela 2.2, qual a funo que representa o conectivo condicional vamos analis-lo atravs de um exemplo. Considere a seguinte proposio: Se o Botafogo for campeo, ento os alunos sero aprovados. Esta proposio composta foi construda com base em duas proposies simples: A: Botafogo for campeo e B: os alunos sero aprovados. O condicional diz que Se A for verdade, ento o condicional ser o prprio B, ou, Se A, ento B. Ns tambm podemos dizer que A implica B, que simbolicamente representado por A B. Vamos imaginar tal proposio como uma promessa e que a nica forma de quebrar minha promessa seria se o Botafogo fosse campeo. Vamos montar a tabela verdade do condicional. Caso A B Z 1 V V V 2 V F F 3 F V V 4 F F V No caso 1 sendo A=V (Botafogo foi Campeo) e B=V (alunos aprovados) o condicional verdadeiro ento Z=V. No caso 2 sendo A=V (Botafogo foi Campeo) e B=F (alunos reprovados) o condicional falso, ou seja, Z=F, pois eu no cumpri a minha promessa. No caso 3 sendo A=F (Botafogo no foi Campeo) e B=V (alunos aprovados) o condicional verdadeiro, ou seja, Z=V, pois a minha promessa continua valendo. No caso 4 sendo A=F (Botafogo no foi Campeo) e B=F (alunos reprovados) o condicional verdadeiro, ou seja, Z=V, pois a minha promessa continua valendo. O que devemos observar tanto no caso 3 e 4, que sendo a primeira proposio falsa o condicional ser sempre verdadeiro. No condicional no existe a preocupao de que a primeira proposio seja a causa da segunda. Desta forma as seguintes condicionais: Se a Lua quadrada ento Cabral descobriu o Brasil. Se a Lua quadrada ento Vasco da Gama descobriu o Brasil. So ambas verdadeiras, pois a primeira proposio falsa. Existe um segundo caminho para entender o condicional baseado nas funes geradas quando trabalhamos com duas variveis (Tabela 2.2). Isto pode ser entendido tendo como base o prximo exemplo.
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 7

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

Considere a proposio: Se a chuva continuar a cair, ento o rio vai transbordar. Esta uma proposio composta pelas duas proposies A a chuva continuar a cair e B o rio vai transbordar, ligadas pelo conectivo se ... ento. Sendo A e B proposies, a expresso A B chamada condicional de A e B. Como podemos montar a tabela verdade da proposio condicionada, conhecidos os valores das proposies? Considere novamente a expresso citada. Suponha que ambas as coisas aconteam, isto , que a chuva tenha continuado a cair, e o rio tenha transbordado; nesse caso, a condicional verdadeira. Se A=V e B=V Z=V. Suponha, por outro lado, que a chuva tenha continuado a cair, mas que o rio no tenha transbordado; nesse caso, A no foi condio para B, isto , a condicional falsa. Se A=V e B=F Z=F. At o momento temos a seguinte tabela verdade para o condicional: Caso A B Z 1 V V V 2 V F F 3 F V ? 4 F F ? Finalmente, considere que a chuva no tenha continuado a cair; nesse caso, independentemente do que tenha acontecido com o rio, a condicional considerada verdadeira. Por que esse fato ocorre? Por que motivo, a Lgica considera que se a primeira proposio for falsa, a condicional ser verdadeira, qualquer que seja o valor lgico do da segunda proposio? Quando a primeira proposio for falsa, temos quatro possibilidades para o valor lgico da condicional: Possibilidades da condicional Proposio A Proposio B 1 2 3 4 F V V V F F F F V F V F Vamos identificar a partir da Tabela 2.2 quais seriam estas possibilidades. Para simplificar a anlise vamos excluir da Tabela 2.2 todas as combinaes que no so consideradas funo de A e B e em seguida destacar quais seriam as possibilidades de funes geradas caso uma determinada combinao de sada fosse assumida. A F F V V Resultado B F V F V Z1=F(A,B) F F F V AB (AND) P1 Z2=F(A,B) F F V F A B Z4=F(A,B) F V F F B A P2 Z6=F(A,B) F V V F A B (EXCLUSIVE OR) Z7=F(A,B) F V V V A + B (OR) Z8=F(A,B) V F F F A + B (NOR) P3 Z9=F(A,B) V F F V A B (EXCLUSIVE NOR) Z11=F(A,B) V F V V B A (B IMPLICA EM A) Z13=F(A,B) V V F V A B (A IMPLICA EM B) P4 Z14=F(A,B) V V V F AB (NAND) Se a Lgica adotasse a segunda possibilidade (P2), a condicional assumiria os mesmos valores lgicos da segunda proposio, ou seja, Z=B, independentemente da primeira proposio, o que no parece razovel. Ento iremos excluir a P2 de anlise.

__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 8

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

A F F V V Resultado F V B F V Z1=F(A,B) F F F V AB (AND) P1 Z2=F(A,B) F F V F A B Z4=F(A,B) F V F F B A P2 Z6=F(A,B) F V V F A B (EXCLUSIVE OR) Z7=F(A,B) F V V V A + B (OR) P3 Z8=F(A,B) V F F F A + B (NOR) Z9=F(A,B) V F F V A B (EXCLUSIVE NOR) Z11=F(A,B) V F V V B A (B IMPLICA EM A) Z13=F(A,B) V V F V A B (A IMPLICA EM B) P4 Z14=F(A,B) V V V F AB (NAND) Se adotasse a terceira, nos cairamos na funo Z9=EXNOR. A F F V V Resultado B F V F V P1 Z1=F(A,B) F F F V AB (AND) Z2=F(A,B) F F V F A B Z8=F(A,B) V F F F A + B (NOR) P3 Z9=F(A,B) V F F V A B (EXCLUSIVE NOR) Z11=F(A,B) V F V V B A (B IMPLICA EM A) P4 Z13=F(A,B) V V F V A B (A IMPLICA EM B) Z14=F(A,B) V V V F AB (NAND) Finalmente, se a quarta possibilidade fosse adotada, a condicional no se distinguiria da conjuno, funo Z1=AND. A F F V V Resultado B F V F V Z1=F(A,B) F F F V AB (AND) P1 Z2=F(A,B) F F V F A B Z13=F(A,B) V V F V A B (A IMPLICA EM B) P4 Z14=F(A,B) V V V F AB (NAND) Resta-nos ento a quarta possibilidade. Uma vez que tambm temos que atender as condies abaixo: A=V e B=V Z=V A=V e B=F Z=F Teramos ento a funo Z13, que a adotada pela Lgica. Como j dissemos a Lgica no se preocupa com os significados das expresses, mas somente com sua forma. Podemos ento considerar que a operao de condicional foi definida da forma pela qual foi apresentada, sem a preocupao de que a primeira proposio seja causa da segunda. O conectivo se ... ento tem vrios sinnimos; se representarmos por A a frase a chuva continuar a cair, e por B a frase o rio vai transbordar, ento A B pode representar qualquer das expresses abaixo: Se a chuva continuar a cair, ento o rio vai transbordar Se a chuva continuar a cair, o rio vai transbordar O rio vai transbordar, se a chuva continuar a cair O fato da chuva continuar a cair implica em o rio transbordar A chuva continuar a cair condio suficiente para o rio transbordar. Para fecharmos o conceito do condicional vamos a um ltimo exemplo: Quando um aluno estuda regularmente, ele aprovado. Implicitamente, estamos entendendo que alunos que no estudam regularmente acabam sendo reprovados. Cuidado o operador no modela essa informao. O prximo e ltimo conetivo que iremos trabalhar o Bicondicional ( ou equivalente) que simbolizado por . Ento, se A e B so proposies, a expresso A B chamada bicondicional de A e B. Dizemos que a bicondicional verdadeira quando ambos os termos so verdadeiros ou ambos so falsos; quando um falso e outro verdadeiro, a
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 9

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

bicondicional falsa. Podemos identificar esta funo na Tabela 2.2, como a funo Z9 que o exclusive NOR. Vamos a um exemplo prtico: Joo ser aprovado se e somente se ele estudar. Nesse caso, temos duas proposies Joo ser aprovado e ele estudar, ligadas pelo conectivo se e somente se. Na expresso citada, o conectivo se e somente se indica que se Joo estudar ser aprovado, e que essa a nica possibilidade de Joo ser aprovado, isto , se Joo no estudar, no ser aprovado. Os dois acontecimentos sero ambos verdadeiros ou ambos falsos, no existindo possibilidade de uma terceira opo. Alm do se e somente se, a operao bicondicional indicada por termos como exceto se e outras anlogas; por exemplo, as expresses: Joo ser aprovado se e somente se estudar Joo no ser aprovado, exceto se estudar Joo estudar condio necessria e suficiente para ser aprovado Todas podem ser representadas por A B, onde A representa Joo ser aprovado e B representa Joo estudar. A riqueza da lngua portuguesa nos permite expressar atravs de palavras distintas expresses com mesmo significado lgico. A Tabela 2.3 nos apresenta alguma variaes para os nossos conectivos. Expresso em Portugus Conectivo Lgico Expresso Lgica E, mas; tambm; alm disso; embora; no entanto; Conjuno AB ou Disjuno AB Se A ento B; Condicional AB A implica em B; A, logo B; A uma condio suficiente para B; basta A para B; B uma condio necessria para A Sempre que A, B. B sempre que A A somente se B A se e somente B Bicondicional AB No A; Negao A falso que A; No verdade que A
Tabela 2.3 - Expresses para os conectivos

Embora j tenhamos utilizado a composio nos exemplos bom ressaltar que podemos construir proposies a partir de proposies j existentes. Este processo conhecido por Composio de Proposies. Suponha que tenhamos duas proposies: 1. A = "Maria tem 23 anos" 2. B = "Maria menor" Pela legislao vigente de um pas fictcio, uma pessoa considerada de menor idade caso tenha menos de 18 anos, o que faz com que a proposio B seja F, na interpretao da proposio A ser V. Vamos a alguns exemplos e sua representao formal: 1. "Maria no tem 23 anos" (no(A)) 2. "Maria no menor" (no(B)) 3. "Maria tem 23 anos" e "Maria menor" (A e B) 4. "Maria tem 23 anos" ou "Maria menor" (A ou B) 5. "Maria no tem 23 anos" e "Maria menor" (no(A) e B) 6. "Maria no tem 23 anos" ou "Maria menor" (no(A) ou B) 7. "Maria tem 23 anos" ou "Maria no menor" (A ou no(B)) 8. "Maria tem 23 anos" e "Maria no menor" (A e no(B)) 9. Se "Maria tem 23 anos" ento "Maria menor" (A B) 10. Se "Maria no tem 23 anos" ento "Maria menor" (no(A) B) 11. "Maria no tem 23 anos" e "Maria menor" (no(A) e B) 12. "Maria tem 18 anos" equivalente a "Maria no menor" (C no(B)) Note que, para compor proposies foram utilizados os smbolos: no (negao), e (conjuno), ou (disjuno), (implicao) e, finalmente, (equivalncia). So os chamados conectivos lgicos. Note, tambm, que foi utilizado um smbolo para representar
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 10

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

uma proposio: C representa a proposio Maria tem 18 anos. Assim, no(B) representa Maria no menor, uma vez que B representa Maria menor. Vamos analisar mais alguns exemplos de como aplicar corretamente a negao nas proposies: Proposio Negao correta Vai chover amanh. falso que (vai chover amanh). Nega toda proposio. No vai chover amanh. Contradiz a proposio. Pedro alto e falso que (Pedro seja alto e magro). Nega toda proposio. magro. Mesmo no sendo necessrio que as duas proposies simples sejam falsas. Pedro no alto ou no magro. Como temos conjuno (e) basta que uma das proposies seja falsa para que a proposio composta tambm seja. Pedro baixo ou gordo. Contradiz uma das proposies simples. O rio raso ou falso que (o rio seja raso ou esteja Nega toda proposio. est poludo. poludo). O rio no raso nem poludo. Como temos disjuno (ou) necessrio que nenhuma das proposies simples sejam verdadeiras. Contradiz as duas proposies simples.

O rio fundo e no est poludo.

Estamos at o momento fazendo o mapeamento do que j vimos em eletrnica digital e inserindo apenas um novo ponto de vista do problema. Trabalhamos at o momento com funes lgicas criadas atravs dos conectores. Entretanto estas funes lgicas podem ser combinadas gerando expresses mais complexas. Um exemplo tpico seria: (A B) (B A) Observe que algo novo j apareceu, so os parnteses definindo a ordem de precedncia. Mas vamos utilizar um novo exemplo: A)) BC Antes mesmo de perguntar sobre a precedncia teramos que questionar se esta expresso est correta? Como organizar estas expresses? Quais as regras que governam tais problemas. 1 Efetuam-se primeiro os conectivos dentro dos parnteses mais internos; 2 3 - , 4- 5- Para exemplificar so apresentados alguns casos: A B temos A (B) e no (A B) A B C temos (A B ) C e no A (B C) Os passos para resolver tal questo seriam: 1. Percorra a expresso da esquerda para a direita, executando as operaes negao, na ordem em que aparecerem. 2. Percorra novamente a expresso, da esquerda para a direita, executando operaes de conjuno e disjuno, na ordem em que aparecerem. 3. Percorra outra vez a expresso, da esquerda para a direita, executando desta vez operaes de condicionamento, na ordem em que aparecerem. 4. Percorra uma ltima vez a expresso, da esquerda para a direita, executando operaes de bicondicionamento, na ordem em que aparecerem.

de as as as

__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 11

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

Dessa forma, caso tivssemos a expresso P Q R S seriam executados na seguinte ordem: P Q R S 1 2 3 4 Suponha que tivssemos que resolver a seguinte expresso: A B (A B) montando a sua tabela verdade. A B B A B AB (A B) A B (A B) F F V V F V V F V F F V F V V F V V V F F V V F V V F F Vamos pegar uma nova expresso para anlise: (A B) (B A) A B B A (A B) (B A) (A B) (B A) F F V V V V V F V V F V V V V F F V F F V V V V F F V V Nesta situao observamos que a tabela verdade de (A B) e (B A) so exatamente iguais e podemos ento assumir que (A B) (B A) so equivalentes. Existem tambm outras equivalncias que so listadas a seguir: (comutatividade) (A B) (B A) (A B) (B A) (associatividade) (A B) C A (B C) (A B) C A (B C) A (B C) (A B) (A C) A (B C) (A B) (A C) (distributividade) (elementos nulos) A0A A1A (complementares) A A 1 A A 0 Leis De Morgan (A B) A B (A B) A B Mais uma vez, podemos observar a semelhana do que aprendemos em eletrnica digital. Estas equivalncias so teis na simplificao de expresses. As equivalncias de DeMorgan nos auxiliam na negao de uma proposio composta. Os conectivos aqui apresentados so largamente utilizados para criao dos circuitos lgicos assim como nas linguagens de programao. Com base na ltima tabela verdade que montamos podemos observar que na ltima coluna todos os valores assumiram V e esta situao apresenta uma tautologia. Ela verdadeira independente dos valores lgicos da proposio. Este conceito ser importante mais a frente quando tivermos que testar a validade de uma argumentao. 2.2 2- Validao de Argumentos At o momento utilizamos a lgica formal para representar em forma simblica as proposies do nosso problema. Entretanto o estudo da lgica muito mais extenso do que foi visto at o momento. A lgica formal uma ferramenta que nos possibilita validar os argumentos possibilitando a chegada de concluses a partir de proposies dadas. A lgica proposicional baseia-se nos argumentos e o que seria um argumento? Um argumento tem sua representao no formato a seguir: P1 P2 P3 ... PN Q Onde P so proposies, chamadas de hipteses do argumento e Q a concluso do argumento. Nesta expresso PI e Q devem ser proposies bem formuladas e no apenas letras de uma proposio. Um argumento ser considerado vlido nas seguintes situaes: Quando Q pode ser deduzido logicamente de P1,...,PN. Quando Q uma concluso lgica de P1,...,PN. Quando P1,...,PN implica logicamente Q. Quando Q segue logicamente de P1,...,PN. Poderamos dizer que Q uma concluso lgica de P1,...,PN sempre que a verdade das proposies P1,...,PN implica na verdade Q. Em outras palavras quando o condicional for
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 12

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

verdadeiro. ( claro que o condicional verdadeiro quando uma das hipteses falsa mas, em geral, em um argumento, preocupamo-nos com o que acontece quando todas as hipteses so verdadeiras). Alm disso, esse condicional deveria ser verdadeiro baseado na relao entre a concluso e as hipteses. Vamos observar o seguinte argumento: Braslia a capital do Brasil. Pedro lvares Cabral descobriu o Brasil. Portanto todo dia tem 24 horas. A Braslia a capital do Brasil. B Pedro lvares Cabral descobriu o Brasil. C Portanto, Todo dia tem 24 horas. Embora cada hiptese individual, assim como a concluso, seja uma proposio verdadeira, no deveremos considerar esse argumento vlido. A concluso no est relacionada com as hipteses. Um argumento vlido deve, portanto, ser verdadeiro baseado inteiramente em sua estrutura interna. Quando a concluso realmente decorre das hipteses, dizemos que o argumento vlido; caso contrrio, dizemos que o argumento invlido. Os argumentos invlidos so tambm chamados sofismas. Um argumento ser considerado vlido quando o mesmo for uma tautologia. Vamos montar a expresso lgica do exemplo anterior e mostrar que o argumento acima invlido. Sendo A B C a expresso obtida basta montar a tabela verdade. A B C AB ABC 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 1 1 0 1 0 1 1 1 0 1 0 1 1 1 1 1 Como podemos observar no se trata de uma tautologia o que nos leva a um argumento invlido. 1 - Se domingo, no preciso ir para o trabalho. 2 - Hoje domingo. Logo, no preciso ir para o trabalho hoje. Neste caso temos uma proposio composta e uma simples. Na proposio composta podemos identificar as duas proposies simples envolvidas na argumentao: A No preciso ir ao trabalho B Hoje domingo Ento a expresso extrada a seguinte: B A B A. Novamente vamos montar a tabela verdade. A B BA BAB BA BA 0 0 1 0 1 0 1 0 0 1 1 0 1 0 1 1 1 1 1 1 Podemos observar agora se tratar de uma tautologia o que nos leva a um argumento vlido. Vamos a um segundo exemplo: considere o argumento 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. Vamos identificar as hipteses do argumento e associ-las a uma letra para equacionar nossa argumentao: 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.
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 13

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

A - taxas de juros carem B - mercado imobilirio vai melhorar C - taxa federal de descontos vai cair Vamos agora identificar os conectivos desta argumentao: Se as taxas de juros carem, <ento> o mercado imobilirio vai melhorar. <E> Nesta primeira frase temos uma proposio com os conectivos de Implicao (Se e o seu complemento Ento) e E, identificado pelo ponto(.). Ou a taxa federal de descontos vai cair, ou o mercado imobilirio no vai melhorar. <E> Nesta segunda frase temos uma proposio com os conectivos OU e E. As taxas de juros vo cair. Portanto, a taxa federal de descontos vai cair. Nesta terceira frase temos uma proposio com o conectivo Condicional (Portanto). Desta forma ficaremos com a seguinte expresso: A B (C B) A C. a expresso obtida pode ser reescrita de uma outra forma: (A B) (C B) A C. Basta observarmos a tabela verdade do condicional para obtermos a seguinte equivalncia: A B (A B).
A B (C B) A ZC A B C A B (C B) 0 0 0 1 1 0 1 0 0 1 1 1 0 1 0 1 0 1 0 0 1 0 1 1 1 1 0 1 1 0 0 0 1 0 1 1 0 1 0 1 0 1 1 1 0 1 0 0 1 1 1 1 1 1 1 1 Observando a tabela verdade podemos identificar se tratar de uma tautologia, ou seja, o argumento vlido. Vamos mostrar neste mesmo exemplo uma argumentao invlida, para isto iremos alterar uma das hipteses (alterao em negrito) : 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 no vo cair. Portanto, a taxa federal de descontos vai cair. Agora a nova expresso ser: A B (C B) A C . Levantando a tabela verdade teremos: A B (C B) A ZC A B C A A B (C B) 0 0 0 1 1 1 1 0 0 0 1 1 1 1 1 1 0 1 0 1 0 1 0 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 0 1 1 1 0 1 0 0 0 1 1 1 1 1 1 0 0 1 O que leva a uma argumentao invlida. A lgica proposicional dispe de algumas tcnicas para identificao da validade dos argumentos, como: Regras de Deduo, que constituda das regras de equivalncia e de inferncia. Estas regras tornam o processo de identificao de validade dos argumentos algo menos trabalhoso que a utilizao da tabela verdade. Tambm utilizamos tcnicas como mapa de Karnaugh ou simplificao de expresses em eletrnica digital. Entretanto, a abordagem de Lgica Proposicional neste curso no ir tratar tais situaes, pois o principal objetivo deste assunto nesta disciplina enfatizar a necessidade do modelamento das situaes do nosso dia a dia, para que possamos descrever o nosso problema de forma racional. Isso feito atravs de uma linguagem formal. Estamos buscando adquirir a seguinte competncia: dada uma frase declarativa (verdadeira ou falsa) em portugus (ou em qualquer outra lngua natural), traduzir essa frase para a linguagem formal do sistema de lgica estudado. A traduo para uma linguagem formal muito diferente da traduo para outra lngua natural; preferimos por isso chamar-lhe formalizao (ou simbolizao). Na traduo propriamente dita, procuramos na lngua-alvo uma frase que diga o mesmo, __________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 14

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

ou que tenha o mesmo contedo, que a frase de partida (por exemplo, traduzimos Ernesto alto para ingls por Ernesto is tall). Mas as frases das linguagens formais da lgica no dizem nada, no tm contedo: elas so apenas esqueletos de frases possveis, concebidos com o nico objetivo de representar a sua forma lgica; alis, por essa razo, em vez de frases, preferimos chamar-lhes frmulas. Em nossos estudos nos limitaremos a provar a validade de uma argumentao atravs da montagem da tabela verdade. Estaremos ao longo deste curso trabalhando basicamente no modelamento de problemas de tal forma que as ferramentas que sero apresentadas podero trazer o equacionamento do problema. O estudo da lgica no para por aqui, mas o que se segue no mais possvel ser representado atravs de letras de proposio, parnteses e conectivos. Para resolver tal situao a lgica ir trabalhar com a lgica de predicados. 2. 3-

Mapeando a Lgica em Circuitos Digitais

Veremos a seguir como afirmaes e condies relativamente complexas podem ser expressas sob forma de expresses algbricas booleanas. Vamos observar como o conceito de varivel lgica e sua lgebra so utilizados para executar um processo de raciocnio lgico. Em nosso primeiro exemplo temos: Em uma prateleira temos cinco livros: Matemtica, Fsica, Qumica, Portugus e Histria. Voc deve selecionar alguns dentre eles de modo a satisfazer todas as condies a seguir. Considere que a letra inicial do nome do livro represente a proposio: O livro M foi selecionado . 1 - Selecionar M ou F ou ambos 2 - Selecionar Q ou H mas no ambos 3 - Selecionar M e H ou nenhum dos dois 4 - Se selecionar P tambm deve selecionar H 5 - Se selecionar F tambm deve selecionar M e P Portanto eu posso pegar emprestado o M e o Q? (MF) (QH) (MH) (P H) (F MP) MQ Cada uma das expresses entre parnteses refere-se a uma das proposies. Para satisfazer a todas condies as expresses esto ligadas pela funo AND. Analisando cada parntese temos: 1 Neste caso adotamos a funo inclusive OR, pois poder ser um dos dois ou ambos. TABELA1 OR M F Z 0 0 0 0 1 1 1 0 1 1 1 1 2 - Neste caso adotamos a funo exclusive OR, pois s poder ser apenas um dos livros. TABELA2 EXOR Q H Z 0 0 0 0 1 1 1 0 1 1 1 0 3 Temos M e H (AND) ou nenhum dos dois MH (NOR) que produz a funo EXNOR. TABELA3 AND NOR Z1 OR Z2 M H Z1 M H Z2 Z 0 0 0 0 0 1 1 0 1 0 0 1 0 0 1 0 0 1 0 0 0 1 1 1 1 1 0 1

__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 15

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

4 Funo de implicao TABELA4 P IMPLICA H P H Z 0 0 1 0 1 1 1 0 0 1 1 1 5 Funo de implicao com um AND TABELA5 AND F IMPLICA Z1 M P F Z1 Z 0 0 0 0 1 0 0 1 0 1 0 1 0 0 1 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 1 1 0 1 1 1 1 1 1 1 Para comprovar a validade da argumentao vamos montar a tabela verdade da expresso: (MF) (QH) (MH) (P H) (F MP) M Q. Observando a expresso podemos identificar que esta equao possui 5 variveis de entrada o que demandaria uma tabela verdade com 25=32 linhas e vrias colunas para receber o resultado das diversas operaes presentes na expresso. Como j falamos anteriormente a lgica proposicional dispe de recursos mais eficientes que a tabela verdade para validao das argumentaes. Vamos ento utilizar algo tambm j conhecido por ns da eletrnica digital que a minimizao de expresso e retirarmos qual seria as possibilidades de emprstimos dos livros. Desta forma descobriremos a validade da expresso. Para que possamos fazer a manipulao algbrica reescreveremos a equao S = (M+F) H) (F MP) usando somente as operaes AND, OR e NOT. Considere (QH) (MH) (P que a letra S representa a proposio que a seleo foi feita obedecendo todos requisitos: S=(M+F)(QH+QH)(MH+M H)(P+H)(F+MP) S=(MMH+MM H+FMH+FM H) ... S=(MH+0+FMH+FM H) ... S=(MH(1+F)+FM H) ... S=(MH+FM H) (QH+QH)(P+H)(F+MP) Multiplicando o 1o e 3o parnteses AA=0 e AA=A A+AB=A

Multiplicando o 1o e 4o parnteses e multiplicando o 2o e 3o parnteses S=(MHF+MHMP+FM H F+FM H MP) (QH P+QH H+QH P+QHH) S=(MHF+MHP+0+0) (QH P+0+QH P+QH) S=(MHF+MHP) (QH P+QH P+QH) S=(MHFQH P + MHF QH P + MHF QH +MHPQH P + MHPQH P + MHPQH) S=(0 + MHF QP + MHF Q + 0 + 0 + MHPQ) S=MHF QP + MHF Q + MHPQ S=QMH(F P + F + P) S=QMH(F + P) S=QMHF + QMHP Podemos pegar os livros de matemtica e histria ou matemtica, histria e portugus. Agora podemos concluir que a argumentao (MF) (QH) (MH) (P H) (F MP) M Q invlida. Existe uma correspondncia entre uma expresso lgica e um diagrama de portas lgicas. A expresso S = (M+F) + (QH) + (MH) + (P H) + (F MP) pode ser visto na Figura 2.2. Esta estrutura de portas foi obtida a partir de portas AND, OR e INV. As expresses (QH) e (MH) so obtidas respectivamente atravs de um conjunto de portas bsicas I1, I2, A1, A2, O1 e I3, I4, A3, A4, O2.

__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 16

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

Figura 2.2 - Diagrama de portas lgicas

Voltaremos agora ao primeiro problema apresentado nesta seo onde tnhamos a situao da inscrio de uma estudante em uma determinada disciplina no curso. Neste exemplo a estudante s poder matricular-se em determinada disciplina de eletrnica somente se ela satisfizer uma das seguintes condies: 1 J completou sessenta crditos e uma estudante de engenharia regularmente matriculada. 2 Ou completou sessenta crditos e uma estudante de engenharia e tem o consentimento do departamento. 3 Ou completou menos de sessenta crditos e uma estudante de engenharia com matrcula especial. 4 Ou uma estudante regularmente matriculada e tem o consentimento do departamento. 5 Ou uma estudante de engenharia e no tem o consentimento do departamento. Encontre uma expresso mais simples que indique a possibilidade da estudante matricular-se no curso. Vamos identificar e mapear cada uma das condies em uma letra W = a estudante completou sessenta crditos X = a estudante aluna de engenharia Y = a estudante tem matrcula regular Z = a estudante tem consentimento do departamento Proposio verdadeira V = a estudante pode matricular-se na disciplina Para cada proposio teremos 1 se verdadeiro e 0 se falso. Pegando como exemplo a proposio Y temos que se Y=1, consideraremos o estudante com matricula regular j se Y=0 estudante com matrcula especial.

__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 17

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

Vamos montar a equao algbrica: V= WXY + WXZ + WXY + YZ + XZ V= V= V= V= V= V= V= V= V= WXY + WXZ + WXY + YZ + XZ WXY + WXY + YZ + X(Z + WZ) WXY + WXY + YZ + X(Z + W) WXY + WXY + YZ + XZ + XW WX(Y +1) + WXY + YZ + XZ WX + WXY + YZ + XZ X(W + WY) + YZ + XZ X(W + Y) + YZ + XZ XW + XY + YZ + XZ Fatorar 2o e 5 o termos Temos A + AB = A + B 1 o e 5 o termos 1 o e 2 o termos Temos A + AB = A + B Temos A + AB = A + B Temos AB + AC + BC = AB + AC, como temos YZ + XZ posso adicionar o termo YX 2 o e 5 o termos

V= XW + XY + YZ + XZ + YX V= XW + X(Y + Y) + YZ + XZ 1 o e 2 o termos V= XW + X + YZ + XZ V= X(W + 1) + YZ + XZ V= X+ YZ + XZ 1 o e 3 o termos V= X(1+Z) + YZ V= X + YZ Com isto podemos concluir que a estudante pode matricular-se na disciplina caso seja aluna de engenharia ou se simultaneamente estiver matriculada regularmente e tenha o consentimento do departamento. Antes de fecharmos o assunto sobre a aplicao da lgica vamos observar mais uma situao onde podemos utilizar a lgica para descrever o problema: O problema do gato: Voc tem um gato que adora brincar no quintal. No entanto, certo dia voc notou que em seu quintal crescia uma planta venenosa. Dado um determinado perodo de tempo, voc gostaria de provar logicamente se ele sobreviver. Se ele comer, morrer ou se ele no comer, viver. Pela lgica proposicional, representamos da seguinte forma: Comer morrer Comer Viver Matematicamente o gato tem 50 % de chance de ficar vivo ou morto ( meio morto ?) Como voc pode ver, existe na lgica Proposicional uma fraqueza que exatamente a insensibilidade desse mecanismo a fatores externos. Se o gato seu, voc provavelmente dever saber melhor que ningum a probabilidade dele comer a planta. Embora isso possa ser representado pela lgica e matematicamente ele no poder ser provado. Podemos ento concluir que embora a lgica proposicional provenha de meios para representar na sua simbologia todas as questes lgicas que possam surgir, no entanto, uma cincia que no provm resposta para tudo.

__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 18

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

Exerccios 1. Quais das frases a seguir so proposies? a) b) c) d) e) f) g) A lua feita de queijo verde. Ele , certamente, um homem alto. Dois um nmero primo. Nove um nmero primo. O jogo vai acabar logo? Os juros vo cair ano que vem. Os juros vo subir este ano.

2. Dados os valores lgicos A verdadeira, B falsa e C verdadeira, qual o valor lgico de cada uma das proposies a seguir: a) A (B C) b) (A B) C c) (A B) C d) A (B C) 3. Qual o valor lgico de cada uma das proposies a seguir: a) 8 par ou 6 mpar. b) 8 par e 6 mpar. c) 8 mpar ou 6 mpar. d) 8 mpar e 6 mpar. e) Se 8 for mpar, ento 6 mpar. f) Se 8 for par, ento 6 mpar. g) Se 8 for mpar, ento 6 par. h) Se 8 for mpar e 6 for par, ento 8 < 6. 4. So dadas diversas formas de negao para cada uma das proposies a seguir. Quais esto corretas. a) A resposta 2 ou 3. 1. A resposta nem 2 e nem 3. 2. A resposta no 2 ou no 3. 3. A resposta no 2 e no 3. b) Pepinos so verdes e tm sementes. 1. Pepinos no so verdes e no tm sementes. 2. Pepinos no so verdes ou no tm sementes. 3. Pepinos so verdes e no tm sementes. c) 2 < 7 e 3 mpar. 1. 2 > 7 e 3 par. 2. 2 7 e 3 par. 3. 2 7 ou 3 mpar. 4. 2 7 ou 3 par. 5. Escreva a negao de cada proposio: a) Se a comida boa, ento o servio excelente. b) Ou a comida boa, ou o servio excelente. c) Nem a comida boa, nem o servio excelente. 6. Traduza para a linguagem natural as frmulas abaixo, utilizando o seguinte esquema: P - O livro interessante. Q - O livro caro. R - O livro de lgica. a) P b) P Q c) P Q d) P Q e) (P Q)
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 19

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

f) P Q g) P (Q R) 7. Escreva frmulas para proposicionais: P - Paula vai festa. Q - Quincas vai festa. R - Ricardo vai festa. S - Sara vai festa. a) b) c) d) e) f) g) h) i) j) k) l) m) n) o) p) q) r) as sentenas abaixo utilizando os seguintes smbolos

Paula no vai. Paula vai, mas Quincas no vai. Se Paula for, ento Quincas tambm ir. Paula ir, se Quincas for. Paula ir se e somente se Quincas for. Nem Paula nem Quincas iro. Paula e Quincas no iro. Paula vai ou Quincas no vai. Paula no ir, se Quincas for. Ou Paula vai, ou Ricardo e Quincas vo. Se Paula for, ento Ricardo e Quincas iro. Paula no ir, mas Ricardo e Quincas iro. Se Ricardo for, ento se Paula no for, Quincas ir. Se nem Ricardo nem Quincas forem, ento Paula ir. Ricardo ir, se Paula e Quincas no forem. Se Ricardo ou Quincas forem, ento Paula ir e Sara no ir. Ricardo e Quincas iro se e somente se Paula ou Sara for. Se Sara for, ento Ricardo ou Paula iro, e se Sara no for, ento Paula e Quincas iro. 8. Nas proposies compostas, abaixo, identifique as proposies simples e escreva as expresses de forma simblica utilizando as letras de proposio. a) Joo magro e Jos alto. b) Mrio foi ao cinema, Joo foi ao teatro e Marcelo ficou em casa. c) Maria foi praia ou ao mercado. d) Mrio foi ao cinema ou Marcelo ficou em casa. e) A Lua no o satlite da Terra. f) Se a chuva continuar a cair, ento o rio vai transbordar. g) Se Joo estudar, ser aprovado. h) Joo ser aprovado se e somente se estudar. 9. Sejam A, B e C as seguintes proposies: A Rosas so vermelhas. B Violetas so azuis. C Acar doce. Escreva as proposies compostas a seguir em notao simblica: a) Rosas so vermelhas e violetas so azuis. b) Rosas so vermelhas e, ou bem violetas so azuis ou bem acar doce. c) Sempre que violetas so azuis, as rosas so vermelhas e o acar doce. d) Rosas so vermelhas apenas se as violetas no forem azuis e se o acar for azedo. e) Rosas so vermelhas e, se o acar for azedo, ento as violetas no so azuis ou o acar doce. 10. Com A, B e C como os definidos no Exerccio 9, traduza as seguintes proposies para o portugus: a) B C b) B (A C) c) (A C) B
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 20

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

d) e) f) g)

C (A B) (B C) A A (B C) (A B) C

11. Sejam A, B e C as seguintes proposies: A O bandido francs. B O heri americano. C A herona inglesa. D - O filme bom. Escreva em notao simblica as proposies compostas: a) O heri americano e o filme bom. b) Embora o bandido seja francs, o filme bom. c) Se o filme bom, ento o heri americano ou a herona inglesa. d) O heri no americano, mas o bandido francs. e) Uma herona inglesa uma condio necessria para o filme ser bom. 12. Com o uso de letras para denotar as sentenas componentes, traduza as seguintes sentenas compostas para notao simblica: a) Se os preos subirem, as construes ficaro mais caras, mas se as construes no forem caras, elas sero muitas. b) Tanto ir para cama como nadar condio suficiente para trocar de roupa; no entanto, trocar de roupa no significa que se vai nadar. c) Ou vai chover ou vai nevar, mas no ambos. d) Se Jane vencer ou perder, ela estar cansada. e) Ou Jane ir vencer ou, se perder, ficar cansada. 13. Escreva cada uma das proposies compostas a seguir em notao simblica, utilize letras para identificar as proposies simples. a) Se o cavaleiro estiver descansado, o cavaleiro vencer. b) O cavaleiro vencer apenas se o cavalo estiver descansado e a armadura for forte. c) Um cavalo descansado uma condio necessria para o cavaleiro vencer. d) Uma condio suficiente para o cavaleiro vencer que a armadura seja forte ou o cavalo esteja descansado. 14. Escreva cada uma das proposies compostas a seguir em notao simblica, utilize letras para identificar as proposies simples. a) Se Anita ganhar a eleio, ento os impostos sero reduzidos. b) Os impostos sero reduzidos somente se Anita ganhar as eleies e a economia permanecer forte. c) Os impostos sero reduzidos se a economia permanecer forte. d) Uma economia forte vir se Anita ganhar a eleio. e) A economia permanecer forte se, e somente se, Anita ganhar a eleio ou os impostos forem reduzidos. 15. Escreva uma expresso lgica para que um programa de busca na rede encontre todas as pginas sobre cachorros que no so de caa. 16. Mostre se o argumento a seguir vlido: Meu cliente canhoto mas, se o dirio no tiver sumido, ento meu cliente no canhoto; portanto, o dirio sumiu. 17. Mostre se o argumento a seguir vlido: Se segurana um problema, ento o controle ser aumentado. Se segurana no problema, ento os negcios na Internet iro aumentar. Portanto, se o controle no for aumentado, os negcios na Internet crescero. 18. Mostre se o argumento a seguir vlido: Se Paulo um bom nadador, ento ele um bom corredor. Se Paulo um bom corredor, ento ele um bom ciclista. Portanto, se Paulo um bom nadador, ento ele um bom ciclista.
__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 21

Introduo a Computao Lgica Proposicional __________________________________________________________________________________________________

19. Mostre se o argumento a seguir vlido: Se Jos pegou as jias ou a Sra. Krasov mentiu, ento ocorreu um crime. Se ocorreu um crime ento o Sr. Krasov estava na cidade. O Sr. Krasov no estava na cidade. Portanto, ou Jos no pegou as jias ou a Sra. Krasov no mentiu. 20. Um tcnico de qumica em um laboratrio possui quatro produtos qumicos A, B, C e D que devem se guardados em dois depsitos distintos. Por convenincia, necessrio mover um ou mais produtos de um depsito para o outro de tempos em tempos. A natureza dos produtos tal que perigoso guardar B e C juntos, a no ser que A esteja no mesmo depsito. Tambm perigoso guardar C e D juntos se A no estiver no depsito. Escreva uma expresso para a varivel lgica Z tal que Z=1 sempre que exista uma combinao perigosa em qualquer dos depsitos.

__________________________________________________________________________________________________ jkssbh@deii.cefetmg.br 22