CLCULO PROPOSICIONAL I NOES DE LGICA MATEMTICA CLCULO PROPOSICIONAL Como primeira e indispensvel parte da Lgica Matemtica temos o CLCULO

PROPOSICIONAL ou CLCULO SENTENCIAL ou ainda CLCULO DAS SENTENAS. CONCEITO DE PROPOSIO

PROPOSIO: sentenas declarativas afirmativas (expresso de uma linguagem)

da qual tenha sentido afirmar que seja verdadeira ou que seja falsa. A lua quadrada. A neve branca. Matemtica uma cincia. No sero objeto de estudo as sentenas interrogativas ou exclamativas.

OS SMBOLOS DA LINGUAGEM DO CLCULO PROPOSICIONAL VARIVEIS PROPOSICIONAIS: letras latinas minsculas p,q,r,s,.... para indicar as proposies (frmulas atmicas- na Lgica matemtica, uma frmula que no pode ser dividida em subfrmulas, ou seja, uma frmula sem cone ctivos que representa uma Proposio.) .

Exemplos:

A lua quadrada : p A neve branca : q

CONECTIVOS LGICOS: As frmulas atmicas podem ser combinadas entre si

e, para representar tais combinaes usaremos os conectivos lgicos: : e , : ou , Exemplos: A lua quadrada e a neve branca. : p conjunctos) q (p e q so chamados : se...ento , : se e somente se , : no

A lua quadrada ou a neve branca. : p disjunctos)

q ( p e q so chamados

Se a lua quadrada ento a neve branca. : p antecedente e q o conseqente)

q(po

A lua quadrada se e somente se a neve branca. : p A lua no quadrada. : p

SMBOLOS AUXILIARES : ( ) , parnteses que servem para denotar o "alcance" dos conectivos;

Exemplos:
Se a lua quadrada e a neve branca ento a lua no quadrada. : ((p q) p) A lua no quadrada se e somente se a neve branca. : (( p) q))

DEFINIO DE FRMULA : 1. Toda frmula atmica uma frmula. 2. Se A e B so frmulas ento (A B) , (A B) , (A B) , (A B) e ( A) tambm so frmulas. 3. So frmulas apenas as obtidas por 1. e 2. . Os parnteses sero usados segundo a seguinte ordem dos conectivos: , , , , . Com o mesmo conectivo adotaremos a conveno pela direita.

Exemplo: a frmula p
(((p q)

q ( r))

r (p

q deve ser entendida como ( q)))

AS TABELAS VERDADE

A lgica clssica governada por trs princpios (entre outros) que podem ser formulados como segue:

Princpio da Identidade: Todo objeto idntico a si mesmo. Princpio da Contradio: Dadas duas proposies contraditrias (uma
negao da outra), uma delas falsa.

Princpio do Terceiro Excludo: Dadas duas proposies contraditrias, uma

delas verdadeira. Com base nesses princpios as proposies simples so ou verdadeiras ou falsas - sendo mutuamente exclusivos os dois casos; da dizer que a lgica clssica bivalente. Para determinar o valor (verdade ou falsidade) das proposies compostas (moleculares), conhecidos os valores das proposies simples (atmicas) que as compem usaremos tabelas-verdade : 1.Tabela verdade da "negao" : ~p verdadeira (falsa) se e somente se p falsa (verdadeira). p
V F

~p
F V

2. Tabela verdade da "conjuno" : a conjuno verdadeira se e somente os conjunctos so verdadeiros. p

V V F

q
V F V

p
V F F

3. Tabela verdade da "disjuno" : a disjuno falsa se, e somente, os disjunctos so falsos. p

V V F F

q
V F V F

p
V V V F

4. Tabela verdade da "implicao": a implicao falsa se, e somente se, o antecedente verdadeiro e o conseqente falso. p
V V F F

q
V F V F

p
V F V V

5. Tabela verdade da "bi-implicao": a bi-implicao verdadeira se, e somente se seus componentes so ou ambos verdadeiros ou ambos falsos p
V V F F

q
V F V F

p
V F F V

Exemplo: Construir a tabela verdade da frmula : ((p

p q ((p q) ~p) (q

q) p)

~p)

(q

p)

V V F F

V F V F

V V V F

F F V V

F F V V

V V F F

V F F F

NMERO DE LINHAS DE UMA TABELA-VERDADE: Cada proposio simples (atmica) tem dois valores V ou F, que se excluem. Para n atmicas distintas, h tantas possibilidades quantos so os arranjos com repetio de 2 (V e F) elementos n a n. Seguese que o nmero de linhas da tabela verdade 2n. Assim, para duas proposies so 22 = 4 linhas; para 3 proposies so 23 = 8; etc.

Exemplo: a tabela - verdade da frmula ((p

p
V V V V F F F F

q) q)
V V F F F F F F

r) ter 8 linhas como segue : r)

V F V V V V V V

q
V V F F V V F F

r
V F V F V F V F

((p

NOTA: "OU EXCLUSIVO" importante observar que "ou" pode ter dois sentidos na linguagem habitual: inclusivo (disjuno) ("vel") e exclusivo ( "aut") onde p q significa ((p q) (p q)). p
V V F F
CELINA ABAR
- 2004 -

q
V F V F

((p
V

q)
F F

(p
V F F F

q))

V V F

V V V V FV

LGEBRA DOS CONJUNTOS NOES DE LGICA MATEMTICA O CLCULO PROPOSICIONAL E A LGEBRA DOS CONJUNTOS O Clculo Proposicional e a lgebra dos Conjuntos possuem estruturas semelhantes. Toda frmula do Clculo Proposicional determina uma operao correspondente entre conjuntos : a negao ( ) corresponde complementao ( ), a conjuno ( ) corresponde interseco ( ), a disjuno ( ) corresponde unio ( ). As variveis proposicionais podem servir como variveis simbolizando conjuntos na nova expresso. Exemplo: (( p q) p)corresponde a (( p q ) p) Podemos expressar, as operaes entre conjuntos atravs dos DIAGRAMAS DE

EULER-VENN (John Venn 1834-1923) que so teis na verificao de

propriedades de operaes entre conjuntos, mas no devem ser considerados instrumentos de prova matemtica rigorosa. Verifique seu conhecimento com estas operaes considerando 2 conjuntos e, em seguida, com 3 conjuntos. 1.COMPLEMENTAO : pque corresponde NEGAO : p p ~p

1 2

V F

F V

onde as linhas (1) e (2) da tabela correspondem s regies (1) e (2) do diagrama respectivamente.

2.UNIO : p p q

q que corresponde DISJUNO: p q

p q p

1 2 3 4

V V F F

V F V F

V V V F

as linhas (1), (2), (3) e (4) da tabela correspondem s regies (1), (2), (3) e (4) do diagrama respectivamente. A regio hachurada no diagrama corresponde s linhas da tabela onde a frmula p q assume valor V. 3. INTERSECO : p p q p q p q q que corresponde CONJUNO: p q

1 2 3 4

V V V F F F V F

V F F F

A regio hachurada do diagrama corresponde linha (1) da tabela, onde a frmula p q assume valor V. A figura abaixo forma um Diagrama de Venn apropriado para trs conjuntos. Temos 8 regies que correspondem, respectivamente, s 8 linhas da tabela verdade ao lado do diagrama :

p q r

1 2 3 4 5 6 7 8

V V V V V F V F V F F F F F V F

V V V F F F V F

Exemplo: O diagrama de Venn abaixo corresponde frmula ((p

expresso (p q) 2 do diagrama de Venn.

q)

r) e

r. O valor V da frmula (ltima coluna) corresponde regio

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 F

((p

q)
V V F F F F F F

r)
V V F F V V V F V V V F V V V F

V F F F F F F

CELINA ABAR
- 2004 -

CLCULO PROPOSICIONAL II NOES DE LGICA MATEMTICA TAUTOLOGIA E CONTRA -TAUTOLOGIA

TAUTOLOGIA ou FRMULA LGICAMENTE VLIDA : Frmula que possui

apenas valor V em sua tabela verdade. Exemplo : p p

p
1 2 V F F V

p p
V V

CONTRA-TAUTOLOGIA ou FRMULA LGICAMENTE FALSA : Frmula que

possui apenas valor F em sua tabela verdade. Exemplo : p p

p
1 2 V F F V

p p
F F

CONTINGENTE ou INDETERMINADA: Frmula que possui valores V e F em

sua tabela verdade.

Exemplo : p

p
1 2 3 4 V V F F

q
V F V F

p
V F V V

REGRAS DE INFERNCIA.: A frmula indicamos

Regras Modus Ponens Modus Tollens Silogismo Hipottico Silogismo Disjuntivo Simplificao Adio Eliminao Prova por Casos MP MT SH SD SM AD EL CS

implica tautolgicamente a frmula uma tautologia .

Frmulas Compostas A, A p B, A r) A B/B B/ A C/A C

se e somente se a frmula
Frmulas Atmicas p q (p (p p p (p (p (p (p q) q) q p (q r) p q r) ) (q q r) p (p r q) q) q) (q p r) q q

(p

B, B A, A

B/B

B/A B (B C) / A C / (A B) C

A/A B , (A r A C

C, B

EQUIVALNCIAS TAUTOLGICAS : As frmulas

equivalentes e indicamos

so tautolgicamente uma tautologia

se e somente se a frmula

Comutativa Associativa Idempotente Propriedades de V Propriedades de F

p (p p p p

p p (q r)

p (p p p p

p p (q r)

q) r p V F p p F

q) r p V F p V p

Absoro Distributivas Distributivas Leis de De Morgan Def. implicao Def. bicondicional Negao Contraposio Exportao( )

p p p r)

(p (q (q (p q) q q ( p)

r) r) r) p ~p (p p q

p (p (p q) q) q (p (p r)

p p p

(p (q (q (p

r) r) r)

p (p (p p (p (~p q) q) q q) q) (~q p) (p (p r) r)

q) q q

p p

q q) (q p)

p p

p ) q (p r) (p q) r p (q r)

Importao ( p (q r)

Troca de Premissas

Exemplo : Dadas as frmulas A: p

que A que A p
V V V V F F F F V V F F V V F F

(q

r) e B : (q

r)

p vamos verificar

B ou ainda que A / B. Basta verificar, com o uso das tabelas verdade, B tautologia. q
V F V F V F V F

(p
V F F F V V V V

(q

r))
V V V V V V V V

( (q

r)
V F F F V V V V

p)

Neste exemplo, A

B pois A

B tautologia.

As TAUTOLOGIAS so infinitas e desempenham um importante papel nos processos de deduo no Clculo Proposicional como veremos em prximos tpicos. FORMAS NORMAIS CONJUNTIVA E DISJUNTIVA Algumas EQUIVALNCIAS TAUTOLGICAS dadas acima nos permitem transformar qualquer frmula em uma frmula lgicamente equivalente, que no

contenha os conectivos segue: 1. substitui-se frmulas: A (A B) por A

, transformando-a em uma FORMA NORMAL

CONJUNTIVA (FNC) ou em uma FORMA NORMAL DISJUNTIVA (FND) como B por A BeA B. B por ( A B) ( B A)

2. elimina-se a negao que precede os parnteses substituindo -se: B e (A B) por A 3. eliminam-se as negaes mltiplas substituindo ( A) por A. 4. elimina-se o alcance dos conectivos substituindo para obter a FNC : A para obter a FND : A (B (B C) por (A C) por (A B) B) (A (A C) C)

Deste modo, uma frmula est em FORMA NORMAL CONJUNTIVA: FNC ou em FORMA NORMAL DISJUNTIVA: FND se, e somente se: 1. No mximo contm os conectivos , 2. A negao 4. O conectivo alcance sobre 3. No aparecem negaes sucessivas. no tem alcance sobre na FND. q) (q q) (r (r (r (r (r r) (r q) q) q) q) q) (r q) q) (r s ( s q) . Frmula dada 1. Def. de Implicao 2. De Morgan 3. Negao e De Morgan 4.FND 5. Distributiva 6. Tautologia 7. Propriedade de V p) p) na FNC e, o conectivo no tem , . e . no tem alcance sobre os conectivos

Exemplos:

FNC : ( p FND : p ((p q) q) q) q) q q ( q V) (r

Exemplo: Determine uma FND e uma FNC equivalente frmula

1. 2. 3. 4. 5. 6. 7. 8.

((p ((p ( (p ( p ( p (( p (( p ( p

q) q) q) q) q) q) q) q)

q)) (r q)

9. 10.

( p ( p

q q

r) r)

( p ( p

q q)

q)

8. Distributiva 9. Idempotente e FNC

PROBLEMA DE POST Como j observamos podemos construir a tabela verdade de uma frmula conhecidos os valores verdade das frmulas que a compem. O problema recproco se coloca : para toda tabela verdade, existe uma frmula que a determina? Este problema conhecido como PROBLEMA DE POST (Emil Leon Post 1888-1995) e pode ser resolvido obtendo-se uma FNC ou uma FND que satisfaa a tabela verdade dada. Para se obter uma FND: 1. Observamos todas as linhas da tabela que possuem V na ltima coluna; 2. Construimos para cada uma destas linhas as conjunes correspondentes; 3. Fazemos a disjuno destas conjunes obtendo uma frmula em FND que satisfaz a tabela verdade.

Exemplo: Determine uma frmula que satisfaa a tabela verdade abaixo:

p
V V F F V F V F V F F V

q (p q)

( p q) FND

q)

Resposta: Frmula obtida (p

Para se obter uma FNC:

q)

( p

1. Observamos todas as linhas da tabela que possuem F na ltima coluna; 2. Construimos para cada uma destas linhas as disjunes correspondentes; 3. Fazemos a conjuno destas disjunes obtendo uma frmula em FNC que satisfaz a tabela verdade.

Exemplo: Determine uma frmula que satisfaa a tabela verdade abaixo:

p
V V V

V F F

F V F

F F V

p p

q q

Resposta: Frmula obtida ( p

q)

(p

q) FNC

As FND e FNC obtidas como acima so completas ou seja, em cada disjuncto (FND) ou em cada conjuncto (FNC) todas as variveis proposicionais esto presentes.
CELINA ABAR
- 2004 -

LGEBRA BOOLEANA NOES DE LGICA MATEMTICA NOES DE LGEBRA BOOLEANA "Uma das caractersticas da investigao cientfica procurar padres ou

semelhanas entre fenmenos observados"(livro I). Vimos que o Clculo

Proposicional e a Teoria dos Conjuntos possuem algumas propriedades em comum ou sejam so estruturas matemticas que, juntamente com operaes ou relaes entre seus objetos obedecem certas regras." Podemos comparar uma

estrutura matemtica a um esqueleto humano pois, embora as aparncias externas das pessoas sejam diferentes, a forma e a disposio dos ossos so as mesmas."(livro I). Assim, vamos definir, uma estrutura matemtica, lgebra
Booleana, que incorpora as propriedades bsicas do Clculo Proposicional e da Teoria dos Conjuntos, ou seja, um outro modelo de uma mesma estrutura

matemtica. O conceito de lgebra Booleana foi formulado pelo matemtico ingls

George Boole por volta de 1850. Por LGEBRA BOOLEANA entendemos um conjunto B={p, q, r , ..} junto com duas operaes binrias + e todo p , q , r em B ) : em B, uma operao singular em B e dois elementos distintos 0 e 1 de B tais que valem as seguintes propriedades: (para

Associativa Comutativa Idempotente Absoro Distributiva Propriedades do 0 Propriedades do 1

(p + q) + r = p + (q + r) p+q=q+p p+p=p (p q) + p = p p + (q r) = (p + q) (p + r) p+0=p p+1=1

(p q) r = p (q r) p q=q p p p=p (p + q) p = p p (q + r) = (p q) + (p r) p 0=0 p 1=p

Quaisquer que seja p em B, existe p em B tal que

p + p = 1

p p = 0

Indicamos uma lgebra Booleana por [ B , + , - A operao p .

, , 0 , 1 ].

q pode ser denotada simplesmente por pq eliminando o operador

- normal a seguinte terminologia na lgebra Booleana : p q : encontro de p e q. p + q : juno de p e q. p : complemento de p. 0 : elemento zero. 1 : elemento unitrio. Uma expresso booleana, uma frmula e uma expresso na lgebra do

conjuntos,so correspondentes se substituimos , + , , = , 0 , 1 respectivamente

por ~ , , , , F , V ou ainda por , , ,=, ,U (considerando-se p , q ,.. como: elementos de B , variveis proposicionais ou conjuntos respectivamente).

Exemplo: (p + (q r)) corresponde a ( p

(q

r)) ou ainda a (p

(q

r))

Para formalizar as semelhanas entre o Clculo Proposicional e a lgebra Booleana, notemos que o conjunto das proposies uma lgebra de Boole em relao conjuno, disjuno e negao.

APLICAES DE LGEBRA BOOLEANA : MAPA DE KARNAUGH De modo sucinto podemos dizer que o MAPA DE KARNAUGH, idealizado em 1950 por MauriceKarnaugh, um mtodo de simplificao de expresses lgicas

fundamentado em teoremas da lgebra Booleana e utilizando representaes grficas. Utilizando o mapa de Karnaugh podemos simplificar frmulas ou expresses booleanas em FND COMPLETA, sem o uso direto de propriedades para obter tais simplificaes. REPRESENTAO GRFICA : Temos as seguintes representaes grficas (mapas), de acordo com o nmero de variveis (aqui representadas por letras maisculas) das expresses: (no que se segue entende-se AB como A a) Duas variveis: A B B b) Trs variveis : AB C C c) Quatro variveis : AB CD CD CD CD Em cada mapa: Os quadrados de cima e os de baixo so adjacentes; os da esquerda e os da direita so adjacentes. Os quadrados adjacentes diferem apenas por uma varivel . Cada quadrado indicar um DISJUNCTO da FNDCOMPLETA que est sendo representada. Cada DISJUNCTO ser representado escrevendo 1 no respectivo quadrado. AB AB AB AB AB AB A B)

Exemplos:
Representar a expresso ABC + ABC + ABC

AB C C 1

AB 1

AB 1

AB

Representar a expresso AB+ AB + AB A B B 1 A 1 1

Podemos construir Mapas de Karnaugh para 5 ou mais variveis passando para representaes grficas tridimensionais tornando -se inadequado. SIMPLIFICAO : Para simplificar procedemos do seguinte modo: 1. Agrupar , traando ovais ao redor de todos os "1" para formar grupos de 2n "1" adjacentes. 2. Nenhum "1" pode ficar fora dos grupos formados. Se necessrio, agrup -lo sozinho. 3. Quanto maior o grupo, mais simplificada ficar a expresso. 4. Se necessrio, um "1" pode ser agrupado mais de uma vez. Nunca agrup-lo se no houver necessidade. 5. A varivel que se repetir em cada grupo permanece na expresso. A varivel que no se repete eliminada.

Exemplos:
a) Simplificando a expresso ABC + ABC + ABC obtemos a expresso ABC + BC

b) Simplificando a expresso AB+ AB + AB obtemos A+ B

c) Simplifique usando um applet apropriado para 4 variveis.

APLICAES DE LGEBRA BOOLEANA : LGEBRA DOS CIRCUITOS A introduo de uma lgebra Booleana no estudo dos circuitos deve-se ao matemtico americano CLAUDE ELWOOD SHANNON (1916-2001) (A Symbolic

Analysis of Relay and Switching Circuits - 1938). De modo sucinto mostraremos

esse tipo de relacionamento com a Clculo Proposicional e a lgebra Booleana. Um interruptor um dispositivo ligado a um ponto de um circuito, que pode assumir um dos dois estados, "fechado" ou "aberto". No estado "fechado" (que indicaremos por 1) o interruptor permite que a corrente passe atravs do ponto, enquanto no estado "aberto" (que indicaremos por 0) nenhuma corrente pode passar pelo ponto.

1.Circuito com um interruptor p:

p A indicao "fechado" ou "aberto" do interruptor ser conhecida com a indicao de p=1 ou p=0 respectivamente.

2.Circuito com dois interruptores p e q:

Em paralelo indicado por p + q p

Neste caso no passa corrente se e somente p=0 e q=0 ou q. q ou pq

seja, esto ambos "abertos" o que corresponde no Clculo Proposicional tabela verdade da disjuno p Em srie indicado por p p q Neste caso passa corrente se e somente se p=1 e q=1 ou seja, esto ambos "fechados" o que corresponde no Clculo Proposicional tabela verdade da conjuno p . q

Circuitos acoplados contraditrios: quando um abre o outro fecha e

reciprocamente correspondendo tabela verdade da negao.

Circuitos acoplados equivalentes: se comportam do mesmo modo

correspondendo tabela verdade da bi-implicao p q.

Exemplo : A expresso booleana correspondente ao esquema abaixo :

(( p q) + ((p q) + q)) = pq + pq + q Simplificando a expresso: (( p q) + ((p q) + q)) = ( p q) + q = q (por absoro) representamos o circuito simplificado obtido :

Exemplo : A expresso e um circuito correspondente

frmula (p q) r p q r ser : p + q +r

Exemplo : Um comit tem 3 membros . Um projeto passa se e somente se o

presidente vota a favor e obtm maioria. Projetar um circuito de modo que cada membro vote a favor apertando um boto e tal que a luz se acenda se o projeto for aprovado.

Soluo: Sendo P o presidente e A e B os outros dois membros, a tabela verdade

abaixo corresponde s informaes dadas onde 1 representa a aprovao do projeto. Obtendo a FND correspondente temos (P a representao do circuito. P 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 A 1 0 1 0 1 0 1 0 B 1 1 1 0 0 0 0 0 ? A B) + (P A B ) + (P A B) que

simplificando por Mapa de Karnaugh temos PA + PB = P ( A + B) sendo simples

NOES DE LGICA MATEMTICA NOES DE LGEBRA BOOLEANA "Uma das caractersticas da investigao cientfica procurar padres ou

semelhanas entre fenmenos observados"(livro I). Vimos que o Clculo

Proposicional e a Teoria dos Conjuntos possuem algumas propriedades em comum ou sejam so estruturas matemticas que, juntamente com operaes ou relaes entre seus objetos obedecem certas regras." Podemos comparar uma

estrutura matemtica a um esqueleto humano pois, embora as aparncias externas das pessoas sejam diferentes, a forma e a disposio dos ossos so as mesmas."(livro I). Assim, vamos definir, uma estrutura matemtica, lgebra
Booleana, que incorpora as propriedades bsicas do Clculo Proposicional e da Teoria dos Conjuntos, ou seja, um outro modelo de uma mesma estrutura

matemtica. O conceito de lgebra Booleana foi formulado pelo matemtico ingls

George Boole por volta de 1850. Por LGEBRA BOOLEANA entendemos um conjunto B={p, q, r , ..} junto com duas operaes binrias + e todo p , q , r em B ) : em B, uma operao singular em B e dois elementos distintos 0 e 1 de B tais que valem as seguintes propriedades: (para

Associativa Comutativa Idempotente Absoro Distributiva Propriedades do 0 Propriedades do 1 Quaisquer que seja p em B, existe p em B tal que

(p + q) + r = p + (q + r) p+q=q+p p+p=p (p q) + p = p p + (q r) = (p + q) (p + r) p+0=p p+1=1 p + p = 1

(p q) r = p (q r) p q=q p p p=p (p + q) p = p p (q + r) = (p q) + (p r) p 0=0 p 1=p p p = 0

Indicamos uma lgebra Booleana por [ B , + , - A operao p .

, , 0 , 1 ].

q pode ser denotada simplesmente por pq eliminando o operador

- normal a seguinte terminologia na lgebra Booleana : p q : encontro de p e q. p + q : juno de p e q. p : complemento de p. 0 : elemento zero. 1 : elemento unitrio. Uma expresso booleana, uma frmula e uma expresso na lgebra do

conjuntos,so correspondentes se substituimos , + , , = , 0 , 1 respectivamente

por ~ , , , , F , V ou ainda por , , ,=, ,U (considerando-se p , q ,.. como: elementos de B , variveis proposicionais ou conjuntos respectivamente).

Exemplo: (p + (q r)) corresponde a ( p

(q

r)) ou ainda a (p

(q

r))

Para formalizar as semelhanas entre o Clculo Proposicional e a lge bra Booleana, notemos que o conjunto das proposies uma lgebra de Boole em relao conjuno, disjuno e negao.

APLICAES DE LGEBRA BOOLEANA : MAPA DE KARNAUGH De modo sucinto podemos dizer que o MAPA DE KARNAUGH, idealizado em 1950 por MauriceKarnaugh, um mtodo de simplificao de expresses lgicas fundamentado em teoremas da lgebra Booleana e utilizando representaes grficas. Utilizando o mapa de Karnaugh podemos simplificar frmulas ou

expresses booleanas em FND COMPLETA, sem o uso direto de propriedades para obter tais simplificaes. REPRESENTAO GRFICA : Temos as seguintes representaes grficas (mapas), de acordo com o nmero de variveis (aqui representadas por letras maisculas) das expresses: (no que se segue ent ende-se AB como A a) Duas variveis: A B B b) Trs variveis : AB C C c) Quatro variveis : AB CD CD CD CD Em cada mapa: Os quadrados de cima e os de baixo so adjacentes; os da esquerda e os da direita so adjacentes. Os quadrados adjacentes diferem apenas por uma varivel . Cada quadrado indicar um DISJUNCTO da FNDCOMPLETA que est sendo representada. Cada DISJUNCTO ser representado escrevendo 1 no respectivo quadrado. AB AB AB AB AB AB A B)

Exemplos:
Representar a expresso ABC + ABC + ABC AB AB AB AB

C C 1

Representar a expresso AB+ AB + AB A B B 1 A 1 1

Podemos construir Mapas de Karnaugh para 5 ou mais variveis passando para representaes grficas tridimensionais tornando -se inadequado. SIMPLIFICAO : Para simplificar procedemos do seguinte modo: 1. Agrupar , traando ovais ao redor de todos os "1" para formar grupos de 2n "1" adjacentes. 2. Nenhum "1" pode ficar fora dos grupos formados. Se necessrio, agrup -lo sozinho. 3. Quanto maior o grupo, mais simplificada ficar a expresso. 4. Se necessrio, um "1" pode ser agrupado mais de uma vez. Nunca agrup-lo se no houver necessidade. 5. A varivel que se repetir em cada grupo permanece na expresso. A varivel que no se repete eliminada.

Exemplos:
a) Simplificando a expresso ABC + ABC + ABC obtemos a expresso ABC + BC

b) Simplificando a expresso AB+ AB + AB obtemos A+ B

c) Simplifique usando um applet apropriado para 4 variveis.

APLICAES DE LGEBRA BOOLEANA : LGEBRA DOS CIRCUITOS A introduo de uma lgebra Booleana no estudo dos circuitos deve-se ao matemtico americano CLAUDE ELWOOD SHANNON (1916-2001) (A Symbolic

Analysis of Relay and Switching Circuits - 1938). De modo sucinto mostraremos

esse tipo de relacionamento com a Clculo Proposicional e a lgebra Booleana. Um interruptor um dispositivo ligado a um ponto de um circuito, que pode assumir um dos dois estados, "fechado" ou "aberto". No estado "fechado" (que indicaremos por 1) o interruptor permite que a corrente passe atravs do ponto, enquanto no estado "aberto" (que indicaremos por 0) nenhuma corrente pode passar pelo ponto.

1.Circuito com um interruptor p:

p A indicao "fechado" ou "aberto" do interruptor ser conhecida com a indicao de p=1 ou p=0 respectivamente.

2.Circuito com dois interruptores p e q:

Em paralelo indicado por p + q p

Neste caso no passa corrente se e somente p=0 e q=0 ou q. q ou pq

seja, esto ambos "abertos" o que corresponde no Clculo Proposicional tabela verdade da disjuno p Em srie indicado por p p q Neste caso passa corrente se e somente se p=1 e q=1 ou seja, esto ambos "fechados" o que corresponde no Clculo Proposicional tabela verdade da conjuno p . q

Circuitos acoplados contraditrios: quando um abre o outro fecha e

reciprocamente correspondendo tabela verdade da negao.

Circuitos acoplados equivalentes: se comportam do mesmo modo

correspondendo tabela verdade da bi-implicao p q.

Exemplo : A expresso booleana correspondente ao esquema abaixo :

(( p q) + ((p q) + q)) = pq + pq + q Simplificando a expresso: (( p q) + ((p q) + q)) = ( p q) + q = q (por absoro) representamos o circuito simplificado obtido :

Exemplo : A expresso e um circuito correspondente

frmula (p q) r p q r ser : p + q +r

Exemplo : Um comit tem 3 membros . Um projeto passa se e somente se o

presidente vota a favor e obtm maioria. Projetar um circuito de modo que cada membro vote a favor apertando um boto e tal que a luz se acenda se o projeto for aprovado.

Soluo: Sendo P o presidente e A e B os outros dois membros, a tabela verdade

abaixo corresponde s informaes dadas onde 1 representa a aprovao do projeto. Obtendo a FND correspondente temos (P a representao do circuito. P 1 1 1 1 0 0 0 0 1 1 0 0 1 1 0 0 A 1 0 1 0 1 0 1 0 B 1 1 1 0 0 0 0 0 ? A B) + (P A B ) + (P A B) que

simplificando por Mapa de Karnaugh temos PA + PB = P ( A + B) sendo simples

CELINA ABAR
- 2004 -

ARGUMENTO NOES DE LGICA MATEMTICA VALIDADE DE ARGUMENTO No incio deste roteiro, mencionamos que nosso principal objetivo a investigao da validade de ARGUMENTOS: conjunto de enunciados dos quais um a CONCLUSO e os demais PREMISSAS. Vamos verificar como podemos proceder na investigao de certos argumentos de modo formal .

DEFINIO: Chamamos ARGUMENTO uma seqncia

A1 , A2 ,A3 ,... , An , B (n 0) de frmulas onde os Ai (0 i n) chamam-se

premissas e a ltima frmula B, concluso. DEFINIO: Um ARGUMENTO A1 , A2 ,A3 ,... , An , B VLIDO se e somente se,
sendo as premissas verdadeiras a concluso B tambm verdadeira, ou ainda, se e somente se, a frmula An B uma tautologia que ser indicado como segue A1 , A2 , A3 ,... , An | B que se l : "A1 , A2 , A3 ,... , An acarretam B" ou, "B decorre de A1 , A2 , A3 ,... , An " ou, "B se deduz de A1 , A2 , A3 ,... , An" ou ainda, "B se infere de A1 , A2 , A3 ,... , An ." VALIDADE DE UM ARGUMENTO: VERIFICAO POR TABELA VERDADE. Com o uso das tabelas verdade suficiente verificar se a frmula A1 A2 A3 ... An B tautologia. r, r, q vlido pois a frmula A1 A2 A3 ...

Exemplo: O argumento p, q
(p (q r) r)

q uma tautologia.

O que verificamos nas linhas onde as premissas so verdadeiras que a concluso tambm verdadeira (tabela verdade abaixo, linha 4).

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

p V V V V F F F F

q V F V V V F V V

r F V F V F V F V

r F F V V F F V V

VALIDADE DE UM ARGUMENTO: DEMONSTRAO Podemos verificar a validade de um argumento atravs de mtodos de demonstrao :
1. DEMONSTRAO DIRETA 2. DEMONSTRAO INDIRETA - CONDICIONAL 3. DEMONSTRAO INDIRETA - POR ABSURDO 4. DEMONSTRAO INDIRETA RVORE DE REFUTAO

1. DEMONSTRAO DIRETA Consiste em demonstrar ou deduzir a concluso B a partir das premissas A1 , A2 , A3 ,... , An , aplicando as EQUIVALNCIAS TAUTOLGICAS e as REGRAS DE INFERNCIA .

Exemplo : Demonstrar a validade do argumento p, q

Demonstrao : 1. p 2. q r premissa premissa

r,

r,

3. r 4. q

premissa Concluso (2 e 3 : Modus Tollens) q,q r,r s, s p

Exemplo :Demonstrar a validade do argumento p

Demonstrao : 1. p 2. q 3. r 4. p 5. r 6. p 7. s 8. s p s s s r q r premissa premissa premissa 1.2. Silogismo Hipottico 3. Def. de implicao 4.5. Silogismo Hipottico p 6. Contraposio Concluso 7. Negao

2. DEMONSTRAO INDIRETA - CONDICIONAL Para demonstrar a validade de argumentos cuja concluso uma frmula condicional do tipo B De fato, sendo: 1. A1 , A2 , A3 ,... , An , B , C vlido ento 2. A1 , A2 , A3 ,... , An , B | 3. ((A1 4. (A1 portanto 5. A1 , A2 , A3 ,... , An | 6. A1 , A2 , A3 ,... , An, B B C ou ainda, C vlido q,q r,r s, s p A2 A3 ... A2 A3 ... An ) An ) C isto , B) (B C tautologia C) tautologia (Importao e Exportao) e C , considera-se o antecedente B, como uma premissa adicional e o conseqenteC ser a concluso a ser demonstrada.

Exemplo : Demonstrar a validade do argumento p

Demonstrao :

1. p 2. q 3. r 4. s 5. r 6. p 7. r 8. p p s

q premissa r premissa premissa premissa adicional 3.4. Silogismo Disjuntivo r 1.2. Silogismo Hipottico 6. Contraposio Concluso 5.7. Modus Ponens

3.DEMONSTRAO INDIRETA - POR ABSURDO Para demonstrar, por absurdo, um argumento A1 , A2 , A3 ,..., An, B considera-se a negao da concluso B como premissa adicional e conclui-se uma frmula F (frmula falsa do tipo De fato, sendo: 1.A1 , A2 , A3 ,..., An , 2.A1 , A2 , A3 ,..., An | 3.A1 , A2 , A3 ,..., An | 4.A1 , A2 , A3 ,..., An | 5.A1 , A2 , A3 ,..., An | B B| B B F vlido, temos F isto , F (Def. implicao) F (Negao) )

B (Propriedade de F) ou ainda,

6.A1 , A2 , A3 ,... , An , B vlido.

Exemplo : Demonstrar, por absurdo, a validade do argumento

p 1. p 2. q 3. r 5. p 6. r s s p) r 4. ( s q,q q r r,r s, s p premissa premissa premissa premissa adicional 1.2. Silogismo Hipottico 3. Def. de implicao

7. p 8. s 9. ( s 10. F

s p p)

5.6. Silogismo Hipottico 7. Contraposio ( s p) 4. 8. Conjuno

CELINA ABAR
- 2004 -

RVORE DE REFUTAO

NOES DE LGICA MATEMTICA DEMONSTRAO INDIRETA RVORE DE REFUTAO

RVORE DE REFUTAO um mtodo para verificar a validade de um

argumento, anlogo demonstrao por absurdo.Para testarmos a validade de um argumento construmos uma lista de frmulas consistindo de suas premissas A1, A2 , A3 ,... ,An e a negao da sua concluso B que formam a RAIZ DA

RVORE. A rvore continua abaixo com a construo de seus RAMOS por

aplicaes de regras, que sero especificadas abaixo, e gerando novas linhas na rvore. A rvore termina quando as frmulas de seus ramos so: variveis proposicionais, negaes de variveis proposicionais, ou quando encontrarmos em todos os ramos uma frmula F. Se encontrarmos em todos os ramos da rvore uma frmula F, ento a nossa tentativa de refutao falhou ou seja, o argumento vlido. Se em algum ramo da rvore no foi possvel encontrar uma frmula F, ento refutamos o argumento, isto , o argumento no vlido.

Exemplo: Construir uma rvore de refutao para mostrar que: p

- Escrevemos a premissa e a negao da concluso: 1. p 2. q p

q|

- Sabemos que p p

q verdadeira se, e somente se, p e q so ambas verdadeiras; )a

da, podemos substituir q por p e q gerando as linhas 3. e 4., respectivamente, e MARCANDO ( q. frmula p 1. p 2. 3. p 4. q q p

(Uma frmula marcada no poder mais ser utilizada na construo da rvore!!!)

- Como 1. p 2. 3. p 4. q 5. p q p

p verdadeira se e somente se p verdadeira, marcamos

pe

substitumos por p gerando a linha 5. :

- A rvore terminou pois das premissas e da negao da concluso obtivemos variveis proposicionais ou negaes de variveis proposicionais. Por outro lado encontramos nas linhas 3. e 5. uma frmula F, ou seja, nossa tentativa de refutao falhou e portanto o argumento vlido. Isso ser expresso escrevendo um X no final da lista, gerando a linha 6 e fechando o nico ramo da rvore. 1. p 2. 3. p 4. q 5. p 6. X A rvore de refutao est completa. A nossa busca para uma refutao do argumento dado falhou e, portanto, o argumento vlido. q p

Exemplo:Construir uma rvore de refutao para mostrar que : p

concluso: 1. p 2. p 3. q - Sabemos que p q

q,

p|

- Iniciamos a rvore escrevendo a lista de frmulas as premissas e a negao da

q verdadeira se, e somente se, p verdadeira ou q q e ramificamos a rvore,

verdadeira. Para representar esse fato, marcamos p gerando a linha 4 com dois ramos: 1. p 2. p q

3. q / \ 4. p q - A rvore terminou pois das premissas e da negao da concluso obtivemos variveis proposicionais ou negaes de variveis proposicionais. Por outro lado encontramos uma frmula F em um ramo, nas linhas 2. e 4. e no outro ramo, nas linhas 3. e 4., ou seja, nossa tentativa de refutao falhou e portanto o argumento vlido. Isso ser expresso escrevendo um X no final de cada ramo da lista gerando a linha 5 e fechando os dois ramos da rvore. 1. p 2. p 3. q / \ 4. p q 5. X X A rvore de refutao est completa. Como a tentativa de refutao falhou nos dois ramos, o argumento dado vlido. q

Exemplo:Construir uma rvore de refutao para verificar a validade do

argumento: p 1. p 2. p 3. q q equivalente a q; da, marcamos q e escrevemos q gerando a - Temos que linha 4. : 1. p 2. p 3. 4. q - Como no exemplo anterior, marcamos p linha 5. com dois ramos: q e ramificamos a rvore gerando a q q q, p | q q

1. p 2. p 3. 4. q / \ q

5. p q - A rvore terminou e nos dois ramos no h contradies, ou seja, uma frmula F. Neste caso os ramos no sero fechados e o argumento no vlido. REGRAS PARA A CONSTRUO DE UMA RVORE DE REFUTAO As regras para a construo de uma rvore de refutao esto relacionadas com as tabelas verdade j conhecidas. Ao aplicar uma regra em uma frmula da rvore, temos a observar que : - a frmula ser marcada ( uma mesma frmula. - a aplicao de uma regra deve gerar : uma ou duas linhas, um ramo ou dois ramos conforme a regra, e ser aplicada em todos os ramos abertos (no fechados com X) aos quais a frmula pertence. Temos as seguintes regras : ) para evitar aplicaes repetidas de uma regra em

1. REGRA DA DUPLA NEGAO (

quais a frmula verdadeira. A pertence pois,

) : Uma frmula do tipo

A gera uma linha

e escrevemos A na linha. Procedemos assim em todos os ramos abertos aos A verdadeira se e somente se A B gera duas linhas e B assume valor V se,

2. REGRA DA CONJUNO ( ): Uma frmula do tipo A

ramos abertos aos quais a frmula A 1. A 2. A 3. B B B pertence pois, A

escrevemos, em cada linha, as frmulas A e B. Procedemos assim em todos os e somente, as frmulas A e B so verdadeiras.

3. REGRA DA DISJUNO ( ): Uma frmula do tipo A

B gera uma linha e dois

ramos e escrevemos, na linha e, em cada ramo, as frmulas A e B

respectivamente. Procedemos assim em todos os ramos abertos aos quais a frmula A 1.A B / \ 2. A B B pertence pois, A B assume valor V se, e somente, a frmula A verdadeira ou a frmula B verdadeira.

4. REGRA DA IMPLICAO ( ): Uma frmula do tipo A

B gera uma linha e AeB

dois ramos e escrevemos, na linha e, em cada ramo, as frmulas

frmula A B pertence pois, A B / \ A B

respectivamente. Procedemos assim em todos os ramos abertos aos quais a B assume valor V se, e somente, a frmula A

verdadeira ou a frmula B verdadeira. 1. A

5. REGRA DA BI- IMPLICAO ( ) : Uma frmula do tipo A B gera duas linhas

e dois ramos e escrevemos nas linhas as frmulas A e B em um ramo e as frmulas A e B no outro ramo. Procedemos assim em todos os ramos abertos aos quais a frmula A frmula (A A 2.A 3.B (A B) verdadeira ou a frmula ( A B / \ A B ): Uma frmula do tipo B) gera uma linha e dois ramos e escrevemos, na linha e, em cada ramo, as B) pertence pois, (A B) assume valor V se, e B) verdadeira. B pertence pois, A B assume valor V se, e somente, a

6. REGRA DA NEGAO DA CONJUNO (

frmulas A e B respectivamente. Procedemos assim em todos os ramos abertos aos quais a frmula (A

somente, a frmula A verdadeira ou a frmula B verdadeira. (A / B) \ ) : Uma frmula do tipo B)

A B

7. REGRA DA NEGAO DA DISJUNO (

(A

B) gera duas linhas e escrevemos, em cada linha, as frmulas A e B. B) assume valor V se, e somente, as frmulas Ae B so

Procedemos assim em todos os ramos abertos aos quais a frmula (A pertence pois, (A verdadeiras. (A A B B)

8. REGRA DA NEGAO DA IMPLICAO (

(A

) : Uma frmula do tipo B)

B) gera duas linhas e escrevemos, em cada linha, as frmulas A e B. B) assume valor V se, e somente, as frmulas Ae B so

Procedemos assim em todos os ramos abertos aos quais a frmula (A pertence pois, (A verdadeiras. (A 2. A B B)

9. REGRA DA NEGAO DA BI- IMPLICAO (

(A

): Uma frmula do tipo

B) gera duas linhas e dois ramos e escrevemos nas linhas as frmulas A e B) pertence pois, (A B) assume B)

B em um ramo e as frmulas A e B no outro ramo. Procedemos assim em todos os ramos abertos aos quais a frmula (A valor V se, e somente, a frmula ( A verdadeira. (A / A 3. B B) \ A B B) verdadeira ou a frmula (A

10. RAMO FECHADO : Um ramo ser fechado se nele existem uma frmula A e
sua negao A e escrevemos X no final do ramo. 1. A 2. A 3. X

OBSERVAES: - As regras dadas para construir rvores de refutao se aplicam em cada linha ao conectivo principal da frmula e no a subfrmulas. Por exemplo, 1. p q 2. p q 1.( ) (INCORRETO!!) - No importa a ordem em que as regras so aplicadas; no entanto, mais eficiente aplicar as regras, primeiramente, em frmulas que no resultam em ramificaes. - Cada linha gerada deve ser justificada indicando a respectiva linha de origem na qual foi aplicada a regra e tambm a regra usada. - Frmula na qual foi aplicada alguma regra deve ser marcada ( ) para evitar aplicaes repetidas da mesma. Exemplos: 1.) Verificar, por meio de rvore de refutao, a validade do argumento: p r s, r s q , p q 1. p r s Premissa 2. 3. 4. 5. / 6. 7. 8. / 9. 10. (r s) / r \ s X p X(6.4) r \ q \ r / (r s) / s \ X ( / (r q \ s) 1.( \ s 6. ( ) \ q 2.( \ ) ) ) r (p s q) p q Premissa Negao da Concluso 3.( 3.( ) )

11.

X (10.8)

? (9.5)

(9.5)

(10.8)

Temos neste caso dois ramos que no fecharam e, portanto, o argumento no

vlido.
2.) Construir uma rvore de refutao para verificar se a frmula (p 1. 2. 3. 4. 5. / 6. 7. p X (6.4) q) (p (p (p p q \ q X (6.5) 3. ( ) q) uma tautologia: q) (p q) q) q)) Negao da Concluso 1. ( 1. ( 2. ( 2. ( ) ) ) ) ((p

Todos os ramos esto fechados; assim a frmula vlida, ou seja, uma

tautologia.
CELINA ABAR
- 2004 -

NOES DE LGICA MATEMTICA DEMONSTRAO INDIRETA RVORE DE REFUTAO

RVORE DE REFUTAO um mtodo para verificar a validade de um

argumento, anlogo demonstrao por absurdo.Para testarmos a validade de um argumento construmos uma lista de frmulas consistindo de suas premissas A1, A2 , A3 ,... ,An e a negao da sua concluso B que formam a RAIZ DA

RVORE. A rvore continua abaixo com a construo de seus RAMOS por

aplicaes de regras, que sero especificadas abaixo, e gerando novas linhas na rvore. A rvore termina quando as frmulas de seus ramos so: variveis proposicionais, negaes de variveis proposicionais, ou quando encontrarmos em todos os ramos uma frmula F. Se encontrarmos em todos os ramos da rvore uma frmula F, ento a nossa tentativa de refutao falhou ou seja, o argumento vlido. Se em algum ramo da rvore no foi possvel encontrar uma frmula F, ento refutamos o argumento, isto , o argumento no vlido.

Exemplo: Construir uma rvore de refutao para mostrar que: p

- Escrevemos a premissa e a negao da concluso: 1. p 2. q p

q|

- Sabemos que p p

q verdadeira se, e somente se, p e q so ambas verdadeiras; )a

da, podemos substituir q por p e q gerando as linhas 3. e 4., respectivamente, e MARCANDO ( q. frmula p 1. p 2. 3. p 4. q - Como p verdadeira se e somente se p verdadeira, marcamos pe substitumos por p gerando a linha 5. : q p

(Uma frmula marcada no poder mais ser utilizada na construo da rvore!!!)

1. p 2. 3. p 4. q 5. p

q p

- A rvore terminou pois das premissas e da negao da concluso obtivemos variveis proposicionais ou negaes de variveis proposicionais. Por outro lado encontramos nas linhas 3. e 5. uma frmula F, ou seja, nossa tentativa de refutao falhou e portanto o argumento vlido. Isso ser expresso escrevendo um X no final da lista, gerando a linha 6 e fechando o nico ramo da rvore. 1. p 2. 3. p 4. q 5. p 6. X A rvore de refutao est completa. A nossa busca para uma refutao do argumento dado falhou e, portanto, o argumento vlido. q p

Exemplo:Construir uma rvore de refutao para mostrar que : p

concluso: 1. p 2. p 3. q - Sabemos que p q

q,

p|

- Iniciamos a rvore escrevendo a lista de frmulas as premissas e a negao da

q verdadeira se, e somente se, p verdadeira ou q q e ramificamos a rvore,

verdadeira. Para representar esse fato, marcamos p gerando a linha 4 com dois ramos: 1. p 2. p 3. q q

/ \ 4. p q - A rvore terminou pois das premissas e da negao da concluso obtivemos variveis proposicionais ou negaes de variveis proposicionais. Por outro lado encontramos uma frmula F em um ramo, nas linhas 2. e 4. e no outro ramo, nas linhas 3. e 4., ou seja, nossa tentativa de refutao falhou e portanto o argumento vlido. Isso ser expresso escrevendo um X no final de cada ramo da lista gerando a linha 5 e fechando os dois ramos da rvore. 1. p 2. p 3. q / \ 4. p q 5. X X A rvore de refutao est completa. Como a tentativa de refutao falhou nos dois ramos, o argumento dado vlido. q

Exemplo:Construir uma rvore de refutao para verificar a validade do

argumento: p 1. p 2. p 3. q q equivalente a q; da, marcamos q e escrevemos q gerando a - Temos que linha 4. : 1. p 2. p 3. 4. q - Como no exemplo anterior, marcamos p linha 5. com dois ramos: 1. p q q e ramificamos a rvore gerando a q q q, p | q q

2. p 3. 4. q / \ 5. p q - A rvore terminou e nos dois ramos no h contradies, ou seja, uma frmula F. Neste caso os ramos no sero fechados e o argumento no vlido. REGRAS PARA A CONSTRUO DE UMA RVORE DE REFUTAO As regras para a construo de uma rvore de refutao esto relacionadas com as tabelas verdade j conhecidas. Ao aplicar uma regra em uma frmula da rvore, temos a observar que : - a frmula ser marcada ( uma mesma frmula. - a aplicao de uma regra deve gerar : uma ou duas linhas, um ramo ou dois ramos conforme a regra, e ser aplicada em todos os ramos abertos (no fechados com X) aos quais a frmula pertence. Temos as seguintes regras : ) para evitar aplicaes repetidas de uma regra em q

1. REGRA DA DUPLA NEGAO (

quais a frmula verdadeira. A pertence pois,

) : Uma frmula do tipo

A gera uma linha

e escrevemos A na linha. Procedemos assim em todos os ramos abertos aos A verdadeira se e somente se A B gera duas linhas e B assume valor V se,

2. REGRA DA CONJUNO ( ): Uma frmula do tipo A

ramos abertos aos quais a frmula A 1. A 2. A 3. B B B pertence pois, A

escrevemos, em cada linha, as frmulas A e B. Procedemos assim em todos os e somente, as frmulas A e B so verdadeiras.

3. REGRA DA DISJUNO ( ): Uma frmula do tipo A

B gera uma linha e dois

ramos e escrevemos, na linha e, em cada ramo, as frmulas A e B

respectivamente. Procedemos assim em todos os ramos abertos aos quais a frmula A 1.A B / \ 2. A B B pertence pois, A B assume valor V se, e somente, a frmula A verdadeira ou a frmula B verdadeira.

4. REGRA DA IMPLICAO ( ): Uma frmula do tipo A

B gera uma linha e AeB

dois ramos e escrevemos, na linha e, em cada ramo, as frmulas

frmula A B pertence pois, A B / \ A B

respectivamente. Procedemos assim em todos os ramos abertos aos quais a B assume valor V se, e somente, a frmula A

verdadeira ou a frmula B verdadeira. 1. A

5. REGRA DA BI- IMPLICAO ( ) : Uma frmula do tipo A B gera duas linhas

e dois ramos e escrevemos nas linhas as frmulas A e B em um ramo e as frmulas A e B no outro ramo. Procedemos assim em todos os ramos abertos aos quais a frmula A frmula (A A 2.A 3.B (A B) verdadeira ou a frmula ( A B / \ A B ): Uma frmula do tipo B) gera uma linha e dois ramos e escrevemos, na linha e, em cada ramo, as B) pertence pois, (A B) assume valor V se, e B) verdadeira. B pertence pois, A B assume valor V se, e somente, a

6. REGRA DA NEGAO DA CONJUNO (

frmulas A e B respectivamente. Procedemos assim em todos os ramos abertos aos quais a frmula (A (A B) somente, a frmula A verdadeira ou a frmula B verdadeira.

\ ) : Uma frmula do tipo B)

A B

7. REGRA DA NEGAO DA DISJUNO (

(A

B) gera duas linhas e escrevemos, em cada linha, as frmulas A e B. B) assume valor V se, e somente, as frmulas Ae B so

Procedemos assim em todos os ramos abertos aos quais a frmula (A pertence pois, (A verdadeiras. (A A B B)

8. REGRA DA NEGAO DA IMPLICAO (

(A

) : Uma frmula do tipo B)

B) gera duas linhas e escrevemos, em cada linha, as frmulas A e B. B) assume valor V se, e somente, as frmulas Ae B so

Procedemos assim em todos os ramos abertos aos quais a frmula (A pertence pois, (A verdadeiras. (A 2. A B B)

9. REGRA DA NEGAO DA BI- IMPLICAO (

(A

): Uma frmula do tipo

B) gera duas linhas e dois ramos e escrevemos nas linhas as frmulas A e B) pertence pois, (A B) assume B)

B em um ramo e as frmulas A e B no outro ramo. Procedemos assim em todos os ramos abertos aos quais a frmula (A valor V se, e somente, a frmula ( A verdadeira. (A / A 3. B B) \ A B B) verdadeira ou a frmula (A

10. RAMO FECHADO : Um ramo ser fechado se nele existem uma frmula A e
sua negao A e escrevemos X no final do ramo. 1. A

2. A 3. X

OBSERVAES: - As regras dadas para construir rvores de refutao se aplicam em cada linha ao conectivo principal da frmula e no a subfrmulas. Por exemplo, 1. p q 2. p q 1.( ) (INCORRETO!!) - No importa a ordem em que as regras so aplicadas; no entanto, mais eficiente aplicar as regras, primeiramente, em frmulas que no resultam em ramificaes. - Cada linha gerada deve ser justificada indicando a respectiva linha de origem na qual foi aplicada a regra e tambm a regra usada. - Frmula na qual foi aplicada alguma regra deve ser marcada ( ) para evitar aplicaes repetidas da mesma. Exemplos: 1.) Verificar, por meio de rvore de refutao, a validade do argumento: p r s, r s q , p q 1. p r s Premissa 2. 3. 4. 5. / 6. 7. 8. / 9. 10. 11. (r s) / r X (10.8) \ s X ? (9.5) p X(6.4) r \ q \ r X / (r s) / s ? \ X ( (9.5) / (r q \ s) 1.( \ s 6. ( ) \ q 2.( \ ) ) ) r (p s q) p q Premissa Negao da Concluso 3.( 3.( ) )

(10.8)

Temos neste caso dois ramos que no fecharam e, portanto, o argumento no

vlido.

2.) Construir uma rvore de refutao para verificar se a frmula (p 1. 2. 3. 4. 5. / 6. 7. p X (6.4) q) (p (p (p p q \ q X (6.5) 3. ( ) q) uma tautologia: q) (p q) q) q)) Negao da Concluso 1. ( 1. ( 2. ( 2. ( ) ) ) ) ((p

Todos os ramos esto fechados; assim a frmula vlida, ou seja, uma

tautologia.
CELINA ABAR
- 2004 -

O CLCULO DE PREDICADOS DE 1a ORDEM O Clculo de Predicados, dotado de uma linguagem mais rica, tem vrias aplicaes importantes no s para matemticos e filsofos como tambm para estudantes de Cincia da Computao.

Podemos observar que nas linguagens de programao conhecidas como PROCEDURAIS (Pascal e outras) , os programas so elaborados para "dizer" ao computador a tarefa que deve ser realizada. Em outras linguagens de programao conhecidas como DECLARATIVAS, os programas reunem uma srie de dados e regras e as usam para gerar concluses. Estes programas so conhecidos como SISTEMAS ESPECIALISTAS ou SISTEMAS BASEADOS NO CONHECIMENTO que simulam em muitos casos a ao de um ser humano. Essas linguagens declarativas inclui predicados, quantificadores , conectivos lgicos e regras de inferncia que, como veremos, fazem parte do Clculo de Predicados. Tambm podemos observar, como expomos abaixo, que existem vrios tipos de argumentos os quais, apesar de vlidos, no possvel justific-los com os recursos do Clculo Proposicional: 1. Todo amigo de Carlos amigo de Jonas. Pedro no amigo de Jonas. Logo, Pedro no amigo de Carlos. 2. Todos os humanos so racionais. Alguns animais so humanos. Portanto, alguns animais so racionais. A verificao da validade desses argumentos nos leva no s ao significado dos conectivos mas tambm ao significado de expresses como "todo", "algum", "qualquer", etc.

Smbolos da Linguagem
Para que possamos tornar a estrutura de sentenas complexas mais transparente necessrio a introduo de novos smbolos na linguagem do Clculo Proposicional, obtendo-se a linguagem do Clculo de Predicados de 1 a Ordem. Nesta nova linguagem teremos, alm d os conectivos do clculo proposicional e os

parnteses, os seguintes novos smbolos: variveis: x,y,z,.....,x ,y ,z ,...... constantes : a,b,c,....,a ,b ,c ,...... smbolos de predicados: P , Q , R , S ,.... quantificadores :
(universal) , (existencial) t1 , t2 , ...,tn ...

termos: as variveis e as constantes so designadas pelo nome genrico de

termos os quais sero designados por considerado ("algum", "algo", etc.); as constantes representam objetos identificados do Universo ("Joo", "o ponto A", etc. ); os smbolos de predicados representam propriedades ou relaes entre os objetos do Universo. Exemplos: "Maria inteligente" : I(m) ; onde "m" est identificando Maria e "I" a propriedade de "ser inteligente". "Algum gosta de Maria" : G(x,m) ; onde G representa a relao "gostar de" e "x" representa "algum". De modo geral temos: P(x) : significa que x tem a propriedade P . ( x)P(x): significa que a propriedade P vale para todo x, ou ainda, que todos os objetos do Universo considerado tem a propriedade P. ( x)P(x): significa que algum x tem a propriedade P, ou ainda, que existe no mnimo um objeto do Universo considerado que tem a propriedade P. as variveis representam objetos que no esto identificados no Universo

Notamos que os smbolos de predicados sero unrios, binrios ou n-rios conforme a propriedade que representam envolver, respectivamente um, dois ou mais objetos do universo e dizemos tambm que o smbolo de predicado tem peso 1, peso 2 ... ou peso n. OBS.: Um smbolo de predicados 0-rio (peso zero) identifica-se com um dos smbolos de predicado; por exemplo: "chove" podemos simbolizar "C". As frmulas mais simples do Clculo de Predicados de 1 a Ordem so chamadas de frmulas atmicas e podem ser definidas como: "Se P for um smbolo de predicado de peso n e se t1 , t2 , ...,tn forem termos ento P(t1 , t2 , ...,tn ) uma frmula atmica."

DEFINIO DE FRMULA:
1.Toda frmula atmica uma frmula. 2.Se 3.Se e forem frmulas ento ( ), ( ),( ),( )e( ) so frmulas. for uma frmula e x uma varivel ento ( x) e ( x) so frmulas. 4.As nicas frmulas so dadas por 1. 2. e 3. acima. Exemplos de frmulas: P(x,a); R(y,b,t); ( z)(P(x,a) ( y)( x)R(y,b,t). Assim os argumentos dados no incio podem ser representados simbolicamente como: 1. Todo amigo de Carlos amigo de Jonas. Pedro no amigo de Jonas. Logo, Pedro no amigo de Carlos. ( x) (P(x,c) P(p,j) P(p,c) onde P(x,y) significa que x amigo de y e c, p, j so constantes que representam Carlos, Pedro e Jonas respectivamente. P(x,j)) R(y,b,z)); ( x)( P(x,a) R(y,b,t));

2. Todos os humanos so racionais. Alguns animais so humanos. Portanto, alguns animais so racionais. ( x) (P(x) ( x) (R(x) ( x) (R(x) Q(x)) P(x)) Q(x))

onde P ,Q ,R simbolizam as propriedades de: ser humano, ser racional e ser animal respectivamente.

ESCOPO DE UM QUANTIFICADOR : Se
ento em ( x) ou em ( x) dizemos que ( x). Por exemplo na frmula ( y)( x)(R(y,b,t) quantificadores e seus respectivos escopos: ( y) : ( x)(R(y,b,t) ( x) : (R(y,b,t) ( z) : P(z,a) ( z) P(z,a)) ( z) P(z,a))

uma frmula e x uma varivel, o escopo do quantificador ( x) ou ( z) P(z,a)) temos os seguintes

NEGAO DE FRMULAS QUANTIFICADAS: da definio de frmula dada

acima podemos perceber que um quantificador universal ou existencial pode ser precedido de uma negao. Vejamos como podemos proceder se for necessrio a eliminao dessa negao. Consideremos, por exemplo, a frmula ( x)P(x) e o conjunto universo U={a,b,c}. evidente que nesse caso temos: ( x)P(x) Podemos considerar ento que : ( x)P(x) ( x)P(x) temos (1) ( x) ( x) Da equivalncia acima segue imediatamente que : (P(a) P(b) P(c)) P(a) P(b) P(c) qualquer o qual significa que existe no mnimo um objeto em U tal que P(x) , ou seja , ( x) P(x) ou ainda de modo geral para uma frmula P(a) P(b) P(c).

(2). ( x) P(x) (3). ( x)P(x) (4). ( x) P(x)

( x)P(x) ( x) P(x) ( x)P(x)

ENUNCIADOS CATEGRICOS
Certos enunciados se apresentam freqentemente na Lgica Clssica e tradicionalmente so chamados de Enunciados Categricos. Relacionaremos os quatro enunciados mais comuns que so representados pelas letras A, E, I, O : A - da forma "Todo P Q" (universal afirmativa) E - da forma "Nenhum P Q" ou "Todo P no Q" (universal negativa) I - da forma "Algum P Q" (particular afirmativa) O - da forma "Algum P no Q" (particular negativa) simbolizados respectivamente como: A - ( x)(P(x) E - ( x)(P(x) I - ( x)(P(x) O - ( x)(P(x) Q(x)) Q(x)) Q(x)) Q(x))

DIAGRAMAS DE VENN PARA ENUNCIADOS CATEGRICOS

Se considerarmos P e Q dados acima como dois conjuntos quaisquer, os enunciados dados podem ser interpretados como segue: A: "Todo P Q" afirma que todos os elementos de P so elementos de Q, ou seja, que P um subconjunto de Q, isto , P isto , que P Q= ou ainda que P Q. I : "Algum P Q" afirma que os conjuntos P e Q tm pelo menos um elemento em comum, isto , P Q O: "Algum P no Q" afirma que P tem pelo menos um elemento que no est em Q. E: "Nenhum P Q" afirma que os conjuntos P e Q no tm elementos em comum,

Q, ou ainda, que P Q . Estas interpretaes podem ser feitas atravs de Diagramas de Venn, os quais so teis na verificao da validade de argumentos cujas premissas e concluso so enunciados categricos do tipo A, E, I ou O mas no devem ser considerados instrumentos de prova rigorosa. Lembramos que no Clculo Proposicional os diagramas de Venn foram utilizados para estabelecer uma correlao entre as linhas da tabela verdade de uma frmula e as regies do diagrama de Venn correspondente. Para verificarmos a validade de um argumento, as interpretaes dos enunciados categricos nos Diagramas de Venn sero consideradas como segue: 1. Cada crculo representa uma classe de objeto que quando em branco indica ausncia de informao a respeito do conjunto. 2. Crculo hachurado ou regio de um crculo hachurada, representa regio VAZIA de elementos. 3. Crculo ou regio de um crculo com X representa regio no vazia de elementos. Exemplo: Se J representa o predicado "ser jovem" temos os diagramas abaixo:

REPRESENTAO DOS ENUNCIADOS CATEGRICOS

Os enunciados categricos podem ser representados como segue :

ARGUMENTOS CATEGRICOS VALIDADE DE ARGUMENTOS CATEGRICOS POR DIAGRAMAS DE VENN

Para verificarmos a validade de um argumento categrico procedemos como segue: 1.Transferimos para o diagrama, formado por trs crculos, as informaes das premissas, iniciando pelos enunciados universais; 2.Verificamos se informao dada na concluso esta a r epresentada sem

nenhuma condio e de modo nico.

3.Se isto ocorre ento o argumento vlido. Vejamos os seguintes exemplos: Exemplo I. (1) Todos os cientistas so estudiosos. (2) Alguns cientistas so inventores. (3) Alguns estudiosos so inventores. A parte hachurada corresponde ao enunciado (1), vazia de elementos; a parte assinalada com X corresponde ao enunciado (2). Dessa forma, as informaes das premissas forem transferidas para o diagrama e a concluso (3) est representada. Portanto o argumento vlido. Exemplo II. Todos os brasileiros so felizes. Todos os paulistas so brasileiros. Todos os paulistas so felizes.

Vemos que o argumento vlido pelo diagrama acima. Exemplo III.

(1) Nenhum estudante velho . (2) Alguns jovens no so estudantes. (3)Alguns velhos no so jovens.

A premissa (1) est representada na regio hachurada e a premissa (2) est marcada com X sobre a linha pois a informao correspondente pode estar presente em duas regies e no temos informao para saber especificamente em qual delas. Desse modo o argumento no vlido pois a concluso no est representada com absoluta certeza. A validade de um argumento no depende do contedo dos enunciados e sim da sua forma e da relao entre as premissas e a concluso.

RVORES DE REFUTAO GENERALIZAO PARA O CLCULO DE PREDICADOS DE 1 a ORDEM.

No Clculo Proposicional mostramos como as tabelas verdade, as demonstraes e as rvores de refutao podem ser usadas para a verificao da validade de argumentos e de tautologias. Verificaremos no que segue como as rvores de refutao podem ser generalizadas para o Clculo de Predicados de 1a Ordem. Como anteriormente, as rvores de refutao vo nos permitir verificar a validade de argumentos em um nmero finito de passos. No entanto, esta tcnica no Clculo de Predicados pode no nos fornecer nenhuma resposta e m alguns casos como veremos adiante. A generalizao das rvores de refutao para o Clculo de Predicados de 1 a Ordem manter todas as regras anteriormente dadas para o Clculo Proposicio nal e novas regras sero estipuladas para as frmulas contendo os quantificadores Universal ( ) e Existencial ( ). Teremos ento, alm das dez regras dadas no clculo Proposicional, as seguintes novas regras :

11. Regra da Negao do Quantificador Univers al (

): Uma frmula do tipo . Procedemos assim

( x) gera uma linha na qual escrevemos a frmula ( x)

em todos os ramos abertos aos quais a frmula ( x) pertence.

12. Regra da Negao do Quantificador Existencial (

) : Uma frmula do tipo . Procedemos assim

( x) gera uma linha na qual escrevemos a frmula ( x)

em todos os ramos abertos aos quais a frmula ( x) pertence.

13. Regra do Quantificador Existencial ( ) : Uma frmula do tipo ( x) (x) gera

uma linha na qual escrevemos a frmula (c) onde c uma nova constante que no ocorre em qualquer ramo da rvore e substituir as ocorrncias da varivel x, do quantificador, na frmula . Procedemos assim em todos os ramos abertos aos quais a frmula ( x) (x) pertence. Justificativa: A frmula ( x) (x) significa que existe pelo menos um objeto do Universo que tem a propriedade e este ser identificado, sempre, por uma "nova" constante ou seja, uma constante que no ocorre na rvore.

14. Regra do Quantificador Universal ( ) : Uma frmula do tipo ( x) (x) gera uma
linha na qual escrevemos a frmula (c) onde c qualquer constante que j ocorre em qualquer ramo da rvore e substituir as ocorrncias da varivel x, do quantificador, na frmula . Procedemos assim em todos os ramos abertos aos quais a frmula ( x) (x) pertence. Justificativa: A frmula ( x) (x) significa que todos os objetos do universo tem a propriedade . Sendo assim, a regra deve ser aplicada a todas as constantes presentes na rvore e eventualmente para aquelas que surgirem durante a "construo" da rvore como observamos abaixo.

OBSERVAES IMPORTANTES:
1. Como sabemos, as frmulas para as quais so aplicadas as regras, sempre sero "marcadas" ( ). No entanto, para a regra ( ) do quantificador universal isto no ser obedecido pois, se surgir uma nova constante na rvore por aplicao da regra ( ), para esta constante dever ser aplicada a regra ( ) em todas as frmulas do tipo ( x) (x) da rvore.

2.Somente se nenhuma constante ocorre em algum ramo que podemos introduzir uma nova constante para usar em possveis aplicaes da regra ( ) ao longo do referido ramo. Exemplo I.: Vamos verificar que a frmula ( x)P(x) de refutao. 1. (( x)P(x) 2. ( x)P(x) 3. ( x)P(x) 4. ( x) P(x) 5. P(a) 6. P(a) 7. X ( x)P(x)) Premissa 1. ( 1. ( 3. ( ) ) ) ( x)P(x) vlida por rvore

2. ( ) (obs.2 acima) 4. ( ) 5. e 6. E(x)) I(x)) I(x))

Exemplo II. Verifique a validade do argumento categrico : Todos os cientistas so estudiosos. - ( x)(C(x) Alguns cientistas so inventores. Alguns estudiosos so inventores. 1. 2. 3. 4. 5. 6. 7. 8. 9. / 10. C(a) / 11. X (10,8) 12. E(a) ( x)(C(x) ( x)(C(x) ( x)(E(x) ( x) (C(a) (C(a) (E(a) E(x)) I(x)) I(x)) I(x)) - ( x)(C(x) - ( x)(E(x) Premissa Premissa Premissa Adicional 3.( ) 2. ( ) : a nova constante 1.( ) : a constante que j ocorre 4. ( ) : a constante que j ocorre 5. ( ) 5. ( ) \ E(a) \ I(a) 7.( ) 6.( )

(E(x) I(a)) E(a)) I(a)) C(a) I(a)

X (1,10) X(11,9)

O argumento vlido pois todos os ramos foram fechados.

Exemplo III. Verifique a validade do argumento categrico : Nenhum estudante velho . Alguns jovens no so estudantes Alguns velhos no so jovens. 1. 2. 3. 4. 5. 6. 7. 8. 9. / 10. E(a) / 11. V(a) 12. / \ J(a) \ V(a) / ( x)(E(x) ( x)(J(x) ( x)(V(x) ( x) (J(a) (E(a) (V(a) J(a) E(a) \ V(a) / \ J(a) \ 7.( ) 6.( ) V(x)) E(x)) J(x)) J(x)) E(a)) V(a)) J(a)) 3. ( ) ( x)(E(x) ( x)(J(x) J(x)) ( x)(V(x) Premissa Premissa Premissa Adicional 2. ( ) : a nova constante. 1. ( ) : a constante que j existe. 4. ( ) : a constante que j existe 5. ( ) 5.( ) V(x)) E(x))

(V(x)

O argumento no vlido pois a rvore terminou e temos ramos abertos. Exemplo IV. ( x)( y)P(x,y) , P(a,a) 1. ( x)( y)P(x,y) 2. P(a,a) 3. ( y)P(a,y) 4. P(a,b) 5. ( y)P(b,y) 6. P(b.c) Premissa Premissa adicional. 1. ( ) : a constante que j existe. 3. ( ) : b nova constante. 1. ( ) : b constante que j existe. 5. ( ) : c nova constante.

Como podemos observar a rvore nunca terminar; infinita. Vamos assumir que o argumento no vlido. Na verdade no existe um mtodo efetivo que nos permita decidir sempre, e para qualquer argumento do Clculo de Predicados, se tal argumento vlido ou no vlido. Este resultado mostra que o Clculo de Predicados indecidvel. A

indecidibilidade do Clculo de Predicados pode ser provada e conhecida como "Tese de Church" . H muitos livros de lgica que abord am este assunto. Quando verificamos a validade de um argumento estamos verificando se, no caso das premissas serem verdadeiras elas inferem uma determinada concluso. Isto possvel ser feito por vrios mtodos no Clculo Proposicional os quais no todos se generalizam para o Clculo de Predicados como verificamos acima.

DEFINIES:
Para estudarmos o Clculo de Predicados sobre outros aspectos algumas definies so importantes e as especificamos abaixo:

OCORRNCIAS LIVRE E LIGADA DE UMA VARIVEL:

Uma ocorrncia de uma varivel x numa frmula ligada se x uma varivel de um quantificador na frmula ou x est no escopo de um quantificador ( x) ou ( x) na frmula. Caso contrrio a ocorrncia de x livre.

VARIVEL LIGADA (LIVRE):

Se a ocorrncia de x ligada (livre) numa frmula, dizemos que x varivel ligada (livre) na frmula. Assim uma varivel pode ser livre ou ligada numa mesma frmula. Exemplo:Na frmula ( y)(( x)R(y,b,t) esto numeradas onde: 1 frmula. 2 3 4 5 1,2,3,4 so ligadas e 5 livre. Vemos que x ocorre livre e ligada na mesma ( z) P(x,a)) temos cinco variveis que

SENTENA:
Uma frmula em que no h ocorrncias livres de variveis chamamos de sentena.

TERMO LIVRE PARA UMA VARIVEL:

Um termo t livre para a varivel y na frmula livres. Exemplos: se, quando se substitui as assim obtidas ocorrem ocorrncias livres de y por t, as ocorrncias de t em

1. x livre para y em P(y). 2. x no livre para y em ( x)P(y). 3. x livre para x em qualquer frmula. 4. qualquer termo livre para x numa frmula de x. se em no h ocorrncia livre

PUC-SP Celina Abar 2004

NOES DE LGICA MATEMTICA

BIBLIOGRAFIA BSICA
I. II. III. FUNDAMENTOS MATEMTICOS PARA CINCIA DA COMPUTAO Judith L.Gersting LTC(Livros Tcnicos e Cientficos) - 1995 INTRODUCTION TO MATHEMATICAL LOGIC-E. Mendelson -Wadsworth & Brooks/ Cole Mathematics Series - 1987 THE LANGUAGE OF FIRST-ORDER LOGIC Jon Barwise and John Etchemendy CSLI Stanford - 1992

BIBLIOGRAFIA COMPLEMENTAR
1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12. 13. 14. 15. 16. 17. NOES DE LGICA MATEMTICA - Abar, C. A . A. P. www.pucsp.br/~logica (roteiro terico)e www.pucsp.br/~abarcaap (exerccios) LGEBRA BOOLEANA E CIRCUITOS DE CHAVEAMENTO E. Mendelson - McGraw Hill 1977 INICIAO LGICA MATEMTICA - E. de Alencar Filho -E.Nobel -1984 INTRODUO LGICA MATEMTICA - B.Castrucci - GEEM -1982 INTRODUCTION TO METAMATHEMATICS - S.C.Kleene - van Nostrand - 1952 LGICA - John Nolt / Dennis Rohatyn - Schaum/McGraw Hill - 1991 LGICA - O CLCULO DE PREDICADOS - L.Hegenberg - EDUSP - 1973 LGICA - O CLCULO SENTENCIAL - L.Hegenberg - Herder/EDUSP - 1973 LGICA DINMICA - T. Barreiro de Nudler -Kapelusz Argentina - 1994 LGICA E LGEBRA DE BOOLE - J. Daghlian - Atlas - 1986 LGICA MATEMTICA- H. Cyrino e F. Arantes - Papirus 1984 A FIRST COURSE IN FUZZY LOGIC Hung T. Nguyen and Elbert A. Walker CRC Press 1997 FUZZY LOGIC Daniel Mcneill and Paul Freiberger Touchstone - 1993 INTRODUO LGICA - Cezar A. Mortari - Ed. Unesp - 2001 INTRODUO LGICA E APLICAES- Abe,J.M. e outros - Ed. Pliade - 1999 DISCRETE MATHEMATICS AND ITS APPLICATIONS - Keneth H. Rosen - WCB McGraw-Hill 1999 LGICA PARA CINCIA DA COMPUTAO - Joo Nunes de Souza - Ed. Campus - 2002

Sites: 1. http://www.sandiego.edu/LogicSlave/fmslog.html 2. http://www.nova.edu./~hammack/MathDL/Venn/index.html 3. http://www.javafile.com

Profa. Dra. Celina A. A. P. Abar Depto. de Matemtica - PUCSP-2004 logica@pucsp.br