gica Matema tica e Algebra Lo de o Boole: uma Breve Introduc a

Rodrigo Costa Ferreira

Resumo O presente texto realizar a um estudo introdut orio da l ogica matem atica booleana com fulcro nos trabalhos de Boole (2008), Rasiowa (1963: 220) e J onsson e Tarski (1951: 891-939, 1952: 127-162). Ap os motiva c oes hist oricas e los ocas, deniremos formalmente a algebra de Boole conforme Oliveira (2004) e Burris (1981: 129-212), bem como apresentaremos alguns teoremas fundamentais dessa algebra. Na sequ encia, discutiremos como e poss vel por interm edio da algebra de Boole construir uma sem antica alg ebrica apropriada ` a l ogica proposicional cl assica. Ao nal, provaremos os teoremas da corre c ao e da completude a partir da algebra de Lindenbaum, uma esp ecie de algebra de Boole. Palavras-chave: L ogica Proposicional Cl assica; L ogica Matem atica; Algebra de Boole.

Introdu c ao

Se e verdade que os racioc nios e argumentos matem aticos utilizam alguma l ogica ou regras l ogicas de infer encia, n ao e esse o aspecto mais desenvolvido daquilo que modernamente se entende por l ogica matem atica. De certo, esta l ogica progressivamente vem assumindo tamb em um car ater de disciplina matem atica a ` qual n ao s ao estranhas, portanto, as t ecnicas abstratas da matem atica, de forma que alguns armam, com certo excesso, que a l ogica matem atica e mais uma matem atica l ogica do que l ogica matem atica. Contudo, e melhor que se entenda que esses dois aspectos completam-se e enriquecem-se a todo instante, uma vez que a matem atica corrente tem evolu do de modo a se tornar cada vez mais abstrata e rigorosa, aproximando-se, por si mesma, da l ogica1 . A l ogica acha-se intimamente correlacionada com a matem atica. Assim, quando buscamos aproximar a l ogica e a matem atica, pretendemos, t ao-somente
Mestre em L ogica Matem atica pela UFPB, Doutorando em L ogica De ontica pela UFPBUFRN-UFPE, Professor Assistente na Universidade Federal do Semi- arido (UFERSA). E-mail: rocosfer@yahoo.com.br 1 Oliveira (2004: 203).

2 sublinhar que elas se acham correlacionadas entre si de maneira profunda, tanto pelos objetos como pelos seus m etodos. No fundo, uma das causas da aproxima c ao que se vericou, a contar do s eculo XVII e seguintes, entre a l ogica e a matem atica, radica no uso b asico que ambas fazem do m etodo axiom atico e da formaliza c ao2 . De acordo com a tradi ca o, a l ogica matem atica tem in cio nos trabalhos do l osofo e matem atico alem ao Gottfried Wilhelm Leibniz (1646-1716). Tendo compreendido que a l ogica, com os seus termos, proposi co es e silogismos, guarda uma certa semelhan ca com a algebra, a partir da sua De Arte Combinatoria, escrita em 1666, Leibniz procura aplicar a ` l ogica o modelo de c alculo alg ebrico de sua epoca. Nessa obra introdut oria, o l osofo tenta implantar a ambiciosa constru ca o de uma lingua philosophica com characteristica universalis, uma esp ecie de sistema exato e universal de nota c ao concebido para expressar de forma clara o pensamento humano. Em paralelo, prop oe o desenvolvimento de um calculus ratiocinator (c alculo da raz ao), uma esp ecie de c alculo que permitiria inferir, quase que mecanicamente, das premissas (combina co es simb olicas convenientes) representadas na lingua philosophica, por conclus ao, todas as coisas pensadas. Apesar do programa l ogico-matem atico de Leibniz, na forma como foi introduzido no s eculo XVII, n ao ser teoricamente exequ vel, o calculus ratiocinator constituiu um importante precursor na metodologia da l ogica matem atica contempor anea3 . Passados dois s eculos da proposta de Leibniz, a l ogica matem atica tem uma formula ca o formal mais precisa no ano de 1847 com a publica c ao do livro The Mathematical Analysis of Logic de George Boole (1815-1864). Neste trabalho inovador, Boole estabelece a l ogica matem atica como uma esp ecie de c alculo l ogico de classes. No mesmo ano, Augustus De Morgan (1806-1871) publica o tratado Formal Logic no qual desenvolve importantes estudos sobre a l ogica das rela c oes. No ano de 1854, George Boole publica o artigo An Investigation into the Laws of thought on which are Founded the Mathematical Theories of Logic and Probability complementando as teorias do seu livro de 1847. Anos depois, com Ernst Schr oder (1841-1902), no volumoso tratado Vorlesungen u ber die Algebra der Logic publicado no per odo entre 1890 e 1895, as no co es l ogicas booleanas recebem um renamento 4 not avel . Uma abordagem simb olica moderna a ` l ogica matem atica e encontrada nos trabalhos do alem ao Gottlob Frege (1848-1925), em particular no Begrisschrift de 1879 e no Grundgesetze der Arithmetik publicado no per odo entre 1879 e 1903, e nas pesquisas de Giuseppe Peano (1858-1932) com o extenso Formulaire de Math ematiques publicado a partir de 1894. Em suma, o trabalho de Peano almeja expressar toda a matem atica em termos de um c alculo l ogico, ao passo que o trabalho de Frege deriva da necessidade de uma fundamenta c ao mais s olida ` a matem atica. Os trabalhos iniciados por Frege e Peano impulsionam a constru ca o da monumental obra Principia Mathematica publicada entre os anos de 1910 e 1913 por Alfred North Whitehead (1861-1947) e Bertrand Russell (1872-1970). A identica ca o de grande parte da matem atica com a l ogica e a id eia b asica dessa obra. Nessa abordagem, os conceitos e teoremas matem aticos s ao desenvolvidos a partir de id eias l ogicas, come cando com o c alculo das proposi c oes, passando pela teoria das classes e teoria das rela co es. No per odo entre 1934 e 1939 aparece o abrangente
2 3

Para mais detalhes: Newton C. A. da Costa (1994: 19-21). Eves (2004: 669).; Mortari (2001: 33).; e DOttaviano (2008). 4 Para mais detalhes: Kneale (1980: 325-350).

3 Grundlagen der Mathematik de David Hilbert (1862-1943) e Paul Bernays (18881977). O ambicioso programa formalista de Hilbert e Bernays tinha como objetivo fundamentar toda a matem atica mediante a aplica c ao de sistemas formais fundamentados no m etodo axiom atico. Os anos que se sucederam a `s pesquisas de Bernays e Hilbert s ao seguidos por in umeros outros importantes trabalhos em l ogica matem atica, entre os quais, para citar alguns, o artigo Uber Formal Unentscheidbare S atze der Principia Mathematica und Verwandter Systeme I (1931) do matem atico Kurt G odel (1906-1978)5 e os trabalhos On Some Fundamental Concepts of Metamathematics (1930), The Concept of Truth in Formalized Languages (1935), Boolean Algebras with Operators (1952), entre outros, do l ogico polon es Alfred Tarski (1901-1983)6 . Assim, em particular, de modo introdut orio o presente artigo pretende esbo car alguns aspectos formais da l ogica matem atica de Boole. Num primeiro momento (se c ao 2), apresentaremos algumas fundamenta co es los ocas ` a constru ca o da algebra de Boole. Em seguida, em termos formais (se c ao 3), deniremos a estrutura da algebra de Boole e exporemos alguns dos seus teoremas. Num segundo momento (subse c ao 4.1), enunciaremos uma linguagem proposicional L, sendo-lhe xada os s mbolos primitivos, as regras de forma c ao, esquemas de axiomas, a regra de infer encia modus ponens e a consequ encia sint atica: deni c ao de teorema, conceito de demonstra c ao, teorema da dedu ca o. Dene-se, na seq u encia, a sem antica proposicional cl assica. Ao nal, por interm edio da algebra de Lindenbaum o c alculo proposicional apresentado ser a algebrizado, bem como provaremos o teorema da corre ca o e o teorema da completude.

Motiva c oes Filos ocas ` a L ogica de Boole

A l ogica alg ebrica de Boole tem como fundamento a concep c ao intuitiva de classes de objetos . Por exemplo, nesta l ogica um dado produto xy denota uma classe de objetos que pertencem a classe x e a classe y , por outras palavras, se x, por ora, representa a classe dos objetos brancos e y a classe dos ursos, ent ao xy representa a classe dos ursos brancos. Percebe-se, claramente, e de modo interessante, que a lei comutativa xy = yx permanece v alida mesmo quando aplicada a classes de objetos. Mas ser a que deste pequeno fato podemos armar existir uma ntima rela ca o entre as leis da l ogica e da algebra? Vejamos. Na l ogica alg ebrica booleana, nascida da analogia das leis da a lgebra com as leis relativas a `s classes de objetos, a lei xx = x e verdadeira para quaisquer valores de x, uma vez que a classe formada com objetos que pertencem a classe x e a pr opria 2 classe x. Todavia, na algebra essa lei n ao e totalmente v alida. A equa c ao x = x tem apenas duas solu co es, a saber, x = 0 ou x = 1. Tomando esse fato em conta, Boole concluiu que na l ogica alg ebrica s ao v alidas as leis da a lgebra matem atica quando os valores se limitam a 0 e 1. A l ogica booleana interpretou os s mbolos 1 e 0 como classes especiais, de modo que 1 representa a classe de todos os objetos (o universo) e 0 representa a classe a que nenhum objeto perten ca (a classe vazia). Assim, considerando x y uma classe formada com dois objetos da classe x,
Para mais detalhes sobre o metateorema da completude sem antica de G odel e algumas de suas conseq u encias: Kneale (1980: 721-733). 6 Para mais detalhes: Tarski (1956); e J onsson e Tarski (1951: 891-939, 1952: 127-162).
5

4 retirado os objetos da classe y , ent ao, pela nota c ao, 1 x seria a classe constru da por todos objetos (do universo) que n ao fazem parte da classe x. Se de xx = x, por exemplo, subtra rmos de cada membro desta equa ca o x, ter amos x xx = xx x, ou seja, x(1 x) = 0 uma leg tima infer encia; pois se, por exemplo, x e a classe dos homens, ent ao 1 x e a classe dos objetos que n ao s ao homens. Certamente, esse produto deve ser a classe vazia, posto que n ao se pode, ao menos na l ogica cl assica, exisitr um objeto que seja simultaneamente homem e n ao-homem (princ pio da n ao contradi c ao )7 .

Algebra de Boole

Nesta se ca o, deniremos formalmente a algebra de Boole e apresentaremos alguns dos seus teoremas. 1 Uma Algebra DEFINIC AO de Boole B e uma s extupla ordenada B = B, 8 que compreende : (1) um conjunto n ao-vazio: B; (2) duas opera c oes bin arias sobre B: (3) um operador un ario sobre B: ; (4) dois elementos distintos de B: 0 e 1; Ademais, para quaisquer {x, y, z } B, vale o seguinte: (AxB 1) Comutatividade. Para todo {x, y } B, temos x y=y x; , ; , , , 0, 1

(AxB 2) Comutatividade. Para todo {x, y } B, temos x y=y x;

(AxB 3) Distributividade. Para todo {x, y, z } B, temos x (y z ) = (x y) (x z );

(AxB 4) Distributividade. Para todo {x, y, z } B, temos x (y z ) = (x y) (x z );

(AxB 5) Identidade. Para todo {x, 0} B, temos x 0=0 x = x;

(AxB 6) Identidade. Para todo {x, 1} B, temos

Para mais detalhes: Boole (2008); Anderson (1962: 260-277); e Burris (1981: 129-212). Para mais detalhes: Boole (2008). Textos consultados: Anderson (1962: 260-277); e Burris (1981: 129-212).
8 7

5 x 1=1 x = x;

(AxB 7) Complementariedade. Para todo x B, temos x x = 1;

(AxB 8) Complementariedade. Para todo x B, temos x x = 0.

Uma a lgebra de Boole e dita degenerada quando os elemento neutros para as opera c oes e s ao iguais, isto e, 0 = 1. Consideremos, aqui, apenas algebras n ao degeneradas (0 = 1). S ao teoremas da Algebra de Boole: (T1) Princ pio da Dualidade. Todo resultado dedut vel dos axiomas da a lgebra de Boole permanece v alido se nele trocamos por e 0 por 1, e vice-versa. (T2) Indempot encia. Para todo x em B, x (T3) Identidade. Para todo x em B, x x=x e x x = x;

0=0 e x y)

1 = 1; y) x = x; y) z e

(T4) Absor c ao. Para todo x, y e z em B, (x

x = x e (x (y

(T5) Associatividade. Para todo x, y e z em B, x x (y z ) = (x y ) z ; (T6) Maximum. Para todo x em B, x 1; (T7) Minimum. Para todo x em B, x 0;

z ) = (x

(T8) Duplo Complemento. Para todo x em B, (x) = x; (T9) Leis de De Morgan. Para todo x e y em B, (x (x y ) = x y . y ) = x y e

4
4.1
4.1.1

C alculo Proposicional Cl assico e a Algebra de Boole

Sintaxe da L ogica Proposicional
Linguagem e Axiom atica

2 Linguagem do c DEFINIC AO alculo proposicional cl assico. A linguagem proposicional do C alculo Proposicional Cl assico (CPC) ser a denotada por L. Os s mbolos primitivo de L s ao os seguintes: (1) Vari aveis proposicionais: A, B, C, ...; (2) Conectivos l ogicos: , ; (3) S mbolos de pontua c ao: ( , ).

6 3 Regras de forma DEFINIC AO c ao. Dada uma linguagem proposicional L, dizemos que CPC: (1) uma vari avel proposicional e uma f ormula bem formada (fbf ); (2) se A e uma fbf, ent ao A tamb em o e; (3) se A e B s ao f ormulas bem formadas (fbfs), ent ao (A B ) e uma fbf; (4) somente as f ormulas constru das segundo os itens acima s ao fbfs. Podemos acrescentar outros conectivos l ogicos mediante deni ca o; assim () A B =def (A B ); () A B =def (A B ). N os usaremos a conven ca o padr ao de escrever as f ormulas sem os par enteses mais exteriores e onde n ao houver ambiguidade, como se encontra em qualquer livro texto de l ogica. O conjunto de todas as f ormulas proposicionais no FOR; subconjuntos de f ormulas ser ao denotados por e . 4 Axiomas. Dentre as fbfs, s DEFINIC AO ao esquemas de axiomas do CPC: (Ax 1) A (B A); (Ax 2) (A (B C )) ((A B ) (A C )); (Ax 3) (B A) ((B A) B ). 5 Regra de infer DEFINIC AO encia: Modus Ponens (MP). Admite-se para o CPC a regra: A, A B / B. 4.1.2 Consequ encia Sint atica

6 Demonstra DEFINIC AO c ao. Uma demonstra c ao de A no CPD e uma sequ encia nita de fbfs na linguagem L, do tipo A1 , ..., Ai , ..., An para todo i tal que 1 i n: (1) Ai e axioma, ou; (2) Ai e uma consequ encia imediata de fbfs precedentes, pela regra de infer encia MP; (3) An = A. 7 Teorema. A DEFINIC AO e um teorema no CPC se, e somente se, existir uma demonstra c ao de A no CPC; escreve-se A. Se A n ao e um teorema no CPD, escreve-se A. 8 Dedu DEFINIC AO c ao a partir de . Uma dedu c ao de A a partir de e uma seq u encia nita de f ormulas bem formadas na linguagem L, do tipo A1 , ..., Ai , ..., An , para todo i tal que 1 i n, em que cada Ai satisfaz uma das seguintes condi c oes:

7 (1) Ai e um axioma, ou; (2) Ai pertence a , ou; (3) Ai e obtida de fbfs anteriores na seq u encia, pela regra de infer encia MP; (4) An = A. 9 Dedu DEFINIC AO c ao a partir de . Uma dedu c ao de A a partir de e uma sequ encia nita de fbfs na linguagem L, do tipo A1 , ..., Ai , ..., An , para todo i tal que 1 i n, em que cada Ai satisfaz uma das seguintes condi c oes: (1) Ai e um axioma, ou; (2) Ai pertence a , ou; (3) Ai e obtida de fbfs anteriores na sequ encia, pela regra de infer encia MP; (4) An = A. 10 Consequ DEFINIC AO encia sint atica. A e uma consequ encia sint atica de se, e somente se, A e uma fbf numa dedu c ao a partir de . Escreve-se A. Sendo vazio, em lugar da nota c ao A, escreve-se A. TEOREMA 1 Teorema da dedu c ao. Se , A Prova. Mendelson (1997: 37-40). 4.1.3 Sem antica Proposicional Cl assica B , ent ao A B.

11 Dada uma linguagem proposicional L para o CPC, a valora DEFINIC AO c ao v e uma aplica c ao do conjunto de todas as f ormulas proposicionais FOR no conjunto dos valores l ogicos , , isto e, v e uma fun c ao do tipo v : FOR 2, conhecida como fun c ao-verdade, que atribui a cada f ormula proposicional um valor de verdade (falso) ou (verdadeiro), calculado em decorr encia da matriz l ogica de cada conectivo. Nestes termos, v satisfaz as seguintes condi c oes: () v (A) = () v (A B ) = () v (A B ) = () v (A B ) = se, e somente se, v (A) = ; se, e somente se, v (A) = ou v (B ) = ; ; ;

se, e somente se, v (A) = v (B ) =

se, e somente se, v (A) = ou v (B ) =

N os dizemos que uma f ormula A e v alida, ou tautologia, se, e somente se, para toda valora ca o v , v (A) = . Mediante tabelas de verdade, pode-se vericar se uma determinada f ormula do CPC e v alida ou n ao. Um modo muito interessante de prover outra sem antica para o CPC e mediante o uso de ferramentas alg ebricas. Isso e feito na pr oxima subse ca o.

4.2

Sem antica Alg ebrica Booleana

Um modo muito interessante de prover uma sem antica para o C alculo poss Proposicional Cl assico (CPC) e mediante o uso de ferramentas alg ebricas. E vel, sob dadas circunst ancias (RASIOWA, 1963: 220), determinar um homomorsmo entre a algebra das f ormulas proposicionais do CPC ( FOR, , , , , ) e a algebra de Lindenbaum ( FOR/ , , , , 0, 1 , com um conjunto quociente de to das as fbfs proposicionais munido de duas opera c oes bin arias ( e ) associativas e comutativas, um operador un ario (), dois elementos distinguidos (0 e 1) e determinadas condi co es axiom aticas), isto e, verica-se a correspond encia entre as leis da l ogica proposicional cl assica e as leis da algebra de Boole. Vejamos. Para FOR dene-se a seguinte rela c ao de equival encia : A B se, e somente se, AB e B A.

Dada rela ca o de equival encia denida acima, podemos agora realizar a parti ca o de FOR, de modo a construir um conjunto quociente deste. O conjunto quociente de FOR e dado como

FOR/ = {[A] | A FOR},

no qual a classe de equival encia de A e [A], isto e, [A] = {B FOR | A B } . Forma-se, assim, uma parti c ao disjunta de FOR em classes de equival encias. Em FOR/ e poss vel denir a seguinte rela ca o: [A] [B ] se, e somente se, A em B,

FOR. Como denida, e uma ordem parcial em FOR/ :

A; BeB BeB A; C,

(1) e reexiva: [A] [A]; isto e, A

(2) e sim etrica: se [A] [B ] e [B ] [A], ent ao, por deni ca o, A segue-se que A B e, assim, [A] = [B ]; (3) e transitiva: se [A] [B ] e [B ] [C ], ent ao, por deni c ao, A segue-se que A C ; logo, [A] [C ].

1 Algebra PROPOSIC AO de Lindenbaum. A partir da algebriza c ao do CPC B= e poss vel denir a estrutura A(B ) =

FOR,

, , , , ,

FOR/,

, , 0, 1 ,

chamada de algebra de Lindenbaum para a l ogica proposicional cl assica. A(B ) e uma algebra de Boole que admite as seguintes opera c oes de classes: (1) Complemento de classes. [A] = [A];

9 (2) Reuni ao de classes. [A] [B ] = [ A B ]; [B ] = [A B ];

(3) Interse c ao de classes. [A]

(4) Classes das contradi c oes. 0 = [A A]; (5) Classes das tautologias. 1 = [A A]; Prova. As proposi c oes (1) (6) s ao justicadas como segue-se: (1) : [A] [B ] se, e somente se, [A] [B ] = [B ] (I). Por outro lado, A B se, e somente se, A B B (II). A equa c ao (II) pode ser redenida em FOR/ como [AB ] = [B ] (III). Logo, aplicando (III) em (I), temos [A] [B ] = [AB ]; (2) : Dual a (1); (3) : [A] [A] se, e somente se, [A] [A] = [A] em FOR/ . Se [A] = [A], ent ao de [A] [A] = [A] temos [A A] = [A] pela proposi ca o (1). Como em FOR ocorre A A se, e somente se, A A A, logo [A] = [A]; (4) : 1. A A A A 2. [A A] = [A A] 3. [A A] = [A] [A] 4. [A A] = [A] [A] 5. [A A] = 0 (5) : Dual a (4). TEOREMA 2 [A] = 1 se, e somente se, A. em FOR em FOR/ pela proposi ca o (2) pela proposi ca o (3) pelo AxB 8

Prova9 . Se [A] e a classe de uma f ormula numa a lgebra A(B ), uma algebra de Boole, que e equivalente a ` classe da unidade 1 de A(B ), ent ao A e um teorema do c alculo proposicional. Assim, [A] = 1 se, e somente se, A. Ou seja, temos A, desde que A(B ) tenha identicado o elemento 1, isto e, [A] = 1. Como 1. A Hip otese 2. A (B A) Ax 1 3. A ((A A) A) substitui c ao em 2 4. (A A) A MP em 1 e 3, ent ao (A A) A e [A A] [A]. Em l ogica cl assica temos a seguinte equival encia A A A A. Logo, a express ao [A A] [A] pode ser redenida como [A A] [A], ou seja, pela Proposi c ao 83 (5), temos [A] 1. Dado tamb em que 1. A (B A) Ax 1 2. A (A A) substitui c ao em 1 ent ao A (A A) e [A] [A A]. Como em l ogica cl assica temos a seguinte equival encia A A A A, podemos representar a express ao [A] [A A] como [A] [A A], ou seja, pela Proposi c ao 1 (5), temos 1 [A].
O presente resultado est a relacionado diretamente com a sem antica de valora c oes, tomando-se = 1 e = 0. Este teorema diz que uma f ormula e demonstr avel se sua classe de equival encia for id entica ` a classe 1 numa algebra de Boole. Como veremos adiante, o resultado geral e que uma f ormula e demonstr avel se, e somente se, for tautologia (ou v alida).
9

10 Temos, ao nal, dado o exposto, [A] = 1. Como vimos, com a algebra de Lindenbaum podemos estabelecer uma rela ca o entre a algebra de Boole (B ) e a l ogica proposicional cl assica. Para tanto, associamos, por exemplo, a cada f ormula bem formada at omica A do c alculo proposicional cl assico uma classe de equival encia [A] que, por sua vez, corresponde a um membro da a lgebra booleana A(B ). Opera c oes numa a lgebra booleana podem ser usadas para generalizar a sem antica da l ogica proposicional cl assica de forma que [A] = v (A), isto e, escrito de outra forma, x = [A] = v (A), na qual x e um membro de uma algebra de Boole. 12 Uma fbf A do c DEFINIC AO alculo proposicional cl assico e v alida numa algebra de Boole se, e somente se, para toda valora c ao v , temos v ([A]) = 1, noutras palavras, se, e somente se, para toda v (A) = . Portanto, ` a luz do exposto, e poss vel construir uma sem antica alg ebrica para a l ogica proposicional cl assica por interm edio da algebra de Boole, desde que para uma dada linguagem proposicional do CPC a ` valora ca o v de f ormulas proposicionais bem formadas, compostas por A e B , por exemplo, seja associada elementos ca as seguintes condi co es: do tipo [A] e [B] de B da a lgebra B , de forma que v satisfa () v (A) = [A]; () v (A B ) = [A] () v (A B ) = [A] () v (A B ) = [A] [B ]; [B ]; [B ].

A seguir, mostraremos que o c alculo proposicional e correto, ou seja, que todos os seus teoremas s ao v alidos na sem antica alg ebrica sugerida. TEOREMA 3 Teorema da corre c ao. Se A, ent ao B |= A.

Prova. Para demonstrarmos o teorema da corre c ao, e necess ario mostrarmos que todos os esquemas de axiomas da l ogica proposicional (i) (iii) s ao v alidos, e que a regra modus ponens (iv) preserva a validade na sem antica proposta. Neste sentido, teremos: (i) (Ax 1) A (B A) Prova (i). 1. 2. 3. 4. 5. x (y x) x (x y ) (x x) y 1 y 1 por Def. AxB 2 AxB 5 AxB 9 T2

(ii) (Ax 2) (A (B C )) ((A B ) (A C )); Prova (ii). 1. [x (x z )] [(x y ) (x z )] 2. [x (x z )] [(x y ) (x z )] por Def. T5 e T4

11 3. [x (x z )] [(x (x z )) (y (x z ))] 4.[x (x z )] [((x x) z ) ((y x) z ))] 5.[x (x z )] [(1 z ) ((y x) z ))] 6.[x (x z )] [1 ((x (y z ))] 7.[x (x z )] [x (y z )] 8. 1 (iii) (Ax 3) (B A) ((B A) B ). Prova (iii). 1. 2. 3. 4. 5. 6. 7. ( y (y x) (y x) (y x) (y x) (y x) 1 x) ( y x) y (y x) y (y x) y (y y ) (y x) 1 (y x) (y x) por Def. T4 T5 AxB 2 e AxB 4 AxB 9 AxB 8 AxB 9 B. AxB 4 T3 AxB 9 e AxB 2 T2 e T3 AxB 8 AxB 9

(iv) Regra de infer encia modus ponens. A, A B

ca o tal que v (A) = x = 1 e v (A B ) = 1, Prova (iv). Seja v uma valora devemos provar que v (B ) = 1. 1. 2. 3. 4. x y = 1 1 y = 1 0 y=1 y=1 por Def. subs. x por 1 T6 AxB 5

Provada a corre c ao do c alculo proposicional, passaremos ` a completude deste, provando que toda f ormula v alida, segundo a sem antica alg ebrica proposta, e um teorema do c alculo proposicional cl assico. TEOREMA 4 Teorema da completude. Se B |= A, ent ao A.

Prova. Pelo Teorema 2, provamos que [A] = 1 se, e somente se, A. A express ao [A] = 1 pode ser redenida como [A] = [A A], pela Proposi c ao 1 (5). A express ao anterior pode ser escrita, ainda, como [A] = [A] [A], segundo a Proposi c ao 1 (1)-(3). Valorando ambos os membros, temos v ([A]) = v ([A] [A]), isto e, v (A) = . Por conseguinte, v (A) = se, e somente se A, ou seja, de modo particular, se B |= A, ent ao A.

Refer encias
1. Anderson, John M.; Johnstone, Henry W. Natural deduction: the logic basis of Axiom Systems. Clifornia: Wadsworth, 1962.

12 2. BOOLE, George. The mathematical Analysis of logic: being an essay toward a calculus of deductive reasoning. Dispon vel em: < http://www. archive.org/details/mathematicalanal00booluoft.> Acesso em: 10 de mar co de 2008. 3. BURRIS, S; SANKPPANAVAR, H. P. A course in universal algebra. New York: Springer-Verlag, 1981. 4. DA COSTA, N. C. A. Ensaios sobre os fundamentos da l ogica. S ao Paulo: Hucitec, 1994. 5. DAGHLIAN, Jacob. L ogica e algebra de Boole. S ao Paulo: Atlas, 1994. 6. DOTTAVIANO, L. M. Itala e FEITOSA, A. H ercules. Sobre a hist oria da l ogica, a l ogica cl assica e o surgimento das l ogicas n ao-cl assicas. Dispon vel em: < ftp://ftp.cle.unicamp.br/pub/arquivos/educacional/ArtGT. pdf >. Acesso em: 30 de junho de 2008. 7. EVES, Howard. Introdu c ao ` a hist oria da matem atica. Trad. Higyno H. Domingues. S ao Paulo: Editora da UNICAMP, 2004. 8. KNEALE, W. e KNEALE, M. O Desenvolvimento da L ogica. Trad. M. S. Louren co. Lisboa: Funda ca o Calouste Gulbenkian, 1980. 9. MENDELSON, E. Introduction to Mathematical Logic. New Jersey: Van Nostrand Company, 1997. 10. JONSSON, B. e TARSKI, A. Boolean algebras with operators in American Journal of Mathematics, I - II, 73, 74, 1951: 891-939, 1952: 127-162. 11. MORTARI, Cezar A. Introdu c ao ` a l ogica. S ao Paulo: Unesp, 2001. 12. OLIVEIRA, A.J.F. L ogica e aritm etica. Bras lia: Unb, 2004. 13. RASIOWA, H.; SIKORSKI, R. The mathematics of metamathematics. Warszawa: Pa nstwowe Wydawnictwo Naukowe - Polish Scientic, 1963. 14. TARSKI, A. Logic, semantics, metamathematics. Trad. J. H. Woodger. Oxford: Clarendon Press, 19656.