Lgica Aristotlica

Aristteles considerado o fundador da lgica formal por ter determinado que a validade lgica de um raciocnio depende somente de sua forma ou estrutura, e no de seu contedo. Introduziu a anlise da quantificao dos enunciados e das variveis, realizou o estudo sistemtico dos casos em que dois enunciados implicam um terceiro, estabeleceu o primeiro sistema dedutivo ou silogstico e criou a primeira lgica modal, que, ao contrrio da lgica pr-aristotlica, admitia outras possibilidades alm de "verdadeiro" e "falso". No sculo II da era crist, as obras de Aristteles sobre lgica foram reunidas por Alexandre de Afrodsia sob a designao geral de rganon. Inclui seis tratados, cuja seqncia corresponde diviso do objeto da lgica. Estuda as trs operaes da inteligncia: o conceito, o juzo e o raciocnio. Conceito a mera representao mental do objeto. Juzo um ato mental de afirmao ou de negao de uma idia a respeito de outra, isto , da coexistncia de um sujeito e um predicado. Raciocnio a articulao de vrios juzos. O objeto prprio da lgica no o conceito nem o juzo, mas o raciocnio, que permite a progresso do pensamento. Em outras palavras, no h pensamento estruturado quando se consideram idias isoladas. Em Per hermeneas (Da interpretao), um dos tratados do rganon, Aristteles estuda a proposio, que a expresso verbal do juzo. O juzo verdadeiro quando une na proposio o que est unido na realidade, ou separa, na proposio, o que est realmente separado. A verdade , assim, a adequao ou a correspondncia entre o juzo e a realidade. Esse tratado procura principalmente determinar as oposies possveis entre as proposies. A partir do juzo de existncia ou de realidade, considerado primordial, Aristteles estabelece as seguintes modalidades de oposio e de negao: o animal ; o animal no ; o noanimal ; o no-animal no . As proposies simples apresentam as mesmas modalidades. Outro tipo de proposies admite maior nmero de modalidades: o homem mortal; o homem no mortal; o homem no-mortal; o homem no no-mortal; o no-homem mortal; o no-homem no mortal etc. Os juzos se dividem de acordo com a qualidade, a quantidade, a relao e a modalidade. Quanto qualidade, podem ser afirmativos ou negativos. Os afirmativos sustentam a convenincia do predicado ao sujeito (o homem racional), enquanto os negativos sustentam a no convenincia entre eles (o homem no imortal). De acordo com a quantidade, os juzos podem ser de trs tipos: universais, quando o sujeito tomado em toda sua extenso (todo homem mortal); particulares, quando o sujeito tomado em parte de sua extenso (alguns homens so brasileiros); e individuais ou singulares, situaes em que o sujeito tomado no mnimo de sua extenso (Aristteles filsofo). Com relao quantificao do sujeito, distingue-se a compreenso, que o contudo do conceito, e a extenso, que indica a quantidade de objetos aos quais o conceito se aplica. Quanto maior for o contedo, ou conjunto de atributos caractersticos do conceito, menor ser a extenso. Por exemplo, o conceito "mesa" abrange todos os membros da classe. Quando se acrescenta o atributo "branca", aumenta-se a compreenso, mas limita-se a quantidade de mesas individuais a que se refere e diminui-se a extenso. Do ponto de vista da relao, os juzos se distinguem em categricos, hipotticos e disjuntivos. No juzo categrico, o enunciado independe de condies (Aristteles grego); no hipottico, condicional (se fizer bom tempo, sairemos); no disjuntivo, tambm condicional, a condio est na prpria predicao (o objeto real fsico ou psquico).

De acordo com a modalidade, os juzos podem ser assertricos, problemticos e apodcticos. No juzo assertrico, a validade do enunciado de fato e no de direito (o livro est aberto, mas poderia estar fechado); no problemtico, a validade apenas possvel (talvez as injustias sejam reparadas); no apodctico a validade necessria e de direito, e no de fato (dois mais dois so quatro). Raciocinar, em lgica, significa estabelecer uma relao necessria entre duas proposies ou enunciados. No tratado Analysis prt (Primeiras analticas), terceira parte do rganon, Aristteles estuda o silogismo, cuja doutrina criou, para estabelecer as condies fundamentais do conhecimento cientfico. O silogismo "um argumento do qual, admitidas certas coisas, algo diferente resulta necessariamente de sua verdade, sem que se precise de qualquer outro termo". Aristteles distingue o silogismo, ou deduo, da induo. A deduo vai do universal ao particular, e a induo do particular ao universal. Mesmo assim, compreende que a induo no fundo silogstica. No tratado do rganon intitulado Anlysis deutera (Segundas analticas), Aristteles estuda a demonstrao e a definio. A propsito, indica os temas possveis da investigao cientfica: (1) o que a palavra significa; (2) o que o objeto correspondente ; (3) qual a essncia desse objeto; (4) quais so suas propriedades; (5) por que tem essas propriedades. Assim, o mtodo cientfico comea com a determinao de um objeto conhecido apenas pelo nome, e prossegue com a determinao da essncia e da existncia do objeto. A demonstrao um silogismo cientfico cujas premissas devem ser verdadeiras, primeiras, indemonstrveis e mais inteligveis do que a concluso e a causa da concluso. Os princpios, ou pontos de partida do conhecimento cientfico, so os axiomas e as teses das diversas cincias, subdivididas em hipteses e definies. Acrescentam-se ainda os postulados que, ao contrrio dos tipos de proposio mencionados, s devem ser admitidos depois de demonstrados. A cincia consiste no encadeamento lgico das proposies que, tomadas isoladamente, no poderiam ser conhecidas como verdadeiras. A rigor, a demonstrao trata de evidenciar, por meio de mediaes sucessivas, o que inicialmente admitido como simples hiptese ou suposio. Alm da demonstrao ou da prova, Aristteles admite, como forma de conhecimento, os primeiros princpios, que excluem a demonstrao. Perguntar o que alguma coisa perguntar qual a essncia dessa coisa, e responder pergunta expor essa essncia em sua definio. Aristteles classifica trs espcies de definio: a indemonstrvel (a unidade em aritmtica, por exemplo); a definio causal ou real; e a definio nominal. A propsito da definio da espcie, recomenda: (1) s tomar como caractersticas de espcie os atributos que pertencem a sua essncia; (2) apresentar os atributos em ordem, do determinvel ao determinando; (3) dar as indicaes necessrias para distinguir o definido de tudo o que dele difere. A obedincia a essas regras permitir definir, pela indicao do gnero prximo e da diferena especfica, determinaes que, por hiptese, devem conter a essncia do objeto definido. Por consistir numa reduo evidncia, a demonstrao implica a apreenso dos primeiros princpios, indemonstrveis. No processo que conduz da percepo cincia, Aristteles v que o primeiro momento a memria ("persistncia da percepo") e o seguinte a experincia, que a lembrana das percepes dos mesmos objetos e a abstrao daquilo que apresentam em comum. A passagem do particular ao universal possvel porque o que se percebe no objeto particular no o que o particulariza, mas os caracteres que tem em comum com objetos semelhantes. Ao ascender a universais cada vez mais extensos, chega-

se, pela razo intuitiva, aos primeiros princpios da cincia, os axiomas, as definies, os postulados e as hipteses. Segundo Aristteles, por induo que se aprendem os primeiros princpios, pois assim que a percepo produz o universal.

A relao entre as proposies acontece da seguinte maneira:

Proposies Contraditrias: quando se diz que Todo S P e Alguns S no so P ou Nenhum S P e Alguns S so P Proposies contrrias: quando se diz que Todo S P e Nenhum S P ou Alguns S so P e Alguns S no so P Subalternas: quando se diz que Todo S P e Alguns S so P ou Nenhum S P e Alguns S no so P

O silogismo, portanto, o estudo da correo (validade) ou incorreo (invalidade) dos argumentos encadeados segundo premissas das quais licito se extrair uma concluso. Sua validade depende da Forma e no da verdade ou falsidade das premissas. Desse modo, possvel distinguir argumentos bem feitos, formalmente vlidos, dos falaciosos, ainda que a aparncia nos induza a enganos. Por exemplo: P1 - Todo homem mortal (V) P2 - Scrates homem (V) C - Logo, Scrates mortal (V). O argumento vlido no porque a concluso verdadeira, mas por estar no modelo formal: AB CA Logo, B C

Outro exemplo: P1 Todos os mamferos so mortais (V) P2 Todos os ces so mortais (V) C Logo, todos os ces so mamferos (V). Ora, embora as premissas e a concluso sejam verdadeiras, no houve inferncia, j que por no estarem formalmente adequadas, as premissas no tm relao com a concluso. Formalmente o argumento A B CB

Logo, A C, argumento falacioso, j que o termo mdio no faz ligao entre os outros termos. So vrias as combinaes, o importante atentar para a forma. dela que se pauta a lgica.

TEOREMAS DA ALGEBRA DE BOOLE

A lgebra de Boole um conjunto de postulados e operaes lgicas com variveis binrias desenvolvido pelo matemtico e filsofo ingls George Boole (1815-1864). As operaes bsicas dos circuitos digitais so fundamentadas nos seus conceitos, que inclusive guardam alguma (mas no total) semelhana com a lgebra comum dos nmeros reais. Esta pgina apresenta algumas informaes de forma resumida, sem entrar em detalhes como demonstraes de teoremas e identidades. Alguns outros conceitos e procedimentos relativos lgebra de Boole so vistos ao longo das pginas sobre circuitos lgicos.

Variveis e operadores bsicos

Variveis Uma varivel booleana representa um dgito binrio, ou seja, s pode ter os valores 0 ou 1. No conceito matemtico, o domnio dessa varivel pode ser definido como o conjunto B = {0, 1} Portanto, se X uma varivel booleana, X B.

So comuns, para os valores 0 e 1, as designaes falso e verdadeiro, respectivamente. Uma varivel booleana pode ter mais de um dgito binrio. Nesse caso, seu domnio pode ser dado por todas as combinaes possveis de valores 0 e 1 dos dgitos. Exemplo: uma varivel de 8 bits (algumas vezes denominada palavra de 8 bits) permite 28 = 256 combinaes. Operaes bsicas As operaes fundamentais da lgebra de Boole tm semelhana com operaes aritmticas comuns, inclusive alguns smbolos so idnticos, mas no so necessariamente coincidentes: 1) Operao OU similar adio comum, mas a correspondncia no plena. Smbolo usual o mesmo da adio. Exemplo (l-se X igual a A ou B): X=A+B Outro smbolo, comum em linguagem de programao, a barra vertical: X=A|B 2) Operao E similar multiplicao comum e h correspondncia, como poder ser visto adiante. Smbolo usual o mesmo da multiplicao. Exemplo (l-se X igual a A e B):

X=AB Muitas vezes, tambm de forma semelhante lgebra comum, o sinal de ponto suprimido: X = AB O caractere e comercial (&) usado em algumas linguagens: X=A&B 3) Operao NO Tambm denominada negao ou complemento, pode ser considerada similar ao negativo da lgebra comum. Entretanto, no h correspondncia plena porque a lgebra de Boole no usa sinal negativo. Smbolo usual uma barra acima (ou antes) da varivel. Exemplo (l-se X igual a no A): X=A Alguns outros smbolos so sinal de exclamao e apstrofo: X = !A X = A'

Postulados e algumas identidades Os postulados da lgebra de Boole definem os resultados das operaes bsicas informadas no tpico anterior. 1) Postulados da operao OU 0 0 1 1 + + + + 0 1 0 1 = = = = 0 1 1 1

Algumas referncias escrevem postulados da adio. Mas a adio booleana, no equivale plenamente adio comum porque, para esta ltima, 1 + 1 deve ser 0. 2) Postulados da operao E 0 0 1 1 0 1 0 1 = = = = 0 0 0 1

Em algumas referncias, so denominados postulados da multiplicao. H equivalncia plena com a multiplicao comum. 3) Postulados da operao NO

0=1 1=0 Omitindo as demonstraes, algumas identidades podem ser deduzidas a partir dos postulados acima: 4) Da operao OU X X X X + + + + 0=X 1=1 X=X X=1

5) Da operao E X X X X 0=0 1=X X=X X=0

6) Da operao NO X=X A relao acima sugere uma semelhana com o negativo da lgebra usual, pois (x) = x.

Algumas propriedades e teoremas 1) Propriedade comutativa A+B=B+A AB=BA 2) Propriedade associativa A + (B + C) = A + (B + C) = A + B + C A (B C) = A (B C) = A B C 3) Propriedade distributiva A (B + C) = AB + AC 4) Teoremas de Morgan A+B=AB AB=A+B

5) Outras igualdades A + AB = A A + AB = A + B (A + B) (A + C) = A + BC

Funo booleana e tabela de verdade Uma funo matemtica genrica de um conjunto X para um conjunto Y, f:X Y, pode ser entendida como uma regra que define um elemento nico y Y para cada elemento x X. A notao prtica mais comum y = f(x). Pode-se tambm dizer que a funo faz um mapeamento de x para y. O conjunto X denominado domnio da funo e o conjunto Y o seu codomnio. Seja agora o conjunto das variveis booleanas B = {0, 1}. Se existem n variveis, o conjunto de todas as combinaes possveis simbolizado por Bn (

produto cartesiano). Tabela 01 Uma funo booleana o conjunto de todas as funes que fazem o mapeamento de m variveis de entrada para n variveis de sada: f: Bm Bn Na prtica, pode-se dizer que uma funo que estabelece uma relao entre um conjunto de m variveis de entrada com um conjunto de n variveis de sada. Desde que os valores das variveis so discretos (apenas 0 e 1), o mapeamento da funo pode ser apresentado em forma tabular, denominada tabela de verdade da funo. O quadro Tabela 01 d um exemplo para trs entradas e duas sadas.

Exemplos

A mais importante lgebra Booleana tem apenas 2 elementos, 0 e 1, e definida pelas regras 0 1 0 0 0 1 0 1 0 1 0 0 1 1 1 1

Isso tem aplicao em lgica, onde 0 interpretado como "falso", 1 "verdadeiro", "e", "ou", e "no". Expresses envolvendo variveis e operaes Booleanas representam formas de indicaes, e as tais duas expresses podem ser mostradas para ser usadas igualmente utilizando o axioma acima se e somente se as formas indicadas correspondentes forem equivalentes lgicos. A lgebra Booleana de dois elementos tambm utilizada no projeto de circuitos em engenharia eltrica; aqui 0 e 1 representam os dois diferentes estados de um bit em um circuito digital, tipicamente alta e baixa voltagem. Os circuitos so descritos por expresses contendo variveis, e as tais duas expresses so iguais para todos os valores das variveis se e somente se o circuito correspondente tiver o mesmo comportamento de entrada-sada. Alm disso, cada possibilidade do comportamento de entrada e sada pode ser modelada pela expresso Booleana apropriada. A lgebra booleana binria tambm importante na teoria geral de lgebras booleanas, porque uma equao envolvendo diversas variveis verdadeira em todas as lgebras booleanas se e s se verdadeira na lgebra booleana de dois elementos. Isto pode, por exemplo, ser usado para mostrar que os seguintes teoremas (Teoremas de consenso) so vlidos em todas as lgebras booleanas em geral:

(a b) (a c) (b c) = (a b) (a c) (a b) (a c) (b c) = (a b) (a c)

O conjunto das partes de um conjunto S forma uma lgebra booleana com as operaes = unio e = interseco. O menor elemento 0 o conjunto vazio e o maior elemento 1 o prprio conjunto S.

O conjunto dos subconjuntos finitos ou co-finitos de um conjunto S, com as operaes de unio e interseo uma lgebra Booleana.

== Homomorfismos e isomorfismos == guilherme luis castor Um homomorfismo entre as lgebras Booleanas A e B uma funo f: A B tal que para todos a, b em A: f(a b) = f(a) f(b) f(a b) = f(a) f(b) f(0) = 0 f(1) = 1 Segue-se que f(a) = f(a) para todo a em A. A classe de todas as lgebras Booleanas, com esta noo de morfismo, forma uma categoria. Um isomorfismo de A para B um homomorfismo bijetivo de A para B. O inverso de um isomorfismo ainda um isomorfismo, e chamamos as duas lgebras Booleanas A e B de isomorfas. Do ponto de vista da teoria das lgebras Booleanas, elas no podem ser distinguidas entre si; somente diferem na notao de seus elementos.

Cetep
DATA: 07/03/12 ALUNO: GENEILTON SANTOS LIMA PROF : ELSIVAL CHAGAS

TRABALHO EM EQUIPE
SEMINRIO

ASSUNTO:

LGICA ARISTOTLICA TEOREMAS DA ALGEBRA DE BOOLE