NOES DE LGICA MATEMTICA UMA CLASSIFICAO DA LGICA Alguns autores dividem o estudo da Lgica em: LGICA INDUTIVA: til

no estudo da teoria da probabilidade (no ser abordada neste roteiro). e LGICA DEDUTIVA: que pode ser dividida em : LGICA CLSSICA- Considerada como o ncleo da lgica dedutiva. o que chamamos hoje de CLCULO DE PREDICADOS DE 1a ORDEM com ou sem igualdade e de alguns de seus subsistemas. Trs Princpios (entre outros) regem a Lgica Clssica: da IDENTIDADE, da CONTRADIO e do TERCEIRO EXCLUDO os quais sero abordados mais adiante. LGICAS COMPLEMENTARES DA CLSSICA: Complementam de algum modo a lgica clssica estendendo o seu domnio. Exemplos: lgicas modal , dentica, epistmica , etc. LGICAS NO - CLSSICAS: Assim caracterizadas por derrogarem algum ou alguns dos princpios da lgica clssica. Exemplos: paracompletas e intuicionistas (derrogam o princpio do terceiro excludo); paraconsistentes (derrogam o princpio da contradio); no-alticas (derrogam o terceiro excludo e o da contradio); noreflexivas (derrogam o princpio da identidade); probabilsticas, polivalentes, fuzzylogic, etc... "ESBOO" DO DESENVOLVIMENTO DA LGICA PERODO ARISTOTLICO ( 390 a.C. a 1840 d.C.) A histria da Lgica tem incio com o filsofo grego ARISTTELES (384 - 322a.C.) de Estagira (hoje Estavo) na Macednia. Aristteles criou a cincia da Lgica cuja essncia era a teoria do silogismo (certa forma de argumento vlido). Seus escritos foram reunidos na obra denominada Organon ou Instrumento da Cincia. Na Grcia, distinguiram-se duas grandes escolas de Lgica, a PERIPATTICA (que derivava de Aristteles) e a ESTICA fundada por Zeno (326-264a.C.). A escola ESTICA foi desenvolvida por Crisipo (280-250a.C.) a partir da escola MEGRIA (fundada por Euclides, um seguidor de Scrates). Segundo Kneale e Kneale (O Desenvolvimento da Lgica), houve durante muitos anos uma certa rivalidade entre os Peripatticos e os Megrios e que isto talvez tenha prejudicado o desenvolvimento da lgica, embora na verdade as teorias destas escolas fossem complementares. GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de seus trabalhos terem tido pouca influncia nos 200 anos seguidos e s foram apreciados e conhecidos no sculo XIX .

 PERODO BOOLEANO :( 1840 a 1910) Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (18061871). Publicaram os fundamentos da chamada lgebra da lgica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC. GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lgica com a obra BEGRIFFSSCHRIFT de 1879. As idias de Frege s foram reconhecidas pelos lgicos mais ou menos a partir de 1905. devido a Frege o desenvolvimento da lgica que se seguiu. GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, Vacca, Pieri, Pdoa, Vailati, etc. Quase toda simbologia da matemtica se deve a essa escola italiana. PERODO ATUAL: (1910- ........) Com BERTRAND RUSSELL (1872-1970) e ALFRED NORTH WHITEHEAD (1861-1947) se inicia o perodo atual da lgica, com a obra PRINCIPIA MATHEMATICA. DAVID HILBERT (1862-1943) e sua escola alem com von Neuman, Bernays, Ackerman e outros. KURT GDEL (1906-1978) e ALFRED TARSKI (1902-1983) com suas importantes contribuies. Surgem as Lgicas no-clssicas : N.C.A. DA COSTA com as lgicas paraconsistentes , L. A. ZADEH com a lgica "fuzzy" e as contribuies dessas lgicas para a Informtica, no campo da Inteligncia Artificial com os Sistemas Especialistas. Hoje as especialidades se multiplicam e as pesquisas em Lgica englobam muitas reas do conhecimento. Saiba mais sobre estes importantes lgicos e matemticos.
CELINA ABAR

NOES DE LGICA MATEMTICA "ESBOO" DO DESENVOLVIMENTO DA LGICA PERODO ARISTOTLICO ( 390 a.C. a 1840 d.C.) A histria da Lgica tem incio com o filsofo grego ARISTTELES (384 - 322a.C.) de Estagira (hoje Estavo) na Macednia. Aristteles criou a cincia da Lgica cuja essncia era a teoria do silogismo (certa forma de argumento vlido). Seus escritos foram reunidos na obra denominada Organon ou Instrumento da Cincia. Na Grcia, distinguiram-se duas grandes escolas de Lgica, a PERIPATTICA (que derivava de Aristteles) e a ESTICA fundada por Zeno (326-264a.C.). A escola ESTICA foi desenvolvida por Crisipo (280-250a.C.) a partir da escola MEGRIA (fundada por Euclides, um seguidor de Scrates). Segundo Kneale e Kneale (O Desenvolvimento da Lgica), houve durante muitos anos uma certa rivalidade entre os Peripatticos e os Megrios e que isto talvez tenha prejudicado o desenvolvimento da lgica, embora na verdade as teorias destas escolas fossem complementares. GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de seus

trabalhos terem tido pouca influncia nos 200 anos seguidos e s foram apreciados e conhecidos no sculo XIX . PERODO BOOLEANO :( 1840 a 1910) Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (18061871). Publicaram os fundamentos da chamada lgebra da lgica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC. GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lgica com a obra BEGRIFFSSCHRIFT de 1879. As idias de Frege s foram reconhecidas pelos lgicos mais ou menos a partir de 1905. devido a Frege o desenvolvimento da lgica que se seguiu. GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, Vacca, Pieri, Pdoa, Vailati, etc. Quase toda simbologia da matemtica se deve a essa escola italiana. PERODO ATUAL: (1910- ........) Com BERTRAND RUSSELL (1872-1970) e ALFRED NORTH WHITEHEAD (1861-1947) se inicia o perodo atual da lgica, com a obra PRINCIPIA MATHEMATICA. DAVID HILBERT (1862-1943) e sua escola alem com von Neuman, Bernays, Ackerman e outros. KURT GDEL (1906-1978) e ALFRED TARSKI (1902-1983) com suas importantes contribuies. Surgem as Lgicas no-clssicas : N.C.A. DA COSTA com as lgicas paraconsistentes , L. A. ZADEH com a lgica "fuzzy" e as contribuies dessas lgicas para a Informtica, no campo da Inteligncia Artificial com os Sistemas Especialistas. Hoje as especialidades se multiplicam e as pesquisas em Lgica englobam muitas reas do conhecimento. ESBOO" DO DESENVOLVIMENTO DA LGICA PERODO ARISTOTLICO ( 390 a.C. a 1840 d.C.) A histria da Lgica tem incio com o filsofo grego ARISTTELES (384 - 322a.C.) de Estagira (hoje Estavo) na Macednia. Aristteles criou a cincia da Lgica cuja essncia era a teoria do silogismo (certa forma de argumento vlido). Seus escritos foram reunidos na obra denominada Organon ou Instrumento da Cincia. Na Grcia, distinguiram-se duas grandes escolas de Lgica, a PERIPATTICA (que derivava de Aristteles) e a ESTICA fundada por Zeno (326-264a.C.). A escola ESTICA foi desenvolvida por Crisipo (280-250a.C.) a partir da escola MEGRIA (fundada por Euclides, um seguidor de Scrates). Segundo Kneale e Kneale (O Desenvolvimento da Lgica), houve durante muitos anos uma certa rivalidade entre os Peripatticos e os Megrios e que isto talvez tenha prejudicado o desenvolvimento da lgica, embora na verdade as teorias destas escolas fossem complementares. GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de seus trabalhos terem tido pouca influncia nos 200 anos seguidos e s foram apreciados e conhecidos no sculo XIX .

 PERODO BOOLEANO :( 1840 a 1910) Inicia-se com GEORGE BOOLE (1815-1864) e AUGUSTUS DE MORGAN (18061871). Publicaram os fundamentos da chamada lgebra da lgica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC. GOTLOB FREGE (1848-1925) um grande passo no desenvolvimento da lgica com a obra BEGRIFFSSCHRIFT de 1879. As idias de Frege s foram reconhecidas pelos lgicos mais ou menos a partir de 1905. devido a Frege o desenvolvimento da lgica que se seguiu. GIUSEPPE PEANO (1858-1932) e sua escola com Burali-Forti, Vacca, Pieri, Pdoa, Vailati, etc. Quase toda simbologia da matemtica se deve a essa escola italiana. PERODO ATUAL: (1910- ........) Com BERTRAND RUSSELL (1872-1970) e ALFRED NORTH WHITEHEAD (1861-1947) se inicia o perodo atual da lgica, com a obra PRINCIPIA MATHEMATICA. DAVID HILBERT (1862-1943) e sua escola alem com von Neuman, Bernays, Ackerman e outros. KURT GDEL (1906-1978) e ALFRED TARSKI (1902-1983) com suas importantes contribuies. Surgem as Lgicas no-clssicas : N.C.A. DA COSTA com as lgicas paraconsistentes , L. A. ZADEH com a lgica "fuzzy" e as contribuies dessas lgicas para a Informtica, no campo da Inteligncia Artificial com os Sistemas Especialistas. Hoje as especialidades se multiplicam e as pesquisas em Lgica englobam muitas reas do conhecimento. Saiba mais sobre estes importantes lgicos e matemticos. 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) . 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 , : se...ento , : se e somente se , : no Exemplos: A lua quadrada e a neve branca. : p q (p e q so chamados conjunctos) A lua quadrada ou a neve branca. : p q ( p e q so chamados disjunctos) Se a lua quadrada ento a neve branca. : p q ( p o antecedente e q o conseqente) A lua quadrada se e somente se a neve branca. : p q 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 q r p q deve ser entendida como (((p q) ( r)) ( p ( 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 F

q
V F V F

pq
V F F F

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

V V F

q
V F V

pq
V V V

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

pq
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

pq
V F F V

Exemplo: Construir a tabela verdade da frmula : ((p q) ~p) (q p) p

V V F F

q
V F V F

((p q) ~p) (q p)
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. Segue-se 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 q) r) ter 8 linhas como segue : p
V V

q
V V

r
V F

((p q) r )
V V V F

V V F F F F

F F V V F F

V F V F V F

F F F F F F

V V V V V V

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

q ((p q) (p q))
V F V F V V V F F F V V V V FV V F F F

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 ou 3 conjuntos. 1.COMPLEMENTAO : pque corresponde NEGAO :p p ~p

onde as linhas (1) e (2) da tabela correspondem s regies (1) e (2) do diagrama respectivamente. 2.UNIO : p q que corresponde DISJUNO: p q p q

p q p q

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 q que corresponde CONJUNO: p q p q p q 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

1 2 3 4 5 6 7 8

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

V F V F V F V F

Exemplo: O diagrama de Venn abaixo corresponde frmula ((p q) r) e expresso (p q) r. O valor V da frmula (ltima coluna) corresponde regio 2 do diagrama de Venn.

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 q) r )
F V F F F F F F V V F F F F F F V V F F V V V F V V V F V V V F

TAUTOLOGIA E CONTRA -TAUTOLOGIA TAUTOLOGIA ou FRMULA LOGICAMENTE VLIDA : Frmula que possui apenas valor V em sua tabela verdade. Exemplo : p p

p
1 2 V F

p p p
F V V V

CONTRA-TAUTOLOGIA ou FRMULA LOGICAMENTE FALSA: Frmula que possui apenas valor F em sua tabela verdade. Exemplo : p p

p
1 2 V F

p p p
F V F F

CONTINGENTE ou INDETERMINADA: Frmula que possui valores V e F em sua tabela verdade. Exemplo : p q

p
1 2 3 4 V V F F

q
V F V F

p q
V F V V

 REGRAS DE INFERNCIA.: A frmula implica tautologicamente a frmula e indicamos se e somente se a frmula uma tautologia .
Regras Modus Ponens Modus Tollens Silogismo Hipottico Silogismo Disjuntivo Simplificao Adio Eliminao Prova por Casos MP MT SH SD SM AD EL CS Frmulas Atmicas p (p q) q q (p q) p (p q) ( q r) (p r) (p q) p q p q p p p q (p (q r) ) q p r Frmulas Compostas A, A B / B B, A B / A A B, B C / A C A, A B / B A B/A A/A B B , (A (B C) / A C

(p r) ( q r) (p q) r A C, B C / (A B ) C

EQUIVALNCIAS TAUTOLGICAS : As frmulas e so tautologicamente equivalentes e indicamos se e somente se a frmula uma tautologia

Comutativa Associativa Idempotente Propriedades de V Propriedades de F Absoro Distributivas Distributivas Leis de De Morgan Def. implicao Def. bicondicional Negao Contraposio Exportao( ) Troca de Premissas

pqqp (p q) r p (q r) ppp pV p p F F p (p r) p

pqqp (p q) r p (q r) ppp pVV p F p p (p r) p

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

Exemplo : Dadas as frmulas A: p (q r) e B : (q r ) p vamos verificar que A B ou ainda que A / B. Basta verificar, com o uso das tabelas verdade, que A B tautologia. p q r ( p (q r)) ( (q r ) p)
V V V V F F F F V V F F V V F F V F V F V F V F V F F F V V V V V V V V V V V V V F F F V V V V

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 logicamente equivalente, que no contenha os conectivos e , transformando-a em uma FORMA NORMAL CONJUNTIVA (FNC) ou em uma FORMA NORMAL DISJUNTIVA (FND) como segue: 1. substitui-se frmulas: A B por A B e A B por ( A B) ( B A) 2. elimina-se a negao que precede os parnteses substituindo-se: (A B) por A B e (A B) por A B . 3. eliminam-se as negaes mltiplas substituindo ( A) por A. 4. elimina-se o alcance dos conectivos substituindo para obter a FNC : A (B C) por (A B) (A C) para obter a FND : A (B C) por (A B) (A 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 no tem alcance sobre os conectivos e . 3. No aparecem negaes sucessivas. 4. O conectivo no tem alcance sobre na FNC e, o conectivo no tem alcance sobre na FND.

Exemplos:

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

Exemplo: Determine uma FND e uma FNC equivalente frmula ((p q) q) ( r q) . 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. ((p q) q) ( r q) ((p q) q) ( r q) ( (p q) q) (r q) ( p q) q (r q ) ( p q) q (r q ) (( p q) ( q q)) (r q) (( p q) V) (r q) ( p q) ( r q) ( p q r) ( p q q) ( p q r) ( p 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 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 q ?
V V F F V F V F V F F V

(p q)

( p q)

Resposta: Frmula obtida (p q) ( p q) FND Para se obter uma FNC: 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 q ?
V V F F V F V F V F F V

p q p 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

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 em B, uma operao singular em B e dois elementos distintos 0 e 1 de B tais que valem as seguintes propriedades: (para todo p , q , r em B ) :

Associativa Comutativa

(p + q) + r = p + (q + r) p+q=q+p

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

Idempotente Absoro Distributiva Propriedades do 0 Propriedades do 1

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

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

Quaisquer que seja p em B, existe p em p + p = 1 B tal que

Indicamos uma lgebra Booleana por [ B , + , , , 0 , 1 ]. - A operao p 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 B) a) Duas variveis:

A B B b) Trs variveis : AB AB C C c) Quatro variveis : AB CD CD CD CD Em cada mapa: AB

AB

AB

AB

AB

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. 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 seja, esto

ambos "abertos" o que corresponde no Clculo Proposicional tabela verdade da disjuno p q . Em srie indicado por p q ou pq 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 B) + (P A B ) + (P A B) que simplificando por Mapa de Karnaugh temos PA + PB = P ( A + B) sendo simples a representao do circuito. P A B ?

1 1 1 1 0 0 0 0

1 1 0 0 1 1 0 0

1 0 1 0 1 0 1 0

1 1 1 0 0 0 0 0

CELINA ABAR - 2004

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 A1 A2A3 ... 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 A2A3 ... An B tautologia. Exemplo: O argumento p, q r, r, q vlido pois a frmula (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 r r V F V V V F V V F V F V F V F V

q 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 r , r , q Demonstrao : 1. p premissa 2. q r premissa 3. r premissa 4. q Concluso (2 e 3 : Modus Tollens) Exemplo :Demonstrar a validade do argumento p q , q r , r s , s p Demonstrao : 1. p q premissa 2. q r premissa 3. r s premissa 4. p r 1.2. Silogismo Hipottico 5. r s 3. Def. de implicao 6. p s 4.5. Silogismo Hipottico 7. s p 6. Contraposio 8. s p Concluso 7. Negao

2. DEMONSTRAO INDIRETA - CONDICIONAL Para demonstrar a validade de argumentos cuja concluso uma frmula condicional do tipo B C , considera-se o antecedente B, como uma premissa adicional e o conseqenteC ser a concluso a ser demonstrada. De fato, sendo: 1. A1 , A2 , A3 ,... , An , B , C vlido ento 2. A1 , A2 , A3 ,... , An , B | C isto , 3. ((A1 A2 A3 ... An ) B ) C tautologia 4. (A1 A2 A3 ... An ) (B C) tautologia (Importao e Exportao) e portanto 5. A1 , A2 , A3 ,... , An | B C ou ainda, 6. A1 , A2 , A3 ,... , An, B C vlido Exemplo : Demonstrar a validade do argumento p q , q r , r s , s p Demonstrao : 1. p q premissa 2. q r premissa 3. r s premissa 4. s premissa adicional 5. r 3.4. Silogismo Disjuntivo 6. p r 1.2. Silogismo Hipottico 7. r p 6. Contraposio 8. p 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 conclusoB como premissa adicional e conclui-se uma frmula F (frmula falsa do tipo ) De fato, sendo: 1.A1 , A2 , A3 ,..., An , B | F vlido, temos 2.A1 , A2 , A3 ,..., An | B F isto , 3.A1 , A2 , A3 ,..., An | B F (Def. implicao) 4.A1 , A2 , A3 ,..., An | B F (Negao) 5.A1 , A2 , A3 ,..., An |B (Propriedade de F) ou ainda, 6.A1 , A2 , A3 ,... , An , B vlido. Exemplo : Demonstrar, por absurdo, a validade do argumento p q , q r , r s , s p 1.p q premissa 2. q r premissa 3. r s premissa

4. ( s p) premissa adicional 5.p r 1.2. Silogismo Hipottico 6. r s 3. Def. de implicao 7. p s 5.6. Silogismo Hipottico 8. s p 7. Contraposio 9. ( s p) ( s p) 4. 8. Conjuno 10. F
CELINA ABAR - 2004

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 q | p - Escrevemos a premissa e a negao da concluso: 1. p q 2. p - Sabemos que p q verdadeira se, e somente se, p e q so ambas verdadeiras; da, podemos substituir p q por p e q gerando as linhas 3. e 4., respectivamente, e MARCANDO ( ) a frmula p q . (Uma frmula marcada no poder mais ser utilizada na construo da rvore!!!) 1. p q 2. p 3. p 4. q - Como p verdadeira se e somente se p verdadeira, marcamos p e substitumos por p gerando a linha 5. : 1. p q 2. p 3. p

4. q 5. 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 q 2.p 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. Exemplo:Construir uma rvore de refutao para mostrar que : p q, p |q - Iniciamos a rvore escrevendo a lista de frmulas as premissas e a negao da concluso: 1. p q 2. p 3. q - Sabemos que p q verdadeira se, e somente se, p verdadeira ou q verdadeira. Para representar esse fato, marcamos p q e ramificamos a rvore, gerando a linha 4 com dois ramos: 1. p q 2. p 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 q 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. Exemplo:Construir uma rvore de refutao para verificar a validade do argumento: p q, p | q 1. p q 2. p 3. q - Temos que q equivalente a q; da, marcamos q e escrevemos q gerando a linha 4. : 1. p q 2. p 3. q 4. q - Como no exemplo anterior, marcamos p q e ramificamos a rvore gerando a linha 5. com dois ramos: 1. p q 2. p 3. q 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 ( ) para evitar aplicaes repetidas de uma regra em 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 : 1. REGRA DA DUPLA NEGAO () : Uma frmula do tipo A gera uma linha e escrevemos A na linha. Procedemos assim em todos os ramos abertos aos quais a frmula A pertence pois, A verdadeira se e somente se A verdadeira. 2. REGRA DA CONJUNO (): Uma frmula do tipo A B gera duas linhas e escrevemos, em cada linha, as frmulas A e B. Procedemos assim em todos os ramos

abertos aos quais a frmula A B pertence pois, A B assume valor V se, e somente, as frmulas A e B so verdadeiras. 1. A B 2. A 3. B 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 B pertence pois, A B assume valor V se, e somente, a frmula A verdadeira ou a frmula B verdadeira. 1.A B / \ 2. A B 4. REGRA DA IMPLICAO (): 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 B pertence pois, A B assume valor V se, e somente, a frmula A verdadeira ou a frmula B verdadeira. 1. A B / \ 2. A B 5. REGRA DA BI- IMPLICAO () : Uma frmula do tipo AB gera duas linhas e dois ramos e escrevemos nas linhas as frmulas A e B em um ramo e as frmulas A eB no outro ramo. Procedemos assim em todos os ramos abertos aos quais a frmula AB pertence pois, AB assume valor V se, e somente, a frmula (A B) verdadeira ou a frmula ( A B) verdadeira. 1.AB / \ 2.A A 3.B B 6. REGRA DA NEGAO DA CONJUNO ( ): 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 B) pertence pois, (A B) assume valor V se, e somente, a frmula A verdadeira ou a frmula B verdadeira. 1. (A B) / \ 2. A B 7. REGRA DA NEGAO DA DISJUNO ( ) : Uma frmula do tipo (A B) gera duas linhas e escrevemos, em cada linha, as frmulas A e B. Procedemos assim em todos os ramos abertos aos quais a frmula (A B) pertence

pois, (A B) assume valor V se, e somente, as frmulas AeB so verdadeiras. 1. (A B) 2. A 3. B 8. REGRA DA NEGAO DA IMPLICAO () : Uma frmula do tipo (A B) gera duas linhas e escrevemos, em cada linha, as frmulas A e B. Procedemos assim em todos os ramos abertos aos quais a frmula (A B) pertence pois, (A B) assume valor V se, e somente, as frmulas Ae B so verdadeiras. 1. (A B) 2. A 3. B 9. REGRA DA NEGAO DA BI- IMPLICAO (): Uma frmula do tipo (AB) 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 (AB) pertence pois, (AB) assume valor V se, e somente, a frmula (A B) verdadeira ou a frmula (A B) verdadeira. 1.(AB) / \ 2. A A 3. B B 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. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11.

p r s Premissa r s q Premissa (p q) Negao da Concluso p 3.( ) q 3.( ) / \ p (r s) 1.( ) X(6.4) / \ r s 6. ( ) / \ / \ (r s) q (r s) q 2.( ) / \ \ / \ \ r s X r s X ( ) X ? (9.5) X ? (9.5) (10.8) (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 q) (p q) uma tautologia: ((p q) (p q)) Negao da Concluso (p q) 1. ( ) (p q) 1. ( ) p 2. () q 2. () / \ 6. p q 3. ( ) 7. X X (6.4) (6.5) Todos os ramos esto fechados; assim a frmula vlida, ou seja, uma tautologia. 1. 2. 3. 4. 5.
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 1a Ordem. Nesta nova linguagem teremos, alm dos 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) termos: as variveis e as constantes so designadas pelo nome genrico de termos os quais sero designados por t1 , t2 , ...,tn ... as variveis representam objetos que no esto identificados no Universo 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. 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 1a 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 e forem frmulas ento (), () , ( ) , ( ) e () so frmulas. 3.Se 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) R(y,b,z)); (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(x,j)) 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. 2. Todos os humanos so racionais. Alguns animais so humanos. Portanto, alguns animais so racionais.

(x)(P(x,a) R(y,b,t));

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

ESCOPO DE UM QUANTIFICADOR : Se uma frmula e x uma varivel, ento em (x) ou em (x) dizemos que o escopo do quantificador (x) ou (x).
Por exemplo na frmula (y)(x)(R(y,b,t) (z) P(z,a)) temos os seguintes quantificadores e seus respectivos escopos: (y) : (x)(R(y,b,t) (z) P(z,a)) (x) : (R(y,b,t) (z) P(z,a)) (z) : P(z,a)

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) P(a) P(b) P(c). Podemos considerar ento que : (x)P(x) (P(a) P(b) P(c)) P(a) P(b) P(c) o qual significa que existe no mnimo um objeto em U tal que P(x) , ou seja , (x)P(x) (x) P(x) ou ainda de modo geral para uma frmula qualquer temos (1)(x) (x) Da equivalncia acima segue imediatamente que : (2). (x)P(x) (x)P(x) (3). (x)P(x) (x)P(x) (4). (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) Q(x)) E - (x)(P(x) Q(x)) I - (x)(P(x) Q(x)) O - (x)(P(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 Q . E: "Nenhum P Q" afirma que os conjuntos P e Q no tm elementos em comum, 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, 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 representada 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 1a 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 em alguns casos como veremos adiante. A generalizao das rvores de refutao para o Clculo de Predicados de 1a Ordem manter todas as regras anteriormente dadas para o Clculo Proposicional 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 Universal (): Uma frmula do tipo (x) gera uma linha na qual escrevemos a frmula (x). Procedemos assim em todos os ramos abertos aos quais a frmula (x) pertence. 12. Regra da Negao do Quantificador Existencial() : Uma frmula do tipo (x) gera uma linha na qual escrevemos a frmula (x). Procedemos assim 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) (x)P(x) vlida por rvore de refutao. 1. ((x)P(x) (x)P(x)) Premissa 2. (x)P(x) 1. () 3. (x)P(x) 1. ()

4. (x)P(x) 5. P(a) 6. P(a) 7. X

3. () 2. () (obs.2 acima) 4. () 5. e 6.

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

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

11. V(a) J(a) 12. / \

V(a) J(a) / \

7.()

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 abordam 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) (z) P(x,a)) temos cinco variveis que esto numeradas onde: 1 2 3 4 5 1,2,3,4 so ligadas e 5 livre. Vemos que x ocorre livre e ligada na mesma frmula.

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 se, quando se substitui as ocorrncias livres de y por t, as ocorrncias de t em assim obtidas ocorrem livres.
Exemplos: 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 se em no h ocorrncia livre de x.

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.

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

3. INICIAO LGICA MATEMTICA - E. de Alencar Filho -E.Nobel -1984 4. INTRODUO LGICA MATEMTICA - B.Castrucci - GEEM -1982 5. INTRODUCTION TO METAMATHEMATICS - S.C.Kleene - van Nostrand - 1952 6. LGICA - John Nolt / Dennis Rohatyn - Schaum/McGraw Hill - 1991 7. LGICA - O CLCULO DE PREDICADOS - L.Hegenberg - EDUSP - 1973 8. LGICA - O CLCULO SENTENCIAL - L.Hegenberg - Herder/EDUSP - 1973 9. LGICA DINMICA - T. Barreiro de Nudler -Kapelusz Argentina - 1994 10. LGICA E LGEBRA DE BOOLE - J. Daghlian - Atlas - 1986 11. LGICA MATEMTICA- H. Cyrino e F. Arantes - Papirus 1984 12. A FIRST COURSE IN FUZZY LOGIC Hung T. Nguyen and Elbert A. Walker CRC Press
1997

13. FUZZY LOGIC Daniel Mcneill and Paul Freiberger Touchstone - 1993 14. INTRODUO LGICA - Cezar A. Mortari - Ed. Unesp - 2001 15. INTRODUO LGICA E APLICAES- Abe,J.M. e outros - Ed. Pliade - 1999

16. DISCRETE MATHEMATICS AND ITS APPLICATIONS - Keneth H. Rosen - WCB McGrawHill - 1999

17. LGICA PARA CINCIA DA COMPUTAO - Joo Nunes de Souza - Ed. Campus - 2002
Sites: 1. http://www.sandiego.edu/LogicSlave/fmslog.html 2. http://nlvm.usu.edu/en/nav/frames_asid_153_g_2_t_1.html?open=instructions&from=topic_t_1. html 3. http://www.cfh.ufsc.br/~dkrause/pg/cursos/lparac.htm 4. http://www.javafile.com

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

http://www.das.ufsc.br/~gb/pg-ia/rdec/ Simbologia: Tabelas Verdade: Sejam p e q proposies: Tabela do "ou" ( ) p q pq V V V V F V F V V F F F Tabela do "E" ( ) p q pq V V V V F F F V F F F F Tabela do "se..., ento ..." (implicao). p q pq V V V V F F F V V F F V Tabela do "se, e somente se" p q pq V V V V F F F V F F F V

= igual ou e unio interseco ~ no existe no existe | existe e nico para todo (qualquer) implicao se, somente se .... 03031088403