3

1 INTRODUO

A lgebra booleana, como qualquer outro sistema matemtico dedutvel, pode ser definido como um conjunto de elementos, de operadores, um nmero de axiomas ou postulados no provados. Os postulados de um sistema matemtico so as suposies, ou consideraes bsicas a partir das quais possvel deduzir as regras, os teoremas e as propriedades do sistema. A lgica comeou a desenvolver-se com Aristteles (384-322 a.C.) e os antigos filsofos gregos passaram a usar em suas discusses sentenas enunciadas nas formas afirmativa e negativa, resultando assim, grande simplificao e clareza, com efeito de grande valia em toda a Matemtica. A lgebra de Boole no teve qualquer utilizao prtica at 1937, quando foi feita a primeira aplicao anlise de circuitos de rels por Nakashima, que no foi bem sucedido, pois, ao invs de desenvolver a teoria j existente, tentou desenvolver a lgebra Booleana por conceitos prprios. Em 1938 Claude E. Shannon mostrou, em sua tese de mestrado no departamento de Engenharia Eltrica do MIT (Massachusetts Institute of Technology), a aplicao da lgebra de Boole na anlise de circuitos de rels, usando-a com rara elegncia, o que serviu de base para o desenvolvimento da teoria dos interruptores.

2 PROPOSIES:

2.1 DEFINIO

Proposio uma sentena declarativa, afirmativa e que deve exprimir um pensamento de sentido completo, podendo ser escrita na forma simblica ou na linguagem usual. Ex: tg = 1 (simblica) O Mxico fica na America do Norte. (linguagem usual)

2.2 VALOR LGICO

Na lgebra booleana dizemos que o valor lgico a verdade simbolizando com o nmero 1 se a proposio verdadeira e a falsidade simbolizando com o nmero 0 se a proposio for falsa. No entanto na Lgica Matemtica, o valor verdade simbolizado pela letra V quando a proposio verdadeira e pela letra F quando a proposio falsa.

Ex: O Japo fica na frica.

Boole = 0 Valor lgico Lgica = F

O Brasil ganhou a Copa do Mundo de 1970.

Boole = 1 Valor lgico Lgica = V

2.3 PRINCPIOS FUNDAMENTAIS

2.3.1 PRINCPIO DA NO CONTRADIO

Uma proposio no pode ser simultaneamente verdadeira e falsa.

2.3.2 PRINCPIO DO TERCEIRO EXCLUDO

Toda proposio ou s verdadeira ou s falsa, nunca ocorrendo um terceiro caso. De acordo com esse princpio Pode-se afirmar que toda proposio admite um e um s dos valores, no caso da lgebra de Boole 1 ou 0 e no caso da Lgica V ou F.

3 OPERAES LGICAS SOBRE PROPOSIES

lgebra de Boole Negao Conjuno Disjuno Inclusiva Disjuno Exclusiva Condicional Bicondicional . +

Lgica Matemtica ~ ^ v v

Valor Lgico Inverte o valor Verdade se ambas forem verdadeiras Falsidade se ambas forem falsas Falsidade se ambas valores forem iguais Antecessor verdadeiro e sucessor falso falsidade Verdade se ambos forem iguais

3.1 TABELA VERDADE

Uma das principais diferenas entre a Lgica Matemtica e a lgebra de Boole est na construo da Tabela Verdade. Na Lgica a Tabela Verdade sempre inicia com o valor V que corresponde ao valor VERDADE, j na lgebra booleana o valor inicial o 0 que corresponde a FALSIDADE.

Q^P P,Q Q ^ P VV V VF F FV F FF F

Q.P P,Q Q . P 00 0 01 0 10 0 11 1

QvP P,Q Q ^ P VV V VF V FV V FF F

Q+P P,Q Q . P 00 0 01 1 10 1 11 1

~(T v R)

(T R)

R,T (T v R) ~(T v R) VV F V VF V F FV V F FF F V

R,T (TR) (TR) 00 0 1 01 1 0 10 1 0 11 0 1

SQ Q,S S Q VV V VF V FV F FF V

SQ Q,S S Q 00 1 01 0 10 1 11 1

SQ Q,S S Q VV V VF F FV F FF V

SQ Q,S S Q 00 1 01 0 10 0 11 1

4 LGEBRA DAS PROPOSIES

4.1 PROPRIEDADES DA CONJUNO

4.1.1 Indepotente

Boole

Lgica P^PP

P.PP

P 0 1

P.P 0 1

P V F

P^P V F

4.1.2 Comutativa
Boole Lgica P^QQ^P

P.QQ.P

P 0 0 1 1

Q 0 1 0 1

Q.P 0 1 1 1

P.Q 0 1 1 1

P, Q P ^ Q Q ^ P V V F F V F F F V F F F

4.1.3 Associativa
Boole

P.(Q.R)(P.Q).R

P 0 0 0 0 1 1 1 1

Q 0 0 1 1 0 0 1 1

R 0 1 0 1 0 1 0 1

Q+R 0 1 1 1 0 1 1 1

P . (Q+R) P . Q 0 0 0 0 1 0 1 0 1 0 1 1 1 1 1 1

(P . Q) + (P . R) 0 0 0 0 0 1 1 1

Lgica (P ^Q) ^R P ^( Q ^R)

P V V V V F F F F

Q V V F F V V F F

R P ^Q (P ^ Q) ^R Q ^ R P ^(Q ^ R) V V V V V F V F F F V F F F F F F F F F V F V F F F F F F F V F F F F F F F F F

4.2 PROPRIEDADES DA DISJUNO

4.2.1 Indepotente

Boole P+PP

Lgica PvPP

P 0 1

P+P 0 1

P V F

PvP V F

4.2.2 Comutativa

Boole P+QQ+P P Q 0 0 0 1 1 0 1 1 P+Q 0 1 1 1 Q+P 0 1 1 1

Lgica PvQQvP P, Q P v Q Q v P V V F F V V V F V V V F

4.2.3 Associativa

Boole P+(Q+R)(P+Q)+R

P 0 0 0 0 1 1 1 1

Q 0 0 1 1 0 0 1 1

R 0 1 0 1 0 1 0 1

Q+R 0 1 1 1 0 1 1 1

P +(Q+R) 0 1 1 1 1 1 1 1

P +Q 0 0 1 1 1 1 1 1

(P+Q)+R 0 1 1 1 1 1 1 1

Lgica ( P v Q ) v R P v (Q v R)

P V V V V F F F F

Q V V F F V V F F

R P v Q (P v Q) v R V V V F V V V V V F V V V V V F V V V F V F F F

QvR V V V F V V V F

P v (Q v R) V V V V V V V F

4.3 PROPRIEDADES DA CONJUNO E DA DISJUNO

4.3.1 Distributiva
Boole P + ( Q . R ) ( P + Q ) . ( P + R)

P 0 0 0 0 1 1 1 1

Q 0 0 1 1 0 0 1 1

R 0 1 0 1 0 1 0 1

Q+R 0 1 1 1 0 1 1 1

P .(Q+R) 0 0 0 0 0 1 1 1

P .Q 0 0 1 1 1 1 1 1

P.R 0 0 0 0 0 1 0 1

(P . Q) + (P . R) 0 0 0 0 0 1 1 1

Lgica

P ^ ( Q v R ) ( P ^Q) v (P ^R )

P V V V V F F F F

Q V V F F V V F F

R Q v R P ^ (Q v R) P ^ Q P ^ R ( P ^ Q ) v ( P ^R ) V V V V V V F V V F V V V V F V V V F F F F F F V V F F F F F V F F F F V V F F F F F F F F F F

4.3.2 Leis de De Morgan

Boole ( P . Q) P + Q P Q P Q P + Q P . Q ( P . Q) 0 0 1 1 0 1 1 0 1 1 0 0 1 1 1 0 0 1 0 1 1 1 1 0 0 1 0 0

Lgica ~P ^ Q ~( P v ~Q ) P V V F F Q ~P ~P ^ Q P v ~Q ~( P v ~Q ) V F V F F F F V F F V V F V V F V V F F

5 ARGUMENTO VLIDO 5.1 DEFINIO

Chama-se argumento vlido toda seqncia de proposies p1, p2, ..., pn+1, n N, na qual sempre que as premissas p1, p2, ..., pn so verdadeiras a concluso pn+1 tambm verdade que a conjuno das n primeiras implica a ltima, isto : p1 p2 ... pn ==> pn+1 Ento, para testar a velidade de um argumento, procede-se da seguinte maneira: a) Constri-se a tabela-verdade de p1, p2,..., pn; b) Constri-se a tabela-verdade de pn+1; c) Comparam-se as tabelas: Se na mesma linha ocorrer 10 (nesta ordem), no h implicao e o argumento falho (ou no vlido); se na mesma linha no ocorrer 10 haver implicao e o argumento vlido.

6 REGRAS DE DEDUO 6.1 MODUS PONENS (MP)

T Q (1) T_____________ premissa (2) T Q ________ premissa (3) Q S________ premissa (4) Q_____________ (1) (2) MP

Mesma regra que lgica

6.2 MODUS TOLLENS (MT)

Achar B dadas as premissas: (1) A B___________ premissa (2) B C ___________ premissa (3) C________________ premissa (4) B________________ (2) (3) MT

Mesma regra de lgica

6.3 ADIO (AD)

Achar B dadas as premissas: (1) A + J G_________ premissa (2) J (G.H)________ premissa (3) J + B______________ premissa (4) A_________________ premissa da premissa (5) A + J ________________ AD (4) Em lgica s usa a adio se no houver o termo.

6.4 SILOGISMO HIPOTTICO (SH)

Achar PR dadas as premissas:

(1) PQ_________ premissa (2) QR_________ premissa (3) PR_________ (1) (2) SH

Mesma regra de lgica

6.5 SILOGISMO DISJUNTIVO (SD)

a implicao: (P + Q) . P ==> Q

6.6 BICONDICIONAL (BIC)

a implicao: (P Q) . (Q P) ==> P Q

6.7 DILEMA CONSTRUTIVO (DC)

a implicao: (P Q) . (R S) . (P+R) ==> Q+S

6.8 DILEMA DESTRUTIVO (DD)

a implicao: (P Q) . (R S) . (Q+S) ==>

6.9 REGRA DE ABSORO (RA)

a implicao: (P Q) ==> P(P .

7 CONCLUSO

Pode-se perceber que a relao entre lgebra de Boole e Lgica Matemtica de muita semelhana, diferenciando-se apenas em pequenos detalhes, a citar a representao, que ao invs de utilizar V (verdade) e F (falsidade), faz uso do 0 (falsidade) e do 1 (verdade). Outro aspecto bastante importante a construo da tabela verdade que em lgica inicia com os valores verdade (V) e na lgebra booleana inicia com a falsidade (0).

REFERNCIAS

DAGHLIAN, Jacob. Lgica e lgebra de Boole. 4 edio. So Paulo: Atlas, 1995. 167 Pginas.

www.QSP.org.br Visitado em 01 de maio de 2008.