Vous êtes sur la page 1sur 12

UNIG- Universidade Iguau Curso: Licenciatura em Matemtica Disciplina: lgebra II Perodo: 4 Professor: Luis Mallqui Reyes Aluno: Antonio

Esteves Faria Mendes

Trabalho de lgebra de Boole na Computao

1 - Introduo Cada vez mais, nos ltimos anos, diversas atividades didticas tornam-se dependentes de ferramentas de ensino computadorizadas. O avano das tecnologias para o Ensino Distncia propulsiona o desenvolvimento de ferramentas para auxiliar o ensino presencial, e nos congressos e foruns cientficos a rea de informtica na educao tem crescido de forma surprendente (Sampaio, 2003). De forma paradxica o ensino das Cincias da Computao muitas vezes torna-se retardatrio na corrida pela informatizao. Para muitos tpicos na rea da computao no h ferramentas (software) apropriados para o seu aprendizado. Existem no entanto diversas propostas interessantes, muitas delas so softwares desenvolvidos dentro das * O autor agradece UNISUL pelo apoio financeiro atravs da concesso de uma bolsa de Pesquisa. 2 universidades, na forma de prottipos. Podemos mencionar: EduLing, um software educacional para o ensino de expresses regulares (DOGNINI, 2003); Sosim, um simulador para o ensino de Sistemas operacionais (MAIA, 2003), entre outros. Uma boa forma de explorar o computador no ensino dos diversos tpicos das Cincias da Computao utilizar visualizao e animao grfica nas suas diversas formas. Esta a estratgia utilizada por Turing's World, um software de animao grfica para o ensino de mquinas de Turing e outro tipo de autmatos (BARWISE-93). Outras ferramentas para o ensino de lgica dentro do currculo de um curso de computao so descritas no artigo de Goldson (GOLDSON-93). Segundo Gal-Ezer (GAL-EZER-98) geralmente os educadores na rea de computao no so os mais preocupados com a utilizao de ferramentas computacionais. Em sua grande maioria utilizam-se da Internet no ensino distancia ou para distribuio de notas, exerccios e assim por diante, isto , como meio de comunicao extra/classe com os seus alunos. Como discutido por Gal-Ezer cada professor ou instrutor tem as suas ferramentas favoritas, assim como seus prprios mtodos e tcnicas muitos dos quais no so publicados. A discusso destes temas entre colegas e em sala de aula de suma importncia pois isso levaria os estudantes a utilizarem estes mtodos e ferramentas como futuros docentes ou na sua vida profissional. Alm da participao e motivao no refinamento de tais ferramentas ou no desenvolvimento de novas. A experincia em sala de aula como professor evidencia a dificuldade dos estudantes, cursando uma cadeira de lgebra Booleana (AB), para aprender, interpretar e principalmente saber utilizar as leis da AB. As leis do fecho, comutativa, distributiva, associativa, de identidade, do complemento, leis idempotentes e teoremas de De Morgan regem toda a manipulao algbrica de sistemas dicotmicos; entre eles podemos mencionar conjuntos, proposies, circuitos de chaves e circuitos digitais. Tanto a manipulao de proposies em um sistema lgico como formalismo para representao do conhecimento assim como o domnio das propriedades dos circuitos digitais so habilidades bsicas que devem ser apreendidas por um estudante de um curso de computao. O entendimento de como as leis funcionam e qual a sua utilidade ocorre principalmente atravs da realizao de exerccios prticos pelo aluno. O tempo em sala de aula nem sempre suficiente para realizar esta tarefa, alm disso cada indivduo tem diferentes velocidades de interpretao e de trabalho. Tais motivos deram origem a idia de implementar uma ferramenta que apie o aluno com esses exerccios, principalmente na simplificao de expresses booleanas onde leis e propriedades so utilizadas. Atualmente existe a tendncia para a utilizao de softwares abertos (AIRES, 2000), (FORUM, 2004), qual, como usurios e educadores de um curso de computao, apoiamos. Seguindo essa idia alm do cdigo executvel o usurio tambm dispor do cdigo fonte como desafio para poder modificar, melhorar e testar inovaes no prottipo original. A seo 2 deste artigo apresenta as leis da lgebra de Boole. Na seo 3 mostrada a gramtica geradora de expresses booleanas, a tabela sinttica e estrutura do reconhecedor apropriado para essa linguagem. A seo 4 discute o estgio atual da implementao e na seo 5 encontram-se as concluses. 3 2 LGEBRA DE BOOLE O objetivo da ferramenta permitir a manipulao e simplificao de expresses booleanas atravs das leis da lgebra de Boole para facilitar o seu aprendizado. Formalmente uma lgebra Booleana (DAGHLIAN, 1990): um conjunto de elementos x, y, z, ... e duas operaes binrias, chamadas por exemplo de soma e produto e designadas por + e . , tais que os axiomas seguintes se verifiquem: A0. Lei do Fecho: x e y B a soma x+y e o produto x . y existem e so 2

elementos nicos de B A1. Leis comutativas: x e y B x+y = y + x xeyBx.y=y.x A2. Leis associativas: x, y e z B x+(y+z) = (x +y) +z x, y e z B x.(y.z) = (x.y).z A3. Leis distributivas x, y e z B x.(y+z) = (x.y) + (x.z) x, y e z B x + (y.z) = (x+y) . (x+z) A4. Leis da Identidade: uma identidade aditiva 0 e uma identidade multiplicativa 1 tal que: x B x + 0 = x xBx.1=x A5. Leis do Complemento: x B um x B chamado de complemento de x tal que x + x = 1 x . x = 0 A partir desses axiomas podem ser demostradas as seguintes propriedades ou teoremas: Teoremas de De Morgan: (x+y)=x . y (x . y)=x+y Leis da absoro: x+(x. y)= x x . (x+y)= x x+(x. y)= x+y x. (x+y)= x. y Destes ltimos principalmente o teorema de De Morgan importante para distribuir o complemento. Este teorema geralmente no bem interpretado pelos estudantes que recorrem no erro comum de aceitar e utilizar a seguinte igualdade: (a+ b) = a+ b. Tanto a teoria dos conjuntos como a lgica das proposies, os circuitos de chaves e circuitos digitais so exemplos clssicos de lgebras de Boole. E esses conceitos devem ser compreendidos pelo estudante para o bom entendimento de outras disciplinas como: circuitos digitais, arquitetura de computadores, lgica clssica e difusa e inteligncia artificial. 3 ESPECIFICAO E RECONHECIMENTO DA LINGUAGEM FONTE Uma expresso booleana uma varivel booleana ou um conjunto de uma ou mais variveis booleanas ligadas por operadores booleanos. Os smbolos 1 e 0 representam os dois possveis estados de uma varivel (em outros trabalhos tambm representados por V/F, 4 Verdadeiro/Falso, Nvel lgico Alto/Baixo, etc.). O presente trabalho utiliza somente os operadores de disjuno, conjuno e negao: + : o operador disjuntivo, tambm simbolizado por OU, OR, ; : o operador conjuntivo, E, AND, * , ; : o complemento ou negao, tambm chamado de No, NOT, ~, ,. Assim, exemplos de cadeias vlidas so: (A+B) C p (q + 1) ((p+r) + (r 0)). Especificao formal da linguagem Sintaticamente a linguagem das expresses booleanas pode ser representada pela seguinte gramtica gerativa (AHO, 1995), considerando a associatividade esquerda e a precedncia usual das operaes: EE+T ET TT F TF Fid N F(E)N N N Onde id representa os identificadores ou valores numricos {0,1}, e {E,T,F,N} o conjunto dos smbolos no-terminais da gramtica. Eliminando-se as recurses esquerda obtm-se as seguintes regras de produo, numeradas, que permitem classificar gramtica como sendo livre de contexto LL(k) (AHO et al., 1995): E TX (1) X +TX (2) X (3) T FY (4) Y FY (5) 3

Y (6) F idN (7) F (E)N (8) N (9) N (10) id a | b | c | ... | z | A | B | ... | Z | 0 | 1 (lex) 5 Sendo E o smbolo inicial da gramtica gerativa, X o no-terminal que pode dar origem a uma soma de termos, Y permite gerar um produto de fatores, F pode dar origem aos identificadores ou expresses entre parnteses, e finalmente N permite gerar o complemento ou negao. Analisador sinttico descendente Definida a gramtica possvel calcular os conjuntos First e Follow de cada varivel para poder construir a tabela sinttica LL1 para um analisador descendente. FIRST FOLLOW E id, dgito, ( $, ) X +, $, ) T id, dgito, ( +, $, ) Y , +, $, ) F id, dgito, ( , +, $, ) N (negao), , +, $, ) Tabela 1 : Conjuntos First e Follow para cada no-terminal. Com os conjuntos First e Follow, podemos construir a Tabela Sinttica, mostrada na Tabela 2, para um Analisador Preditivo Tabular. Cada um dos nmeros na tabela representa a correspondente regra de produo. Letra, 0, 1 OR AND AP FP NOT Id, digito + ( ) $ E11 X233 T44 Y566 F78 N 10 9 10 Tabela 2 : Tabela Sinttica 4 - IMPLEMENTAO 6 Para realizar a implementao da ferramenta foi escolhida a linguagem Java, verso 1.4.2 (SUN, 2004). Para esta escolha consideraram-se caractersticas como orientao a objetos, independncia de plataforma, segurana, e o fato de ser uma ferramenta oferecida de forma gratuita. Para construir o compilador que reconhece as expresses lgicas foram implementados o analisador lxico e sinttico. A anlise lxica relativamente simples pois cada caracter manipulado representa um separador, um smbolo reservado ( +, , , (, ), 0, 1) ou um identificador (a, b, .., z, A, B, ... Z). As variveis podem ser representadas por letras minsculas, como em lgica (de ALENCAR F., 1995), ou utilizando maisculas, como nos circuitos digitais (TOCCI, 1995). Internamente a tabela de smbolos armazena os identificadores em maisculas, isto , o sistema no case sensitive1. O analisador sinttico foi implementado como um reconhecedor descendente LL1, utilizando a correspondente tabela de parsing, Tabela 2, e uma pilha explcita para controlar a recurso. A tabela exibe uma linha para cada no-terminal da gramtica e uma coluna para cada terminal. O programa reconhecedor opera sobre essas informaes atravs da anlise do smbolo de entrada corrente e do smbolo contido no topo da pilha A interface, Figura 1, mostra um campo de edio para digitar a expresso booleana e mais um campo de listagem. Este ltimo serve para mostrar o resultado da compilao: a tabela verdade. O menu de Ajuda mostra as leis da lgebra de Boole. Mensagens de erro aparecem em caixas de dilogos quando necessrio. Atualmente est sendo melhorado o algoritmo para a gerao de cdigo (gerao da tabela verdade da expresso) e as interfaces do sistema.

UNIDADE 3 LGEBRA DE BOOLE CAPTULO 5 PORTAS LGICAS 5.1 AS MQUINAS QUE CALCULAM A histria do computador pode ser dividida em trs fases bsicas: 1 fase o baco data do ano 500 a.C. usado para registro e contagem de valores, bem como realizao de operaes simples como adio e subtrao. Consistia essencialmente de vrias fileiras com seis peas. Em cada uma dessas fileiras, uma das peas apresentava-se separada das demais. O processo usado na contagem ou nas operaes tinha por base o complemento dos dgitos 1, 2, 3, 4, e 5 em relao a 10. Por exemplo, para registrar o nmero 8, movia-se a pea separada para indicar 5 e separavam-se 3 das outras cinco peas agrupadas. 2 fase contador mecnico de rodas e engrenagens dentadas segundo consta, data de 1642, inventada pelo francs Blaise Pascal, matemtico e filsofo. Cada roda continha dez dentes. Ao completar uma volta, um dos dentes, mais longo que os demais fazia girar um dente da roda seguinte. Este processo ainda usado nos marcadores de quilometragem dos automveis. 3 fase dispositivos eletromecnico no final do sculo XIX foi inventado o motor eltrico e com ele foi possvel fazer funcionar os sistemas mecnicos por meio de motores. 4 fase dispositivos eletrnicos com a inveno da vlvula em 1906, as mquinas de calcular puderam se tornar mais leves pois utilizavam apenas sinais eltricos para o seu funcionamento, associando o 0 no passagem de uma corrente e o 1 passagem da corrente. Assim, passou a ser usado um sistema binrio no lugar de um sistema decimal. As vlvulas, que implicavam em construo de circuitos que ocupam um grande espao, foram sendo substitudas por novas invenes como dispositivos transistorizados at chegar aos nossos dias onde so usados os denominados circuitos integrados que, ocupando pequeno espao tornou possvel a construo de microcomputadores. 5.2 A LGICA BINRIA OU LGEBRA BOOLEANA Se considerarmos um circuito eltrico com uma fonte, chaves liga-desliga e lmpadas, so possveis diversas combinaes entre estes elementos e assim efetuarmos operaes binrias. Isto operaes onde a lmpada ser acesa ou no. Vejamos alguns exemplos: O circuito permite dois resultados: (i) chave aberta (1) fonte lmpada apagada e (ii) chave fechada lmpada acesa. A (2) fonte B A (3) fonte B Operaes possveis: A e B abertas lmpada apagada A aberta e B fechada lmpada apagada A fechada e B aberta lmpada apagada A e B fechadas lmpada acesa. Operaes possveis: A e B abertas lmpada apagada A aberta e B fechada lmpada acesa A fechada e B aberta lmpada acesa A e B fechadas lmpada acesa.

Como ser visto posteriormente, os circuitos acima apresentam propriedades e operaes semelhantes s propriedades da teoria dos conjuntos e lgica das proposies. Podemos ento definir: lgica binria ou lgebra booleana um sistema que opera com dois valores tendo como resultado um destes valores. Na lgebra booleana como na lgebra comum trabalhamos com variveis e operaes. Na lgebra comum o nmero de variveis infinito e as operaes so as j conhecidas: adio, subtrao, multiplicao, diviso, potenciao, radiciao e potenciao. Na lgebra booleana usamse apenas duas variveis que podem ser ABERTO e FECHADO ou FALSO e VERDADEIRO. Em geral, atribuem-se os dgitos 1 a FECHADO (ou VERDADEIRO) e 0 a ABERTO (ou falso). 5

As operaes fundamentais usadas na lgebra booleana so denominadas: (1) NOT no que para a varivel A, se indica A ou A. Esta operao equivale ao complementar do conjunto A na teoria dos conjuntos e ~p na lgebra das proposies. (2) AND e que, para as variveis A e B, se indica A AND B ou A.B. Esta operao equivale interseo de conjuntos na teoria dos conjuntos e p q na lgebra das proposies. (3) OR ou - que, para as variveis A e B, se indica A OR B ou A + B. Esta operao equivale unio de conjuntos na teoria dos conjuntos e p q na lgebra das proposies. 5.3 PRINCPIOS BSICOS DA LGEBRA BOOLEANA Considerando que as variveis A, B e C podem assumir um dos valores 0 ou 1, a lgebra Booleana tem por base os seguintes princpios:
1 2 3 4 5 6 7 8 9 10 11 12 A+B=B+A A + (B + C) = (A + B) + C A+0=A A+A=A A+1=1 A + (B.C) = (A + B).(A + C) Se A = 0 ento A = 1 Se A = 1 ento A = 0 (A) = A A + A = 1 (A + B) = A.B A + (A.B) = A A.B = B.A A.(B.C) = (A.B).C A.1 = A A.A = A A.0 = 0 A.(B + C) = (A.B + A.C) Se A = 0 ento A = 1 Se A = 1 ento A = 0 (A) = A A.A = 0 (A.B) = A+ B A.(A + B) = A Comutatividade Associatividade Neutro Idempotncia elemento absorvente Distributividade Operao NOT Operao NOT Involuo Simtrico De Morgan Absoro

5.4 TABELAS OPERACIONAIS Semelhante s tabelas verdade da Lgica das Proposies, podemos construir as tabelas operacionais para a lgebra booleana. Nestas ltimas os valores lgicos so os dgitos 0 e 1. Estas tabelas so construdas com base nos princpios indicados no item 1.3. TABELA NOT () TABELAS OR (+) e AND (.)
A 1 0 A 0 1 A 1 1 0 0 A 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 B 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 C 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 D 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 B 1 0 1 0 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 A+B 1 1 1 0 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 A.B 1 0 0 0 C+B+D 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1 A.(C+B+D) 1 1 1 1 0 1 1 1 0 0 0 0 0 0 0 0

TABELA A.(C + B + D)
C + B 1 1 1 1 0 0 1 1 1 1 1 1 0 0 1 1

5.5 SIMPLIFICAO DE EXPRESSES

Dependendo da expresso booleana, os circuitos correspondentes podem ser bastante complexos . Usando as propriedades descritas na tabela do item 1.3, pode-se, s vezes, simplificar tais expresses e, em conseqncia, obter circuitos mais simples. Por exemplo: a expresso X = [(A + B).B] pode ser transformada em X = A + B. Temos: X = [(A + B).B] [A.B + B.B] (P6) [A.B + B.B] [A.B + 0] (P10) [A.B + 0] [A.B] P(3) [A.B] (A) + (B) P(11) (A) + (B) A + B (P9). Pela transitividade da equivalncia, conclui-se que [(A + B).B] A + B.

5.6 PORTAS LGICAS Os hardwares de um computador so conjuntos de circuitos eletrnicos simples combinados. Circuitos estes destinados a receber um sinal de entrada (0 ou 1) ou combinao desses sinais, com os quais so realizadas operaes ou funes lgicas e, a partir dessa entrada produzir um sinal de sada. Os circuitos simples so denominados portas lgicas. Esquematizando temos:
entradas E1 E2 En Exemplo S sada 1 0 1

. . .

porta lgica

A tabela a seguir mostra as portas lgicas, o simbolismo matemtico e a representao grfica das mesmas.

XOR (ou exclusivo)

(AB)

Podemos associar diversas portas lgicas para que, dada uma entrada a mesma combine com um conjunto registrador de origem e assim obter um registrador de origem. Veja o exemplo abaixo.

O sinal

indica que no h contato entre os ramos do circuito.

O registrador de origem fornece um determinado sinal que combinado com o sinal da entrada resultar no sinal registrado no destino.

5.7 TABELAS DAS OPERAES LGICAS A lgica das proposies utiliza os valores lgicos VERDADEIRO (V) e FALSO (F). Nas portas lgicas estes valores so equivalentes a 1 e 0, respectivamente. Assim, as tabelas das operaes com as proposies e as tabelas operacionais com as portas lgicas se correspondem. Temos ento:

5.8 ALGUNS EXEMPLOS Sejam calcular a sada X da operao X = A + (B.C) para A = 01101, B = 10011 e C = 11000. 1 passo: B.C = (1,0,0,1,1).(1,1,0,0,0) = (1,0,0,0,0) 2 passo: (B.C) = (0,1,1,1,1) 3 passo A + (B.C) = (0,1,1,0,1) + (0,1,1,1,1) = (0,1,1,1,1). Como pode ser observado A + (B.C) equivale (B.C) para os valores dados. 8

A representao grfica da operao acima :

UNIDADE 4 MTODOS DE RACIOCNIO CAPTULO 6 DEDUO E INFERNCIA LGICA 6.1 INTRODUO Deduo e a induo so formas de raciocinarmos ou mesmo de argumentar, isto , so formas de reflexo. O raciocnio pode ser algo ordenado, coerente, lgico e pode ser dedutivo ou indutivo. Os argumentos dedutivos como os indutivos so fundamentados em premissas. A deduo e a induo so processos que se completam. Consideremos as seguintes seqncias de raciocnio: i) Todo homem mortal. Scrates mortal. Ento, Scrates homem. ii) Seja o trinmio: n2 + n + 17. Se fizermos n = 0, 1, 2, 3, 4 e 5, obtemos: 17, 19, 23, 29, 37, 47. Todos esses resultados so nmeros primos. Poder-se-ia dai concluir que para todo n N, n2 + n + 17 um nmero primo. As duas concluses so evidentemente falsas pois (i) "Scrates pode ser um gatinho" que mortal mas no homem e, (ii) para n = 17, n2 + n + 17 = 17*19 que no primo. A sentena verdadeira para n < 16. Entretanto, raciocnio como estes, desde que seguidas algumas regras, podero ser vlidos. No exemplo (i) partimos de uma afirmao geral para se chegar a uma afirmao particular. Um raciocnio desse tipo chamado de DEDUO. No exemplo (ii) de algumas situaes particulares tentou-se chegar a uma afirmao que poderia ser vlida para todas as situaes. Este tipo de raciocnio denominado INDUO. 6.2 MTODO DEDUTIVO O mtodo dedutivo considerado como o procedimento ideal da cincia goza de grande prestgio desde a poca de Aristteles. As idias de que as explicaes cientficas devem ter uma forma de deduo lgica, teve ampla aceitao. Este mtodo tradicionalmente definido como um conjunto de proposies particulares contidas em verdades universais. O ponto de partida a premissa antecedente que tem valor universal (ou pelo menos assim se admite), e o ponto de chegada a conseqente. A conseqente contm ou afirma um conhecimento particular ou menos geral contido explicitamente na primeira. Da que uma definio simplista do mtodo dedutivo pode ser endossada como segue: "mtodo dedutivo aquele que vai do conhecimento geral para o particular". 9

Na lgebra das proposies, o mtodo dedutivo consiste em demonstrar implicaes (H T) e equivalncias lgicas (H T que equivale provar H T e T H). Podemos aplicar, na implicao, o processo direto que consiste em aceitar a hiptese, usando propriedades ou equivalncias lgicas, comprovar a tese ou o processo indireto que consiste em negar a tese. Neste processo se a negao da tese implicar na negao da hiptese, a proposio ser verdadeira. Este segundo mtodo denominado, reduo ao absurdo. Nas demonstraes aconselhvel converter os conectivos se ento, se e somente se e ou exclusivo nos conectivos e e ou, pois isto facilita as converses de proposies em proposies equivalentes. Lembrando tais converses temos: (1) p q ~p q (2) p q (p q) (q p) (~p q) (~q p) (3) p q ~(p q) ~((~p q) (~q p)) ~(~p q) ~(~q p) (p ~q) (q ~p) Alm dessas equivalncias podemos usar as equivalncias e implicaes abaixo, j provadas por tabelas verdade, (4) c p p (5) t p p (6) c p c (7) t p t (8) p q p (9) p q q (10) p p q (11) q p q. Vejamos algumas aplicaes: (1) Demonstrar que (p q) p q. Demonstrao: (p q) p p (p q) (comutatividade do conectivo ) p (p q) p (~p q) (1) p (~p q) (p ~p) (p q) (distributividade) (p ~p) (p q) C (p q) [(p ~p) uma contradio] C (p q) p q (5) p q q (10). (2) Demonstrar que (p q) ~q ~p Demonstrao: (p q) ~q (~p q) ~q (1) (~p q) ~q (~p ~q) (q ~q) (distributividade) (~p ~q) (q ~q) (~p ~q) C [(q ~q) uma contradio] (~p ~q) C C (~p ~q) (comutatividade) C (~p ~q) (~p ~q) (5) (~p ~q) ~p (9). (3) Demonstrar que (p q) ~p q. Demonstrao: (p q) ~p (p ~p) (q ~p) (distributividade) (p ~p) (q ~p) C (q ~p) [(p ~p) uma contradio] C (q ~p) (q ~p) (5) q ~p ~p (10). 6.3 REGRAS DE INFERNCIA Sejam P1, P2, P3, ... Pn, e Q proposies tais que (P1 P2 P3 Pn) Q, isto (P1 P2 P3 Pn) Q uma tautologia, dizemos que (P1 P2 P3 Pn) um argumento que tem como conseqncia a proposio Q. As proposies P1, P2, P3, ... Pn so denominadas premissas e Q denominada concluso. Um argumento de premissas P1, P2, P3, ..., Pn e concluso Q indicado por P1, P2, P3, ..., Pn que se l: (1) P1, P2, P3, ..., Pn acarretam Q; ou (2) Q decorre de P1, P2, P3, ..., Pn; ou (3) Q se deduz de P1, P2, P3, ..., Pn; ou 10 Q,

(4) Q se infere de P1, P2, P3, ..., Pn; ou (5) de P1, P2, P3, ..., Pn se conclui Q. Definio 1: Um argumento P1, P2, P3, ..., Pn Q vlido se e somente se a concluso Q verdadeira todas as vezes que as premissas P1, P2, P3, ..., Pn so verdadeiras. Definio 2: Um argumento no vlido denominado sofisma.

6.4 ARGUMENTOS BSICOS VLIDOS Apresentamos abaixo uma relao dos principais argumentos vlidos usados tambm chamadas regras de inferncias. Tais argumentos j forma demonstrados atravs de tabelas verdade ou por deduo.

6.5 DEMONSTRAES USANDO AS REGRAS DE INFERNCIAS Para demonstrar a validade de um argumento podemos utilizar tabelas verdades. Entretanto, medida que aumento o nmero de proposies, o mtodo de tabelas pode-se tornar bastante trabalhoso. O uso das regras de inferncias podem tornar estas demonstraes bem mais simples. Na verificao da validade de um argumento comum utilizar o algoritmo abaixo, que mostraremos usando um exemplo. Seja demonstrar a validade de p (q r), p q, p r Inicialmente escrevemos as premissas em coluna: (1) p (q r) P1 (2) p q P2 (3) p P3 Separamos as premissas por um trao horizontal. A seguir, considerando as premissas dadas, aplicam-se as regras de inferncia at obter a premissa que se quer concluir. Dando continuidade temos: (1) p (q r) P1 (2) p q P2 (3) p P3 (4) q r (P1 e P3) aplicando MP 11

(5) q (6) r

(P2 e P3) aplicando MP (4 e 5) aplicando MP.

No se pode esquecer que o argumento pode ser demonstrado a partir da tabela verdade [(p (q r)) (p q) p] r.

REFRENCIAS BIBLIOGRFICAS http://www.cesariof.xpg.com.br/logica/logica.doc http://inf.unisul.br/~ines/workcomp/cd/pdfs/2782.pdf

12