Professional Documents
Culture Documents
30.08.03 21:11
http://www.pucsp.br/~logica/principal.htm
Page 1 of 1
A:\LOGICA.CHI
30.08.03 21:12
PONTIFCIA UNIVERSIDADE CATLICA DE SO PAULO CENTRO DE CINCIAS EXATAS E TECNOLOGIA - CELINA A.A.P. ABAR - 1999 -
http://www.pucsp.br/~logica/Inicio.htm
Page 1 of 1
A:\LOGICA.CHI
30.08.03 21:13
http://www.pucsp.br/~logica/Introducao.htm
Page 1 of 1
A:\LOGICA.CHI
30.08.03 21:13
http://www.pucsp.br/~logica/Classificacao.htm
Page 1 of 1
A:\LOGICA.CHI
30.08.03 21:14
http://www.pucsp.br/~logica/Desenvolvimento.htm
Page 1 of 1
A:\LOGICA.CHI
30.08.03 21:15
http://www.pucsp.br/~logica/Proposicional.htm
Page 1 of 5
A:\LOGICA.CHI
30.08.03 21:15
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))) 5.3 - 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).
http://www.pucsp.br/~logica/Proposicional.htm
Page 2 of 5
A:\LOGICA.CHI
30.08.03 21:15
p
V F
~p
F V
q
V F V F
pq
V F F F
q
V F V F
pq
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
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
http://www.pucsp.br/~logica/Proposicional.htm
Page 3 of 5
A:\LOGICA.CHI
30.08.03 21:15
p
V V F F
q
V F V F
pq
V F F V
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 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 )
V V F F F F F F V 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)).
http://www.pucsp.br/~logica/Proposicional.htm
Page 4 of 5
A:\LOGICA.CHI
30.08.03 21:15
p
V V F F
q
V F V F
((p q) (p q))
V V V F F F V V V V FV V F F F
http://www.pucsp.br/~logica/Proposicional.htm
Page 5 of 5
A:\LOGICA.CHI
30.08.03 21:15
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 q que corresponde DISJUNO: p q pq
http://www.pucsp.br/~logica/Conjuntos.htm
Page 1 of 8
A:\LOGICA.CHI
30.08.03 21:15
pq
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 pq p q p q
1 2 3 4
V V F F
V F V F
V F F F
A regio hachurada do diagrama corresponde linha (1) da tabela, onde a frmula pq 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 :
http://www.pucsp.br/~logica/Conjuntos.htm
Page 2 of 8
A:\LOGICA.CHI
30.08.03 21:15
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
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
http://www.pucsp.br/~logica/Conjuntos.htm
Page 3 of 8
A:\LOGICA.CHI
30.08.03 21:15
p
1 2 V F
p pp
F V 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
p pp
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
pq
V F V V
http://www.pucsp.br/~logica/Conjuntos.htm
Page 4 of 8
A:\LOGICA.CHI
30.08.03 21:15
Regras Modus Ponens Modus Tollens Silogismo Hipottico Silogismo Disjuntivo Simplificao Adio Eliminao Prova por Casos MP MT SH SD SM AD EL CS
pq
(p (q r) ) q (p r) ( q r)
EQUIVALNCIAS TAUTOLGICAS : As frmulas e so tautolgicamente 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( ) pqqp (p q) r p (q r) ppp pVp pFF p(pr) p 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 ) pqqp (p q) r p (q r) ppp pVV pFp p (p r) p 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)
Troca de Premissas
Exemplo : Dadas as frmulas A: p (q r) e B : (q r ) p vamos verificar que A que A / B. Basta verificar, com o uso das tabelas verdade, que A B tautologia. p q r ( p (q r)) ( (q r ) p)
http://www.pucsp.br/~logica/Conjuntos.htm
B ou ainda
Page 5 of 8
A:\LOGICA.CHI
30.08.03 21:15
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.
A:\LOGICA.CHI
30.08.03 21:15
((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
(p q)
( p q)
A:\LOGICA.CHI
30.08.03 21:15
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
pq pq
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.
http://www.pucsp.br/~logica/Conjuntos.htm
Page 8 of 8
A:\LOGICA.CHI
30.08.03 21:16
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
http://www.pucsp.br/~logica/Booleana.htm Page 1 of 5
A:\LOGICA.CHI
30.08.03 21:16
(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.
MAPA DE KARNAUGH
De modo sucinto podemos dizer que o MAPA DE KARNAUGH 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 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. Exemplos: Representar a expresso ABC + ABC + ABC AB AB AB AB AB AB A
http://www.pucsp.br/~logica/Booleana.htm
Page 2 of 5
A:\LOGICA.CHI
30.08.03 21:16
AB C C 1
AB 1
AB 1
AB
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
Page 3 of 5
A:\LOGICA.CHI
30.08.03 21:16
A introduo de uma lgebra Booleana no estudo dos circuitos deve-se ao matemtico americano CLAUDE E. SHANNON (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 q 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 biimplicao 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 :
http://www.pucsp.br/~logica/Booleana.htm
Page 4 of 5
A:\LOGICA.CHI
30.08.03 21:16
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 1 1 1 1 0 0 0 0 A 1 1 0 0 1 1 0 0 B 1 0 1 0 1 0 1 0 ? 1 1 1 0 0 0 0 0
http://www.pucsp.br/~logica/Booleana.htm
Page 5 of 5
LOGICA5
30.08.03 21:17
http://www.pucsp.br/~logica/Argumento.htm
Page 1 of 4
LOGICA5
30.08.03 21:17
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
qr 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
LOGICA5
30.08.03 21:17
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 |3 4 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 |3 4 B C ou ainda, 6. A1 , A2 , A 3 ,... , 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 |3 4 F vlido, temos 2.A1 , A2 , A3 ,..., An |3 4 B F isto , 3.A1 , A2 , A3 ,..., An |3 4 B F (Def. implicao) 4.A1 , A2 , A3 ,..., An |3 4 B F (Negao) 5.A1 , A2 , A3 ,..., An |3 4B (Propriedade de F) ou ainda, 6.A1 , A2 , A 3 ,... , 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
http://www.pucsp.br/~logica/Argumento.htm Page 3 of 4
LOGICA5
30.08.03 21:17
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 9.
http://www.pucsp.br/~logica/Argumento.htm
Page 4 of 4
LOGICA5
30.08.03 21:18
LOGICA5
30.08.03 21:18
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 |3 4q - 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 |3 4 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
http://www.pucsp.br/~logica/Arvore.htm Page 2 of 6
LOGICA5
30.08.03 21:18
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.
LOGICA5
30.08.03 21:18
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
http://www.pucsp.br/~logica/Arvore.htm Page 4 of 6
LOGICA5
30.08.03 21:18
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. prs Premissa rsq 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)
http://www.pucsp.br/~logica/Arvore.htm
Page 5 of 6
LOGICA5
30.08.03 21:18
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.
http://www.pucsp.br/~logica/Arvore.htm
Page 6 of 6
30.08.03 21:19
http://www.pucsp.br/~logica/CalculodePredicados.htm
Page 1 of 10
30.08.03 21:19
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)); (x)(P(x,a) R(y,b,t)); (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)
http://www.pucsp.br/~logica/CalculodePredicados.htm Page 2 of 10
30.08.03 21:19
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) 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)
http://www.pucsp.br/~logica/CalculodePredicados.htm
Page 3 of 10
30.08.03 21:19
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))
http://www.pucsp.br/~logica/CalculodePredicados.htm
Page 4 of 10
30.08.03 21:19
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.
http://www.pucsp.br/~logica/CalculodePredicados.htm
Page 5 of 10
30.08.03 21:19
Vemos que o argumento vlido pelo diagrama acima.Lembre-se que parte hachurada regio vazia! 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 conclusao 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
http://www.pucsp.br/~logica/CalculodePredicados.htm Page 6 of 10
30.08.03 21:19
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)) 2. (x)P(x) 3. (x)P(x) 4. (x)P(x) 5. P(a) Premissa 1. () 1. () 3. () 2. () (obs.2 acima)
Page 7 of 10
http://www.pucsp.br/~logica/CalculodePredicados.htm
30.08.03 21:19
6. P(a) 7. X
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)) 1. ( x)(E(x) V(x)) Premissa 2. (x)(J(x) E(x)) Premissa 3. (x)(V(x) J(x)) Premissa Adicional 4. (x) (V(x) J(x)) 3. () 5. (J(a) E(a)) 2. () : a nova constante. 6. (E(a) V(a)) 1. () : a constante que j existe. 7. (V(a) J(a)) 4. () : a constante que j existe 8. J(a) 5. () E(a) 9. 5.() / \ 10. E(a) V(a) 6.() / \ / \ 11. V(a) J(a) V(a) J(a) 7.() 12. / \ / \
http://www.pucsp.br/~logica/CalculodePredicados.htm Page 8 of 10
30.08.03 21:19
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:
http://www.pucsp.br/~logica/CalculodePredicados.htm Page 9 of 10
30.08.03 21:19
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.
PONTIFCIA UNIVERSIDADE CATLICA DE SO PAULO CENTRO DE CINCIAS EXATAS E TECNOLOGIA - CELINA A.A.P. ABAR - 2001 -
http://www.pucsp.br/~logica/CalculodePredicados.htm
Page 10 of 10