Mdulo 01

Fundamentos de Lgica Matemtica

Objetivos
Compreender a lgica em seu contexto histrico; Reconhecer e trabalhar com os smbolos que so usados nas lgicas proposicional e de predicados; Determinar o valor lgico de uma expresso na lgica proposicional; Verificar se argumento sentencial vlido; Manipular tabelas-verdade; Verificar se uma sentena tautologia, contradio ou contingncia; Utilizar a lgica de predicados para representar sentenas; Determinar o valor lgico de alguma interpretao de uma expresso na lgica de predicados; Utilizar o mtodo dedutivo para demonstrar a validade de argumentos na lgica proposicional e na lgica de predicados.

Contedo
Introduo ao Estudo da Lgica Formal Lgica Proposicional Lgica de Predicados

Captulo 1
Introduo ao Estudo da Lgica Formal

Pgina |2

O aprendizado da Lgica auxilia os estudantes no raciocnio, na compreenso de conceitos bsicos, na verificao formal de programas e melhor os prepara para o entendimento do contedo de tpicos mais avanados. (Celina Abar, 1999)

Por ter relao direta com a Cincia da Computao, o estudo da Lgica mostra-se indispensvel ao estudante da rea de Informtica. So vrias as possibilidades de aplicaes diretas do raciocnio lgico-matemtico: desde linguagens de programao mais simples at resoluo de problemas com Inteligncia Artificial. Todo o fundamento da computao tem suas razes na matemtica, uma vez que esta quem possibilita Cincia a formalizao de vocabulrios e notaes com alto poder de definio. Tambm graas matemtica que podemos fazer abstraes e raciocnios precisos e rigorosos. Tudo isto s possvel devido ao uso da lgica para entendimento do raciocnio matemtico, sendo utilizados princpios que possibilitam a distino entre raciocnios vlidos e outros no vlidos. Neste capitulo sero apresentados os conceitos bsicos da lgica matemtica, cujo domnio essencial para estudos futuros sobre linguagens de programao, teoria da computao, sistemas digitais e inteligncia artificial.

1.1.

Caracterizao e Histrico da Lgica

H na literatura inmeras definies para a Lgica, dentre as quais destacamos:

a lgica o ramo da filosofia que cuida das regras do bem pensar, ou do pensar correto, sendo, portanto, um instrumento do pensar. (WIKIPEDIA, 2009)

Pgina |3

A Lgica o estudo dos processos vlidos e gerais pelos quais atingimos a verdade [...] a cincia das leis do pensamento. (FONTES, 2008)
Percebemos pelas definies apresentadas que a Lgica preocupa-se com o estudo das leis gerais do pensamento e as diferentes maneiras de aplicar corretamente essas leis na investigao da verdade. Em outras palavras, po podemos dizer que a Lgica a cincia dos argumentos, ou seja, ela trata das concluses a que chegamos a partir das evidncias que as sustentam. De maneira mais geral, possvel dizer que a Lgica o estudo do raciocnio (DOTAVIANO; FEITOSA, 2003). A Lgica teve seu incio com Aristteles, no sculo IV a.C., como uma gica cincia dedicada ao estudo dos atos do pensamento a partir de sua estrutura ou forma lgica, sem levar em considerao qualquer contedo material (FONTES, 2008). Em termos mais simples, dizemos que Aristteles preocupava dizemos preocupava-se com as formas de raciocnio atravs das quais seria possvel a obteno de novos conhecimentos a partir de conhecimentos j existentes e que fossem considerados verdadeiros. o chamado mtodo dedutivo ou, simplesmente, deduo. deduo. As principais contribuies de Aristteles para a lgica esto em sua obra Organon, na qual so destacados os pontos centrais da lgica aristotlica: a lei da , no contradio, o princpio do terceiro excludo e a teoria dos silogismos que silogismos, trata dos enunciados categricos. Esses princpios so considerados vlidos at os dias atuais e constituem as bases da chamada lgica formal.

Para saber mais acesse

ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/ArtGT.pdf

As principais crticas Lgica Aristotlica surgiram por volta do sculo XVI, oriundas de filsofos como Francis Bacon (1561 1626) e Ren Descartes (1596

Pgina |4

1650). Bacon lanou as bases para a formalizao do mtodo indutivo, que consiste na obteno de uma concluso geral a partir de um conjunto de fatos conhecidos, mediante observao. Em outras palavras, a induo consiste em afirmar acerca de todos, aquilo que foi observado em alguns. Nesta poca, a lgica formal passa por um perodo de descrdito, mas, apesar disso, continuou motivando muitas pesquisas, a partir das quais surgiram novas teorias sobre o raciocnio. A maior revoluo sofrida pela lgica ocorreu em meados do sculo XIX, quando estudiosos como Boole e Bertrand Russel conceberam uma maneira de converter a lgica numa lgebra. Tendo a matemtica como modelo, eles formalizaram uma linguagem simblica para expressar o pensamento lgico. Foi o surgimento da lgica matemtica ou simblica. A partir de ento, o raciocnio passou ento, a ser visto como clculo matemtico. Ao longo do sculo XX a lgica atingiu elevado grau de formalizao. XX, Atualmente, j dispomos de um poderoso sistema de smbolos e regras de combinao de smbolos que nos possibilita obter concluses vlidas (FONTES, 2008).

Para saber mais sobre a histria da lgica acess acesse

http://afilosofia.no.sapo.pt/Hist.htm

Acesse o PORTAL DE LGICA da Wikipedia

http://pt.wikipedia.org/wiki/Portal:Lgica .wikipedia.org/wiki/Portal:Lgica

1.2.

Conceito de Proposio

O primeiro conceito que preciso dominar para compreender as estruturas da lgica formal o de proposio, tambm chamada de sentena sentena.

Pgina |5

Uma proposio ou sentena qualquer orao que pode ser avaliada como verdadeira ou falsa.
As proposies constituem o alicerce das estruturas fundamentais da Lgica Matemtica, que, por sua vez, fundamentada em dois princpios bsicos (ou axiomas) (ALENCAR FILHO, 2002): 1) 2) PRINCPIO DA NO-CONTRADIO: uma proposio nunca ser verdadeira e falsa simultaneamente. PRINCPIO DO TERCEIRO EXCLUDO: uma proposio sempre assume um dos valores lgicos: ou verdadeira ou falsa. Alm desses princpios bsicos, podemos afirmar que toda proposio, por ser uma orao, possui sujeito e predicado, alm de sempre ser uma orao declarativa (IEZZI; MURAKAMI, 1993).

Exemplo 1.1 Proposies

Considere as seguintes oraes: a) b) c) d) e) Cinco menor que oito. Como o seu nome? Ai, que susto! Sete menos trs. V dormir.

A frase (a) uma proposio, pois possvel definir que ela verdadeira. As frases (b) e (c) no podem ser avaliadas como verdadeira ou falsa, portanto no so proposies. Note que a frase (b) uma pergunta e a frase (c) uma exclamao. Quanto frase (d), nota-se que ela no possui predicado, por isso ela tambm no constitui uma proposio. A frase (e) tambm no assume nenhum valor lgico e, portanto, no uma proposio.

Pgina |6

Auto Avaliao 1.1

Analise as oraes seguintes e diga quais delas so proposies. 1. 2. 3. 4. 5. Que horas so? Cristvo Colombo descobriu o Brasil. A raiz quadrada de 25 5. Realize suas tarefas com ateno. No se desespere, este exerccio muito fcil!

1.3.

Valores Lgicos das Proposies

O valor lgico de uma proposio est diretamente associado ao resultado de sua avaliao como verdadeira ou falsa. Neste caso, dizemos que o valor lgico verdade (V) est associado s proposies verdadeiras, assim como o valor falsidade (F) est vinculado s proposies falsas.

Lembre-se:
Pelos princpios da no contradio e do terceiro excludo, toda proposio possui UM, e apenas UM, dos valores lgicos (V ou F).

Exemplo 1.2 Valores Lgicos das Proposies

Considere as seguintes proposies: a: O Brasil dividido em cinco regies. b: Santos Dumont o pai da Informtica. O valor lgico da proposio (a) a verdade (V) e o valor lgico da proposio (b) a falsidade (F). As representaes simblicas destes valores so respectivamente: V(a) = V e V(b) = F.

Pgina |7

Auto Avaliao 1.2

Determine o valor lgico de cada uma das proposies seguintes. 1. 2. 3. 4. 5. A cor do cavalo branco de Napoleo branca. Imperatriz a Capital do Maranho. A raiz quadrada de 16 menor que a metade de 10. O Brasil uma Repblica Presidencialista. A metade de 5 menos 2 um nmero inteiro positivo.

1.4.

Classificao das Proposies As proposies do Exemplo 1.2 so ditas proposies simples ou

atmicas, uma vez que no possvel decomp-las em proposies mais simples. Existem, ainda, proposies mais complexas, chamadas de proposies compostas ou moleculares, formadas por duas ou mais proposies simples ligadas por meio de conectivos lgicos.

So cinco os conectivos lgicos: E OU NO SE ... ENTO SE, E SOMENTE SE

Exemplo 1.3 Proposies Compostas

Nas proposies seguintes, os conectivos esto destacados. a) b) c) d) e) Pel brasileiro e Maradona argentino. Windows no um software livre. Vou praia ou ao cinema. Se eu estudar, ento serei aprovado em Matemtica para Computao. Serei aprovado em Matemtica para Computao se, e somente se, eu estudar.

Pgina |8

Em geral, as proposies simples so representadas por letras latinas minsculas e as proposies compostas por letras latinas maisculas. Assim, podemos representar a proposio Pel brasileiro pela letra a e a proposio Maradona argentino pela letra b, por exemplo. A proposio composta Pel , brasileiro e Maradona argentino, pode ser representada pela letra A e escrita da argentino, seguinte maneira: A: Pel brasileiro e Maradona argentino argentino. Antes de passar para o prximo tpico, tente responder a pergunta abaixo. prximo

Pare e Reflita
Como determinar o valor lgico de uma proposio composta?

1.5.

Valor Lgico de Proposies Compostas Sabemos, pelo princpio do terceiro excludo, que uma proposio simples p ,

ou verdadeira ou falsa. Os possveis valores lgicos de uma proposio simples podem ser representados por meio de uma tabela ou como uma rvore de possibilidades, conforme ilustrao a seguir.

p V F O valor lgico de uma proposio composta definido em funo dos valores lgicos das proposies simples que a compe e levando levando-se em considerao os conectivos empregados. Para facilitar este clculo, utiliza utiliza-se uma estrutura conhecida como tabela-verdade.

Pgina |9

Uma tabela-verdade uma tabela que descreve os valores lgicos de uma proposio em termos das possveis combinaes dos valores lgicos das proposies componentes e dos conectivos usados.
Menezes (2008)

Exemplo 1.4 Tabela Verdade

Considerando-se uma proposio composta formada pelas proposies simples a e b, os possveis valores lgicos de a e b so representados numa tabela verdade.

1 2 3 4

a V V F F

b V F V F

Observe que a tabela mostra todas as combinaes possveis de valores lgicos para a e b: VV, VF, FV e FF. Note, ainda, que os valores esto dispostos na tabela de acordo com a seguinte rvore de possibilidades: V V b a F b F V

F Para cada possibilidade de valor da proposio a, devem ser associadas todas as possibilidades para a proposio b.

P g i n a | 10

Auto Avaliao 1.3

Considere as seguintes proposies simples: p: A raiz quadrada de 9 igual 3. q: 5 menos 2 igual a 3. r: O dobro de 1,5 igual a 3. Deseja-se formar uma proposio composta S utilizando-se as proposies p, q e r. Monte uma rvore de possibilidades e escreva a tabela-verdade com todas as combinaes possveis de valores lgicos para p, q e r.

Agora que voc j sabe como representar numa tabela-verdade as possveis combinaes de valores lgicos para um conjunto de proposies simples, podemos prosseguir e analisar de que forma os conectivos interferem na definio do valor lgico de uma proposio composta. Os conectivos esto associados a operaes lgicas, as quais so realizadas sobre as proposies e obedecem a algumas regras. Na Tabela 1, so mostradas as operaes lgicas, com seus respectivos operadores (conectivos) e smbolos.

Tabela 1.1: Operaes e Operadores Lgicos

Operao Negao Conjuno Disjuno Condicional Bicondicional

Operador NO E OU SE ... ENTO SE, E SOMENTE SE

Smbolo

O detalhamento de cada uma dessas operaes dado a seguir e o seu entendimento essencial para o estudo e compreenso da Lgica Matemtica.

P g i n a | 11

1.6.

Operaes Lgicas

1.6.1. Negao Podemos utilizar o conectivo NO () para formar uma nova proposio, cujo valor lgico oposto ao da proposio original. Se tivermos uma proposio p, sua negao ser p. Caso o valor lgico de p seja V, o valor de p ser F, e vice versa. A representao desta operao na tabela-verdade a seguinte:

p V F

p F V

O operador NO inverte o valor lgico da proposio original.

Exemplo 1.5 Negao

Sejam as proposies: a: A capital do Maranho So Lus. b: Todos os alunos de Licenciatura em Informtica aprendero Lgica. c: Existem alunos estudiosos. A negao da proposio (a) definida com o uso do advrbio NO. Desta forma:

a: A capital do Maranho no So Lus. possvel, ainda, escrever a negao de

(a) da seguinte forma: falso que a capital do Maranho So Lus. As demais proposies deste exemplo exigem um pouco mais de ateno. A negao de b (b) seria: Nem todos os alunos de Licenciatura em Informtica aprendero Lgica ou Existem alunos de Licenciatura em Informtica que no aprendero Lgica, ou, ainda, H alunos de Licenciatura em Informtica que no aprendero Lgica. Quanto a proposio (c), sua negao (c) pode ser escrita da seguinte forma: No existem alunos estudiosos ou Todos os alunos no so estudiosos.

P g i n a | 12

1.6.2. Conjuno

Com o uso do conectivo E () possvel ligar duas proposies, formando uma nova proposio chamada conjuno, cujo valor lgico a verdade (V) quando ambas as proposies que a compem forem verdadeiras. Deste modo, p q (l-se p e q) a conjuno das proposies p e q e tem como valor lgico a verdade quando os valores de p e de q forem simultaneamente a verdade. A representao desta operao na tabela-verdade a seguinte:

p V V F F

q V F V F

pq V F F F

Para melhor entendimento, acompanhe a seguinte situao: A empresa fictcia SoftHard abriu uma vaga para programador de sistemas, com a exigncia de que os candidatos soubessem programar em C e em Java. Desta situao podem ser extradas duas proposies: p: O candidato sabe programar em C. q: O candidato sabe programar em Java. Suponha que quatro candidatos se apresentaram para a seleo: Joo, que programa em C e em Java; Marcos, que programa em C, mas no programa em Java; Ari, que no programa em C, mas programa em Java e Simone, que no programa nem em C nem em Java. Voc certamente j sabe quem ser classificado, pois a exigncia da empresa bem clara. Note que tal exigncia representada por uma conjuno: o candidato deve programar em C E em Java. Portanto, com o uso da tabela-verdade

P g i n a | 13

da conjuno possvel determinar, com exatido, quem ser contratado pela empresa. Assim, temos:

p Joo Marcos Ari Simone V V F F

Q V F V F

pq V F F F

Joo, que sabe programar em C (p = V) e sabe programar em Java (q = V), poder ser contratado, pois atende simultaneamente s duas exigncias (p q = V). Marcos, que sabe programar em C (p = V) e no sabe programar em Java (q = F), no pode ficar com a vaga, pois s atende a uma das exigncias (p q = F). Da mesma forma, Ari no ser contratado, pois no sabe programar em C (p = F), mesmo sabendo programar em Java (q = V). Simone tambm no poder ser contratada, pois no programa nem em C (p = F) nem em Java (q = F).

Uma conjuno s verdade quando ambas as proposies que a compe forem simultaneamente verdade.

P g i n a | 14

Exemplo 1.6 Conjuno

Sejam as proposies: a: Lula brasileiro. b: O Maranho pertence ao Paraguai. a b: Lula brasileiro e o Maranho pertence ao Paraguai. c: 5 3 = 2 d: 10 um nmero par. c d: 5 3 = 2 e 10 um nmero par. A conjuno a b tem como valor lgico a falsidade. Observe: V(a) = V e V(b) = F, portanto V(a b) = V(a) V(b) = V F = F A conjuno c d tem como valor lgico a verdade. Observe: V(c) = V e V(d) = V, portanto V(c d) = V(c) V(d) = V V = V

1.6.3. Disjuno

Quando usamos o conectivo OU () possvel ligar duas proposies para formar uma terceira proposio denominada disjuno, cujo valor lgico a falsidade quando ambas as proposies que a compe forem simultaneamente falsas. Assim, p q (l-se p ou q) disjuno das proposies p e q e tem como valor lgico a falsidade se p e q assim o forem simultaneamente. A representao desta operao na tabela-verdade a seguinte:

p V V F F

q V F V F

pq V V V F

P g i n a | 15

Considere que a empresa SoftHard modificou a exigncia para a contratao do programador de sistemas. Agora, os candidatos devem programar em C ou programar em Java. Neste caso, a definio de quem ser contratado baseada na operao lgica disjuno, cujos operandos so: p: O candidato sabe programar em C q: O candidato sabe programar em Java A tabela-verdade para este caso a seguinte:

p Joo Marcos Ari Simone V V F F

q V F V F

pq V V V F

Neste caso, Joo poder ser contratado (p q = V), pois sabe programar em C (p = V) e tambm em Java (q = V). Marcos, que programa em C (p = V), apesar de no programar em Java (q = F), poder ser contratado (p v q = V), pois bastante programar em pelo menos uma das duas linguagens, conforme a exigncia da empresa. Do mesmo modo, Ari, que no programa em C (p = F), mas programa em Java (q = V) tambm poder ser contratado (p q = V). Apenas Simone no seria contratada (p q = F), pois no programa nem em C (p = F) nem em Java (q = F).

Uma disjuno s uma falsidade quando ambas as proposies que a compe forem simultaneamente uma falsidade.

P g i n a | 16

Exemplo 1.7 Disjuno

Sejam as proposies: a: Gonalves Dias um poeta maranhense. b: A lua quadrada. a b: Gonalves Dias um poeta maranhense ou a lua quadrada. c: 5 3 > 2 d: 10 um nmero primo. c d: 5 3 > 2 ou 10 um nmero primo. A disjuno a b tem como valor lgico a verdade. Observe: V(a) = V e V(b) = F, portanto V(a b) = V(a) V(b) = V F = V A disjuno c d tem como valor lgico a falsidade. Observe: V(c) = F e V(d) = F, portanto V(c d) = V(c) V(d) = F F = F

1.6.4. Condio

Dadas duas proposies p e q, possvel escrever uma nova proposio p q (l-se se p ento q ou p implica q), chamada condio ou implicao, onde p chamado antecedente e q consequente, e cujo valor verdade a falsidade quando p for uma verdade e q uma falsidade. Existem outras maneiras de expressar p q em linguagem natural, como: p condio suficiente para q, p somente se q, q condio necessria para p ou p consequncia de q. Por exemplo, a proposio Uma alimentao equilibrada uma condio necessria para uma vida saudvel pode ser reescrita da seguinte maneira Uma vida saudvel consequncia de uma alimentao equilibrada ou ainda, Se tens uma vida saudvel, ento tens uma alimentao equilibrada. Note que o antecedente uma vida saudvel e o consequente uma alimentao equilibrada.

P g i n a | 17

A tabela-verdade da condio a seguinte:

p V V F F

q V F V F

pq V F V V

Para o entendimento desta operao, considere que um amigo de faculdade fez a seguinte afirmao: Se eu passar em todas as disciplinas que estou cursando este semestre, vou para Barreirinhas curtir as frias. Desta afirmao, podem ser retiradas duas proposies: p: Se eu passar em todas as disciplinas que estou cursando este semestre. q: Vou para Barreirinhas curtir as frias. Caso seu amigo realmente seja aprovado em todas as disciplinas do semestre (p = V) e viaje para Barreirinhas (q = V), a afirmao foi uma verdade (p q = V). Se ele, entretanto, for aprovado em todas as disciplinas (p = V) e no viajar (q = F), a afirmao consistiu numa falsidade (p q = F). Agora, supondo que ele tenha ficado reprovado (p = F), independente de ele ter ido (q = V) ou no (q = F) a Barreirinhas, no podemos dizer que a afirmao falsa, pois ele nada afirmou quanto a ficar reprovado. Em qualquer destes casos a afirmao tida como verdade (p q = V).

A proposio p q, uma verdade se p e q forem simultaneamente verdade ou se p for uma falsidade. Caso p seja uma verdade e q uma falsidade, p q ser uma falsidade.

P g i n a | 18

Exemplo 1.8 Condio

Sejam as proposies: a: O relgio marca as horas. b: Grande parte da Amaznia Legal fica no Brasil. a b: Se o relgio marca as horas, ento grande parte da Amaznia Legal fica no Brasil. c: Machado de Assis escreveu Dom Casmurro. d: 10 um nmero primo. c d: Se Machado de Assis escreveu Dom Casmurro, ento 10 um nmero primo. e: O Brasil foi colonizado pelos franceses. f: A capital do Maranho Teresina. e f: Se o Brasil foi colonizado pelos franceses, ento a capital do Maranho Teresina. A implicao a b tem como valor lgico a verdade. Observe: V(a) = V e V(b) = V, portanto V(a b) = V(a) V(b) = V V = V A implicao c d tem como valor lgico a falsidade. Observe: V(c) = V e V(d) = F, portanto V(c d) = V(c) V(d) = V F = F A implicao e f tem como valor lgico a verdade. Observe: V(e) = F e V(f) = F, portanto V(e f) = V(e) V(f) = F F = V

Observe no Exemplo 1.8 que nem sempre o consequente se deduz ou consequncia do antecedente. Note que o fato de grande parte da Amaznia Legal estar no Brasil no se deduz do simples fato de o relgio marcar as horas. Da mesma forma, no se poderia afirmar que 10 um nmero primo em consequncia de Machado de Assis ter escrito Dom Casmurro. A nica relao existente entre o antecedente e o consequente relativa aos seus valores lgicos.

P g i n a | 19

O que uma condicional afirma somente uma relao entre os valores lgicos do antecedente e do consequente. (ALENCAR FILHO, 2002)

1.6.5. Bicondio

Dadas duas proposies p e q, possvel escrever uma nova proposio p q (l-se p se, e somente se, q), chamada bicondio, cujo valor verdade a verdade quando p e q forem simultaneamente uma verdade ou uma falsidade. Perceba que a bicondio uma implicao vlida nos dois sentidos, ou seja, so duas condies simultneas. No sentido da ida, p o antecedente e q o consequente e no sentido da volta, q o antecedente e p o consequente (MENEZES, 2008). A tabela-verdade da bicondio seguinte:

p V V F F

q V F V F

pq V F F V

Antes de prosseguir, tente responder a pergunta abaixo:

Pare e Reflita
Como se chegou a esta tabela-verdade para p q?

P g i n a | 20

A tabela-verdade da bicondio foi construda levando-se em considerao que ela , na verdade, uma conjuno de duas implicaes: (p q) (q p). Podemos, portanto, construir uma tabela-verdade para a conjuno das duas implicaes, como segue:

p V V F F

q V F V F

pq V F V V

qp V V F V

(p q) (q p) V F F V

Uma bicondio verdadeira quando as proposies que a compe possuem o mesmo valor lgico.

P g i n a | 21

Exemplo 1.9 Bicondio

Sejam as proposies: a: O Brasil fica na Amrica do Sul. b: No vero faz calor. a b: O Brasil fica na Amrica do Sul se, e somente se, no vero faz calor. c: 13 divisvel por 2. d: 10 um nmero primo. c d: 13 divisvel por 2 se, e somente se, 10 um nmero primo. e: Domingo um dia til. f: O Sol uma estrela. e f: Domingo um dia til se, e somente se, o Sol uma estrela. A bi-implicao a b tem como valor lgico a verdade. Observe: V(a) = V e V(b) = V, portanto V(a b) = V(a) V(b) = V V = V A implicao c d tem como valor lgico a verdade. Observe: V(c) = F e V(d) = F, portanto V(c d) = V(c) V(d) = F F = V A implicao e f tem como valor lgico a falsidade. Observe: V(e) = F e V(f) = V, portanto V(e f) = V(e) V(f) = F V = F

Assim como na implicao, a bi-implicao afirma somente uma relao entre os valores lgicos do antecedente e do consequente.

Auto Avaliao 1.4

Determine o valor lgico das proposies a seguir: (a) (b) (c) (d) A metade de dois um e cinco um nmero primo. Gonalves Dias francs ou os macacos so rpteis pr-histricos. Se o relgio marca as horas, ento sen30 = 1. So Lus uma ilha se, e somente se, os papagaios podem voar.

P g i n a | 22

1.7.

Frmulas Bem Formuladas e Tabelas-verdade

possvel encadearmos diversas proposies, simples e compostas, por meio dos conectivos lgicos e com o uso de parnteses ou colchetes. Desse encadeamento surgem novas proposies, como, por exemplo:

(p q) (q p) Este encadeamento ou arranjo de proposies, conectivos e parnteses (ou colchetes) no pode ser feito de qualquer jeito. Como em qualquer linguagem, preciso seguir regras de sintaxe para que se escrevam proposies vlidas. Proposies vlidas so chamadas de Frmulas Bem Formuladas ou simplesmente frmulas. Menezes (2008) define frmula como uma sentena lgica corretamente construda, sobre um alfabeto cujos smbolos so conectivos, parnteses, identificadores, constantes, etc. Desta definio, infere-se que frmula: a) uma proposio simples (tambm chamada de frmula atmica); b) uma proposio composta; c) um encadeamento de proposies simples e/ou compostas, por meio de conectivos e parnteses.

P g i n a | 23

Exemplo 1.10 Frmulas

So frmulas (escritas de maneira simblica): a) b) c) d) p pq (p q) (w t) p (~a b)

No so frmulas: a) p q b) p (a p) c) p q r s t

Em muitos casos, a escrita simblica de frmulas mais complexas pode apresentar alguns problemas. Considere o seguinte exemplo:

p q r, onde p: Maria adoeceu. q: Joo viajou. r: Hrcules no pode sair de casa. A frmula acima, da forma como est escrita, pode indicar duas expresses diferentes: Se Maria adoeceu e Joo viajou, ento Hrcules no pode sair de casa ou Maria adoeceu e, se Joo viajou, ento Hrcules no pode sair de casa. E agora, como saber qual das duas expresses est representada pela frmula? Para solucionar problemas deste tipo, os conectivos obedecem a uma ordem de precedncia, que a seguinte: 1. Conectivos entre parnteses, dos mais internos para os mais externos; 2. Negao (); 3. Conjuno () e disjuno ();

P g i n a | 24

4. Condio (); 5. Bicondio ().

Com base no exposto, pode-se afirmar que na frmula p q r a conjuno tem precedncia sobre a condio. Ento, a expresso simbolizada pela frmula Se Maria adoeceu e Joo viajou, ento Hrcules no pode sair de casa. Para representar a segunda expresso, preciso fazer uso de parnteses: p (q r).

Pare e Reflita
Como se constri uma tabela-verdade de uma frmula?

Para determinar o valor lgico de uma frmula comum recorrer-se a construo de uma tabela-verdade, a qual mostrar todos os casos em que a frmula ser verdadeira (V) ou falsa (F). A seguir apresentado um conjunto de passos que auxiliam na construo de tabelas-verdade.

P g i n a | 25

Regra prtica 1. Conte o nmero de proposies simples e calcule o nmero de linhas da tabela, sabendo que uma frmula composta de n proposies simples gera uma tabela com 2n linhas; 2. 3. 4. Desenhe a tabela e escreva cada proposio simples sobre a primeira linha; Para a isima proposio simples (i n), atribua alternadamente 2n i valores V seguidos da mesma quantidade de valores F. Em seguida, realize as operaes lgicas, obedecendo ordem de precedncia. Para cada operao, crie uma nova coluna na tabela.

Considere a seguinte frmula: p (q r). Aplicando a regra 1, notamos que existem trs proposies simples na frmula dada, o que implica dizer que a tabela-verdade ter 23 = 8 linhas. Assim, temos (regra 2): p q r

Pela regra 3, temos que p a primeira proposio simples, assim, devemos preencher a coluna correspondente com 23 1 = 22 = 4 valores V seguidos da mesma quantidade de valores F.

P g i n a | 26

p V V V V F F F F

Para a segunda e a terceira proposies temos, respectivamente: 232 = 21 = 2 valores V, seguidos da mesma quantidade de valores F, alternadamente e 233 = 20 = 1 valor V e tambm 1 valor F, alternadamente. 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

A regra 4 indica a resoluo de cada uma das operaes lgicas, seguindo uma ordem de precedncia. Assim, iniciamos por resolver a conjuno entre parnteses.

p V V V

q V V F

r V F V

qr V F F

P g i n a | 27

V F F F F

F V V F F

F V F V F

F V F F F

Por fim, resolvemos a condio. Ficando com a seguinte estrutura:

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

qr V F F F V F F F

p (q r) V F F F V V V V

A ltima coluna corresponde combinao dos possveis valores lgicos da frmula p (q r).

Exerccio Resolvido
Construa a tabela-verdade para a seguinte frmula: (p q) (p q) Soluo p V V F F q V F V F pq V V V F pq V F F F (p q) (q r) V F F V

possvel, ainda, determinarmos o valor lgico de uma frmula, conhecendo o valor lgico de cada uma das proposies que a compem.

P g i n a | 28

Exemplo 1.11 Valor Lgico de uma Frmula

Determinar o valor lgico de cada uma das frmulas a seguir: a) b) p (a b), onde V(p) = V, V(a) = F e V(b) = V. p (q r), onde V(p) = V, V(q) = F e V(r) = F.

Para determinar qual ser o valor lgico de cada uma das frmulas apresentadas, devemos substituir os valores lgicos das proposies simples que a compem e realizar as operaes lgicas indicadas. Assim, para frmula mostrada na letra (a), temos: V (F V) = V V=V

Portanto, o valor lgico da frmula p (a b) a verdade (V). Para a frmula apresentada na letra (b), temos: V (F F) = V V = V Portanto, o valor lgico da frmula p (q r) tambm a verdade (V).

P g i n a | 29

Exerccios Resolvidos
1. Sabendo que V(p) = V e V(r) = F, determine o valor lgico da proposio A(p, r) (p r) (p r) (p r) SOLUO: Substituindo os respectivos valores lgicos na expresso, temos: V(A) = (F F) (V V) (V F) Resolvendo cada operao lgica entre parnteses, vem: V(A) = V V F Resolvendo a conjuno, temos: V(A) = V F Por fim, resolvendo a bicondio, temos: V(A) = F Portanto, o valor lgico da proposio A(p, r) a falsidade (F) 2. Determine o valor lgico da proposio Se o Brasil um pas em desenvolvimento e o Maranho o maior estado do Nordeste, ento a raiz quadrada de 25 igual ao dobro de 100 ou o Maranho no o maior estado do Nordeste. SOLUO: Inicialmente devemos escrever a proposio em forma simblica. a: o Brasil um pas em desenvolvimento. b: o Maranho o maior estado do Nordeste. c: a raiz quadrada de 25 igual ao dobro de 100 (a b) (c b) Agora, substitumos os valores lgicos de cada proposio simples na sentena encontrada. Assim, (V F) (F V) Resolvendo as operaes lgicas entre parnteses, encontramos FV Por fim, resolvemos a implicao, tendo como resultado a verdade. Portanto, a proposio tem a verdade (V) como valor lgico.

P g i n a | 30

Auto Avaliao 1.4

Escreva a proposio a seguir em linguagem simblica e em seguida determine seu valor lgico. A Terra o planeta vermelho e a metade de 15 maior que 4 se, e somente se, Tiradentes morreu atropelado ou a metade de 15 menor que 4.

1.8.

Tautologias, Contradies e Contingncias

Denomina-se tautologia, ou proposio tautolgica, toda frmula cujo valor lgico sempre a verdade, independente dos valores lgicos das proposies simples que a compe.

Como consequncia imediata desta definio, podemos afirmar que as frmulas p p, p p e p p so tautologias, j que seus valores lgicos so sempre a verdade (V). Comprovamos que determinada frmula uma tautologia, atravs da construo de sua tabela-verdade.

P g i n a | 31

Exemplo 1.12 Tautologia

A frmula p r q r uma tautologia. Tal fato constata-se na tabela-verdade.
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 pr V F V F F F F F q r V F V V V F V V p r q r V V V V V V V V

O caso oposto ao de uma tautologia, chamado contradio, consiste em frmulas que so sempre falsas para quaisquer valores das proposies simples componentes. Uma definio formal de contradio dada por Alencar Filho (2002):

Contradio toda proposio composta P(p, q, r, ...) cujo valor lgico sempre F (falsidade), quaisquer que sejam os valores lgicos das proposies simples componentes p, q, r, ...
imediata a concluso de que uma contradio corresponde negao de uma tautologia, pois se uma tautologia sempre verdadeira (V), ento sua negao ser sempre falsa (F).

Pare e Reflita
Voc pode demonstrar que as frmulas p p e p p so contradies?

P g i n a | 32

Assim como as tautologias, uma contradio pode ser demonstrada por meio de uma tabela-verdade.

Exemplo 1.13 Contradio

A frmula p q (p q) uma contradio. Tal fato constata-se na tabela-verdade.
p V V F F q V F V F q F V F V p q F V F F pq V F V V p q (p q) F F F F

As frmulas que no se constituem nem tautologias nem contradies so chamadas de contingncias.

P g i n a | 33

Exemplo 1.14 Contingncia

A frmula p (q p) uma contingncia. p) Tal fato constatamos na tabela-verdade. verdade.
p V V F F q V F V F p F F V V q p F V V V p (q p) F V V V

Podemos afirmar que a frmula dada insatisfatvel, ou inconsistente, quando p e q forem ambas verdadeiras e que satisfatvel, ou consistente, para as demais combinaes de valores lgicos para p e q.

Para saber mais sobre lgica proposicional acesse

http://www.pucsp.br/~logica/ http://wwmat.mat.fc.ul.pt/~jnsilva/logica97/logica97.html http://pt.wikipedia.org/wiki/Lgica_proposicional gica_proposicional

F V V F q p

F V F V q

F F V V p

: et n i u g e s a a vi s ul c x e o n uj s i d a a r a p e d a d r e v - a l e b at A . q u o p u o : a m r of et n i u g e s a d a di l e a vi s ul c x e o n u j si d a m u q p o i s o p o r p a , mi s s A . r o p a d a z i l o b mi s e u q , R O X o a r e p o e d a d a m a h c m b m a t , a v i s u l c x e

o n u j si d a m u s o m et o d n u g e s o n e u q ot n a u q n e , a vi s u l c ni o n uj si d a m u s o m e t , o s a c o ri e mi r p o N . o at u p m o C ar a p a cit m e t a M me a d a v or p er e a d a v or p a aj e s a ni r a M e uq l e v s s o p mi si o p , a ri e d a d r e v

r e s r e d o p s e i s o p o r p s a d a m u s a n e p a e u q s o m e b e c r e p , o i s o p o r p a d n u g e s a N . s a ri e d a d r e v m aj e s s a s a b m a e u q l e v s s o p o d n e s , a ri e d a d r e v a ri el i s a r b al i m a C , a ci t m r o f nI e a r ut a i c n e ci L e d o n u l a o n ai r d A s e i s o p o r p s a d a m u s o n e m ol e p e u q a ci d ni o i s o p o r p a ri e m i r p a n e u q et o N

. o a t u p m o C a r a p a cit m et a M m e a d a v o r p e r u o a d a v o r p a i o f a n i r a M : Q . a ri eli s a r b al i m a C u o a ci t m r o f nI m e a r ut ai c n e ci L e d o n ul a o n ai r d A : P

: s at s o p m o c s e i s o p o r p s et n i u g e s s a e r e di s n o C

Tpico Extra: Disjuno Exclusiva

.aigolotuat amu )q

p(

p euq ertsoM p euq ertsoM AFERAT AFERAT AFERAT AFERAT

P g i n a | 34

P g i n a | 35

Leitura Complementar
Lgica nas Linguagens de Programao
(extrado de: MENEZES, Paulo Blauth. Matemtica Discreta para Computao e Informtica. Porto Alegre: Bookman, 2008)

Em geral, as linguagens de programao possuem o tipo de dado lgico ou boolenano pr-definido. No caso da linguagem Pascal, o tipo de dado denominado boolean, e os correspondentes valores lgicos V e F so denotados por true e false, respectivamente. A declarao (definio) das variveis p, q e r deste tipo como segue:

p, q, r: boolean

A linguagem Pascal (assim como a maioria das linguagens de programao) possui os seguintes conectivos lgicos: not (negao) and (conjuno) or (disjuno) <= (condio) = (bicondio) Suponha que desejado desenvolver um programa em Pascal capaz de calcular e informar o valor lgico da frmula para quaisquer valores de de p, q e r fornecidos. Assim, o programa necessita ler os valores de p, q e r, calcular o valor lgico da frmula para os valores lidos e imprimir o resultado. Um programa para o problema apresentado a seguir:
program valor_logico (input, output); var p, q, r: boolean; begin read (p, q, r); if p or (q and r) then write(verdadeiro); else write(falso); end.

P g i n a | 36

A primeira linha define o nome do programae informa que os procedimentos prdefinidos input e output sero usados para entradas (leituras) e sada (impresses), respectivamente. A segunda linha define as variveis p, q e r as quais so do tipo boolean. Entre as palavras begin e end so especificados os comandos (definem as aes). O comando de leitura read l os valores lgicos de p, q e r a serem considerados. O comando if-then-else tem a seguinte semntica: se a expresso lgica aps a palavra if for verdadeira, ento o comando aps a palavra then executado, seno, o comando aps a palavra else executado. Portanto, se os valores de p, q e r lidos, se o valor-verdade de verdadeiro, o texto verdadeiro impresso; seno, o texto falso impresso. for

P g i n a | 37

RESUMO
Uma proposio qualquer sentena declarativa que pode ser classificada como verdadeira ou falsa. Toda proposio possui um, e apenas, um dos valores lgicos: verdadeiro ou falso. Uma proposio pode ser simples ou composta. Uma proposio composta formada por duas ou mais proposies simples, ligadas por conectivos lgicos. So cinco os principais conectivos lgicos: NO, E, OU, SE... ENTO, SE E SOMENTE SE. Para cada conectivo lgico, uma operao lgica definida. O valor lgico de uma proposio composta definido pelo valor lgico das proposies simples que a compe e pelos conectivos empregados. Para definio do valor lgico de uma proposio composta so utilizadas estruturas conhecidas como tabelas verdade. A operao de negao consiste na inverso do valor lgico da proposio original. Uma conjuno ser verdadeira quando as proposies que a compem forem ambas verdadeiras. Para os demais casos, ser falsa. Uma disjuno s ser falsa quando ambas as proposies que a compem forem simultaneamente falsas. Para as demais combinaes, o valor lgico ser a verdade. Uma condio falsa quando um antecedente verdadeiro implicar numa falsidade. Para os demais casos, a condio verdadeira. Uma bicondio s verdadeira quando ambos os operandos tiverem o mesmo valor lgico. Uma proposio vlida quando obedece a regras sintticas na sua escrita. Toda proposio vlida chamada de frmula. Denomina-se tautologia toda frmula cujo valor lgico sempre verdadeiro. Chama-se contradio a frmula que possui a falsidade como valor lgico, em qualquer situao. As frmulas que no so tautologias nem contradies so chamadas de contingncias.

P g i n a | 38

Exerccios Propostos

1. Analise as seguintes frases e indique quais delas so proposies, justificando suas respostas. Para as que forem proposies, indique seu valor lgico. a) A Lua uma estrela da quinta grandeza. b) Em que regio brasileira fica localizado o Estado do Maranho? c) O dobro de qualquer nmero inteiro positivo sempre par. d) J que voc est cansado, levante-se e v dormir. e) 21 um nmero primo. f) A cidade de Imperatriz fica s margens do rio Itapecuru. g) Como estes exerccios so fceis! h) No verdade que Cabral descobriu a Amrica. i) A raiz quadrada da soma de 5 com 4 3. j) A soma do quadrado da hipotenusa igual soma dos quadrados dos catetos. 2. Sejam a, b e c as seguintes sentenas: a: Andr gosta de estudar. b: Andr inteligente. c: Andr fala vrios idiomas. Escreva as sentenas abaixo em notao simblica: a) Andr inteligente, mas no gosta de estudar. b) Se Andr gosta de estudar ou fala vrios idiomas, ento ele inteligente. c) Andr inteligente ou fala vrios idiomas, mas no gosta de estudar. d) falso que Andr desinteressado pelos estudos ou que no inteligente.

P g i n a | 39

e) Ou Andr no fala vrios idiomas, mas inteligente, ou ele no gosta de estudar. 3. Escreva as seguintes sentenas em notao simblica. a) Ou vou ao Shopping ou vou ao Cinema, mas no ambos. b) Beberei gua ou, se sentir fome, comerei um pedao de bolo. c) Se o tempo estiver bom, iremos praia, mas se estiver chovendo ficaremos em casa ou, se estiver nevando, iremos esquiar. d) Comprarei uma casa nova apenas se meu salrio aumentar ou se receber nova gratificao. e) Se meu salrio no aumentar, comprarei uma nova casa caso receba nova gratificao. 4. (ALENCAR FILHO, 2002 e GERSTING, 2003) Construa as tabelas-verdade para as seguintes frmulas. Indique as tautologias e as contradies. a) (p b) (p q) (p r q r)

q) p q p r

c) ((p q) r)

d) p q q p e) (p q r) (p q r)

5. Determine o valor lgico de cada uma das seguintes sentenas. a) So Lus a capital do Maranho, e 2 + 2 = 5 ou 6 o dobro de 3. b) falso que o Sol um satlite natural da Terra, e, se o Brasil fica na frica, ento o rio Amazonas desgua no Oceano Atlntico. c) Se a raiz quadrada de 16 8 e 5 3 resulta em um nmero par, ento 10 > 5. d) (q r) s (p s), sabendo que V(p) = V, V(r) = V, V(q) = F e V(s) = F. e) (p (q p)) ((p q) q p), sabendo que V(p) = F e V(q) = V.