lÓgica zlÓgica bÁsica por: thais lima machado.. lógica zcálculo proposicional zcálculo de...
TRANSCRIPT
![Page 1: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/1.jpg)
LÓGICA
LÓGICA BÁSICA
Por: Thais Lima Machado.
![Page 2: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/2.jpg)
Lógica
Cálculo Proposicional
Cálculo de Predicados
Prova de Teoremas
![Page 3: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/3.jpg)
Lógica
Cálculo Proposicional
![Page 4: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/4.jpg)
Lógica - Cálculo Proposicional
Cálculo interessado pelas sentenças declarativas (proposições).
Proposições podem ser verdadeiras ou falsas.
![Page 5: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/5.jpg)
Lógica - Cálculo Proposicional
Vocabulário: Operadores lógicos:
Negação: ~(Não é o caso que)Conjunção: &(e)Disjunção: v (ou) Condicional: -> (se..então)Bicondicional: (se e somente se)
![Page 6: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/6.jpg)
Lógica - Cálculo Proposicional
Vocabulário: Letras Sentenciais:
Letras maiúsculas seguidas ou não de números.
Parênteses:( , )
![Page 7: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/7.jpg)
Lógica - Cálculo Proposicional
Regras de Formação: Qualquer letra sentencial é uma fbf. Se x é uma fbf, então ~x também o é. Se x e y são fbfs, então (x & y), (x v y),
(x y) e (x y) também são.
fbf: Fórmula bem formada.
![Page 8: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/8.jpg)
Lógica - Cálculo Proposicional
Definições: Fórmula Válida: Se e somente se for verdadeira
para todas as interpretações possíveis. Fórmula Inválida: Caso existir alguma
interpretação em que for falsa. Fórmula Inconsistente (Insatisfatível): Se e
somente se for falsa para todas as suas interpretações.
Fórmula Consistente: Se existir alguma interpretação onde ela for verdadeira.
Tautologia: Proposição que é sempre verdade, independente dos valores de seus componentes.
![Page 9: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/9.jpg)
Lógica - Cálculo Proposicional
Regras de Inferências:
São regras hipotéticas ou não que geram as formas de argumentos numa série de etapas simples e precisas de raciocínio, chamadas de derivação ou prova.
![Page 10: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/10.jpg)
Lógica - Cálculo Proposicional
Regras de Inferências: Regras Básicas:
Modus Poneuns (MP): De um condicional e seu antecedente podemos inferir o seu conseqüente.
Eliminação de Negação (~E): De um fbf da forma ~~x, podemos inferir x.
Introdução de Conjunção (&I): De quaisquer fbfs x e y, podemos inferir a conjunção x & y.
![Page 11: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/11.jpg)
Lógica - Cálculo Proposicional
Regras de Inferências: Regras Básicas:
Eliminação de Conjunção (&E): De um conjunção podemos inferir qualquer um dos seus conjuntos (são cada uma das sentenças ligadas pela conjunção).
Introdução de Disjunção (vI): De uma fbf x, podemos inferir a disjunção de x com qualquer fbf.
Eliminação de Disjunção (vE): De fbfs da forma xvy, x z e yz, podemos inferir a fbf z.
![Page 12: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/12.jpg)
Lógica - Cálculo Proposicional
Regras de Inferências: Regras Básicas:
Introdução do Bicondicional ( I): De quaisquer fbfs de formas (xy) e (yx) podemos inferir xy.
Eliminação do Bicondicional ( E): De quaisquer fbfs de formas (xy), podemos inferir (xy) ou (yx).
![Page 13: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/13.jpg)
Lógica - Cálculo Proposicional
Regras de Inferências: Regras Básicas:
Prova do Condicional (PC): Dada uma derivação de uma fbf x a partir de uma hipótese y, podemos descartar a hipótese e inferir yx.
Redução ao Absurdo (RAA): Dada uma derivação de uma contradição a partir de uma hipótese x, podemos descartar a hipótese e inferir ~x.
![Page 14: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/14.jpg)
Lógica - Cálculo Proposicional
Tabela Verdade Negação
x ~xV FF V
![Page 15: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/15.jpg)
Lógica - Cálculo Proposicional
Tabela Verdade Conjunção
x y x & yV V VV F FF V FF F F
![Page 16: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/16.jpg)
Lógica - Cálculo Proposicional
Tabela Verdade Disjunção
x y x v yV V VV F VF V VF F F
![Page 17: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/17.jpg)
Lógica - Cálculo Proposicional
Tabela Verdade Condicional ‘P Q = ~(P & Q)’
x y x yV V VV F FF V VF F V
![Page 18: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/18.jpg)
Lógica - Cálculo Proposicional
Tabela Verdade Bicondicional P Q = (P Q) & (Q P)
x y x yV V VV F FF V FF F V
![Page 19: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/19.jpg)
Lógica
Cálculo dos Predicados
![Page 20: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/20.jpg)
Lógica- Cálculo dos Predicados
Introduz noções lógicas para expressar qualquer conjunto.
Expressa através de três tipos de expressões: termos, predicados, quantificadores.
![Page 21: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/21.jpg)
Lógica- Cálculo dos Predicados
Definições: Classe de Atributo: São representadas
pelos substantivos comuns, locuções nominais, adjetivos, locuções adjetivas, verbos, e locuções verbais.
Quantificadores: São operadores lógicosque expressam relações entre os conjuntos designados pelas classes de atributos lógicos. Eles são classificados de universais e existenciais.
![Page 22: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/22.jpg)
Lógica- Cálculo dos Predicados
Definições: Quantificador Universal (): Esse tipo de
quantificador é formado pelas expressões “todo” e “nenhum”.
Quantificador Existencial (): Esse tipo de quantificador é formado pela expressão “algum”.
Predicados: Serão denotados por letras maiúsculas.
![Page 23: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/23.jpg)
Lógica- Cálculo dos Predicados
Vocabulário Símbolos lógicos:
Operadores lógicos: ~, &, v, , .Quantificadores: , .Parênteses: ( , ).
![Page 24: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/24.jpg)
Lógica- Cálculo dos Predicados
Vocabulário Símbolos não-lógicos:
Letras Normais: letras minúsculas de “a” a “t”.
Variaveis: letras minúsculas de “u” a “z”.Letras Predicativas: letras minúsculas.
![Page 25: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/25.jpg)
Lógica- Cálculo dos Predicados
Regras de Formação: Toda fórmula atômica é uma fbf. Se x é uma fbf, então ~x também o é. Se x e y são fbfs, então (x & y), (x v y),
(x y) e (x y) também o são.
![Page 26: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/26.jpg)
Lógica- Cálculo dos Predicados
Regras de Inferência:
Todas as regras definidas na lógica proposicional são utilizadas para o cálculo de predicados, apenas referenciando-se para os quantificadores.
![Page 27: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/27.jpg)
Lógica- Cálculo dos Predicados
Regras de Inferência: Regras Básicas:
Eliminação Universal (EU): De uma fbf quantificadora universalmente, x, infere-se qualquer fbf da forma x/, a qual resulta de se substituir cada ocorrência da variável em x por uma letra nominal .
![Page 28: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/28.jpg)
Lógica- Cálculo dos Predicados
Regras de Inferência: Regras Básicas:
Introdução Universal (IU): De uma fbf x contendo uma letra nominal , que não corre em qualquer premissa ou em qualquer hipótese vigente na linha em que x ocorre, infere-se uma fbf da forma x/, onde x/ é resultado de se substituir todas as ocorrências de em x por uma variável que não ocorra em x.
![Page 29: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/29.jpg)
Lógica- Cálculo dos Predicados
Regras de Inferência: Regras Básicas:
Introdução Existencial (IE): Dada um fbf x contendo uma letra nominal , infere-se uma fbf da forma x/, onde x/ é resultado de se substituir uma ou mais ocorrências de em x por uma variável que não ocorra em x.
![Page 30: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/30.jpg)
Lógica- Cálculo dos Predicados
Regras de Inferência: Regras Básicas:
Eliminação Existencial (EE): Dada uma fbf quantificada existencialmente, x e uma derivação de uma conclusão y a partir da hipótese do tipo x/ (o resultado de se substituir cada ocorrência da variável em x por uma letra nominal que não ocorra em x), descarta-se x/ e afirma-se y.
![Page 31: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/31.jpg)
Lógica
Prova de Teoremas
![Page 32: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/32.jpg)
Lógica- Prova de Teoremas
Provar teoremas faz parte da inteligência humana.
Técnica levada para a IA.Na IA, a área que mais utiliza é SE’sObjetivo: provar que uma forma é
conseqüência lógica de outras formulas.
![Page 33: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/33.jpg)
Lógica- Prova de Teoremas
Definições: Prova: É a demonstração que um
teorema (ou formula) é verdadeiro. Forma Normal Conjuntiva: É quando
uma formula F for composta de umas conjunções de outras formulas.
![Page 34: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/34.jpg)
Lógica- Prova de Teoremas
Definições: Forma Normal Disjuntivas: É quando
uma formula F for composta de umas disjunções de outras formulas.
Forma Normal Prenex: É quando uma formula F, na lógica da primeira ordem, são retirados todos os quantificadores existentes que prefixem a fórmula.
![Page 35: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/35.jpg)
Lógica- Prova de Teoremas
Universo de Herbrand Serve para demostrar que um conjunto
de cláusulas S é insatisfatível. Conjunto de cláusulas é dito
insatisfatível quando for falsa para todas as interpretações em todos os domínios.
![Page 36: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/36.jpg)
Lógica- Prova de Teoremas
Principio da Resolução: Nesse princípio usamos um mecanismo
de substituição que permite a verificação da validade de um fórmula, além de empregar uma única regra de inferência e não necessitar de axiomas lógicos.
Definição:É um método algorítmico que permite verificar a insatisfatibilidade de qualquer conjunto de cláusulas.
![Page 37: LÓGICA zLÓGICA BÁSICA Por: Thais Lima Machado.. Lógica zCálculo Proposicional zCálculo de Predicados zProva de Teoremas](https://reader035.vdocuments.net/reader035/viewer/2022081420/552fc119497959413d8c9288/html5/thumbnails/37.jpg)
Lógica- Prova de Teoremas
Termos importantes para o uso do Princípio da Resolução: Profundidade: Se a cláusulas vazia
sempre é produzida, o conjunto original deve Ter sido insatisfatível.
Completude: Se o conjunto original é insatisfatível, a cláusulas vazia eventualmente será produzida.