Al Fa beto del lenguaje de calculo do proposiciones A

Sim bolos logi cos n v a

Sim bolos Toni cos

Letras propositional es p I

Sucesi ones de sim bolos

At 451 Snl s i EA YU TAY
de A

Conjunto de tetras proposicionales R E A El mini mo

subConjunto Tal QUO
PER
LEI LI ER
Conjunto de Formulas bion Form ad as FB FEA Cadena de
Sim bolos to ma dos do A obtenida de las siqui antes
regla s on un numero Fini to de Pasos
Las tetras proposition a lesson f bfs
si a es fb f en ton cos a es f b f
Six y B son f bfs onto ncos d a B d v B
2 B a B son Abts

Ej P a r u s n p r
Es Formula bi en Form a da

propiedades
si a es f be entonces I L D L
 sea a una f be y a un seg men to incial pro pio de 2
L 5 5253 Sn

entonces x no es f be
Ej P a r u s n p r
No as Abf

Principi o do induction on Formulas

Sea P on a pro piedad de cadenas de simbolos do A Tal
QUE 50 CompIO
Toda tetra prop ia tiene la propiedad
si a tiene la pro piedad en ton cos x Tam bien la
Tiene
Si Ly B Tienen la pro piedad P para Todos Los
conectivos binarios ontonces Toda f b f tiene a P

V Ibf 2 d 31 L STmbolos do a

Teo rema de descomposition Unica Sea d f be y

2 B 8 B D donde B D B 8 son Abf s y
son conectivos binarios Entonces B B 2 2 y
It
Algoritmo si laFormula co mi enza por oses imbolo es a
conectivo principal de to contrario la Formula do be
comonzarporunpar ntesisizQuierdo.Re corra la Formula
de izquierda a derecho Asign al primer parentes is
izquierdo d numero 1 Asign a cada parentesis
izquierdo a valor asignado al parents is anterior ma's
1 A Cada derecho a valor da parents is anterior monos
1 El conectivo principal es d simbolo in mediata monte
despue's da primer parentes is al Que se lo a signed
cero

Ej P a r v s
4 32 3 210
a P r
121 23

El conectivo principal as a