lógica proposicional: sintaxe e provas por indução sobre conjuntos indutivos
DESCRIPTION
Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos. Luiz Carlos d´Oleron [email protected] http://www.cin.ufpe.br/~lcadb. O que você já deve saber. Conjuntos Indutivos Conjuntos Livremente Gerados Lógica simbólica de Frege. O que significa Sintaxe?. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/1.jpg)
Lógica Proposicional:Sintaxe e Provas por Indução sobre Conjuntos Indutivos
Luiz Carlos d´[email protected]://www.cin.ufpe.br/~lcadb
![Page 2: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/2.jpg)
O que você já deve saber...
Conjuntos Indutivos Conjuntos Livremente Gerados Lógica simbólica de Frege
![Page 3: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/3.jpg)
O que significa Sintaxe?
“Parte da gramática que estuda a disposição das palavras na frase e das frases no discurso” (Dicionário Aurélio, Aurélio Buarque de Holanda Ferreira)
Ou seja, a sintaxe está mais atenta a forma do que ao sentido.
![Page 4: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/4.jpg)
Indo ao Ponto...
Mas como é que comparamos a forma de uma expressão com a de outra?
Baseado no fato que toda expressão é elemento de PROP e que PROP é um conjunto livremente gerado, usaremos funções para descrever as propriedades das expressões.
![Page 5: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/5.jpg)
n-var: PROP →|N Número de ocorrências de variáveis
n-var(⊤) = n-var(⊥) = 0 n-var(xi) = 1 n-var(¬E) = n-var(E) n-var((E1□ E2)) =
n-var(E1) + n-var(E2)
Obs.: □ : {v,^, →}
![Page 6: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/6.jpg)
n-op: PROP →|N Número de ocorrências de operadores
n-op(⊤) = n-op(⊥) = 0 n-op(xi) = 0 n-op(¬E) = 1 + n-op(E) n-op((E1□ E2)) =
1 + n-op(E1) + n-op(E2)
Obs.: □ : {v,^, →}
![Page 7: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/7.jpg)
posto: PROP →|N Calcula o “posto*” de uma expressão
posto(⊤) = posto(⊥) = 0 posto(xi) = 0 posto(¬E) = 1 + posto(E) posto((E1□ E2)) =
1 + Max(posto(E1), posto(E2))
Obs.: □ : {v,^, →}Obs.*: Também conhecido como “altura”
![Page 8: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/8.jpg)
subs: PROP →ζ(PROP)Produz o conjunto de sub-expressões
subs(⊤) = {⊤} subs(⊥) = {⊥} subs(xi) = {xi} subs(¬E) = subs(E) U {¬E} subs((E1□ E2)) =
subs(E1) U subs(E2) U {(E1□ E2)}
Obs.: □ : {v,^, →}
![Page 9: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/9.jpg)
Prova por indução
Com estas funções, além de outras que podem ser definidas da mesma forma, somos capazes de tirar “conclusões” sobre as propriedades de PROP
Estas conclusões são alicerçadas por provas, sendo as provas por indução uma forma popular de realizar isso.
![Page 10: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/10.jpg)
Exemplinho: nop(Φ) ≥ posto(Φ)
Vamos provar indutivamente que
nop(Φ)≥posto(Φ)
Se verifica para qualquer Φ pertencente a PROP.
![Page 11: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/11.jpg)
ContinuaçãoExemplinho: nop(Φ) ≥ posto(Φ)
Caso Base: Φ é atômica
nop(Φ) = 0posto(Φ) = 0
nop(Φ)≥posto(Φ) (ok)
![Page 12: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/12.jpg)
ContinuaçãoExemplinho: nop(Φ) ≥ posto(Φ)
Caso Indutivo I: Φ é da forma ¬DHipótese: nop(D) ≥ posto(D)Tese: nop(¬D) ≥ posto(¬D)
posto(¬D) = 1 + posto(D)nop(¬D) = 1 + nop(D)
Da H.I. nop(D) ≥ posto(D) nop(D) + 1 ≥ posto(D) + 1 nop (¬D) ≥ posto (¬D) c.q.d.
![Page 13: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/13.jpg)
ContinuaçãoExemplinho: nop(Φ) ≥ posto(Φ)
Caso Indutivo II: Φ é da forma (A □ B)Hipótese: nop(A) ≥ posto(A)
nop(B) ≥ posto(B)
Tese: nop((A □ B)) ≥ posto((A □ B))
Da H.I. nop(A) ≥ posto(A)
+ nop(B) ≥ posto(B)=nop(A) + nop(B) ≥ posto(A) + posto(B)
![Page 14: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/14.jpg)
ContinuaçãoExemplinho: nop(Φ) ≥ posto(Φ)
Como:x + y ≥ Max(x,y) e:
θ ≥ δδ ≥ ε → θ ≥ ε (transitividade de ≥)
nop(A) + nop (B) ≥ Max(posto(A), posto(B))
nop(A) + nop (B) + 1 ≥ Max(posto(A), posto(B)) + 1
nop((A □ B)) ≥ posto((A □ B))
![Page 15: Lógica Proposicional: Sintaxe e Provas por Indução sobre Conjuntos Indutivos](https://reader036.vdocuments.mx/reader036/viewer/2022082404/56813ade550346895da3281d/html5/thumbnails/15.jpg)
É isso ai...
Ao Trabalho!