lola














DOCUMENTACION DEL PROGRAMA DEL PAT





Autor: ANONIMO





Análisis
Tabla de formulas
Reglas del antecedente
Regla 7=>, si a,b=>X,g entonces a,7X.b=>g
Regla ^ =>, Si X,Y,a,b=>g entonces a,X^Y,b=>g
Regla v=> Si X,a,b=>g y Y,a,b=>g entonces a,XvY,b=>g
Regla ->=>, Si Y,a,b=>g y a,b=>X,g entonces a,X->Y,b=>g
Regla =>,Si X,Y,a,b=>g y a,b=>X,Y,gentonces a,XY,b=>g
Reglas del consecuente
Regla =>7 , Si X,a=>b ,g entonces a=>b,7X,g
Regla =>^ . Si a =>X,b,g y a=>Y,b,g entonces a=>b,X^Y,g
Regla =>v, Si a=>X,Y,b,g entonces a=>b,XvY,g
Regla =>->,Si X,a=>Y,b,g entonces a=>b,X->Y,g
Regla => Si X,a=>Y,b,g y Y,a=>X,b,g entonces a=>b,XY,g

Forma de proceder :
pvq->(r^s),p=>r
Paso
Regla
Formula
1
=>->
[((pvq)->(r^s))^(p)]->r
2
=>->[((pvq)->(r^s))^(p)]=>r
3
^=>
(pvq)->(r^s),p=>r
4
->=>
r^s ,p =>r
y 5

P=>pvq,r
6
^=>
r,s,p=>r axioma 1
7
=>v
p=>p,q,r axioma 2
Como todas las expresiones están libres de conectivos son axiomas entonces el razonamiento es valido.
De acuerdo a la forma de solucionar este tipo de problemas determine lo siguiente:
A nivel del humano:-Leemos la formula
-revisamos que este bien escrita la formula
-Leemos la formula de nuevo
-Aplicamos reglas conocidas hasta llegar a una reducida
-Escribimos la formula a la que le aplicamos la regla
Cada acción por separado comprende una serie de acciones :
+Leer formula: leemos la formula de izquierda a derecha y mientras la leemos guardamos esa información en la cabeza
+Revisarsintaxis: leemos hipótesis por hipótesis de izquierda a derecha hasta llegar al consecuente y si hay algo mal escrito lo volvemos a rescribir hasta que este bien escrito.
+Aplicar formulas: nos fijamos en una hipótesis o en una conclusión vemos que operador tiene y de acuerdo a ello aplicamos la operación correspondiente y repetimos lo anterior
De acuerdo a lo anterior determine la siguientejerarquía para las bibliotecas y las funciones que contendrá cada una:










Descripción de contenido de las cabeceras:
leer.h:
leerArchivo(FILE *input)
escribir.h
escribirFormula(FILE *output)


sintax.h:
revisaSintax(FILE *input,FILE *error)
reducción.h:
reducir()
reducirC()
reducirH()
base.h
contiene todas las variables globales
operaciones.h
borrarbuf()prendeBanderasH()
prendeBanderasC()
recorrerFormula()
recorrerHipotesis()
recorrerForumulaC()
copiarFormula()
ANDH()
ORH()
NOTH()
CONDH()
BOCOH()
ANDC()
ORC()
NOTC()
CONDC()
BOCOC()
validarFormula()
analizar.h
reconocerOperandos()
El punto clave para la resolución es considerar a la formula como un ente que tiene propiedades las cuales son:
OperadoresParéntesis
Proposiciones
Otro punto clave es el hecho que a cada formula se le puede aplicar ciertas acciones las cuales son todas las reglas de la tabla.
Entonces basándome en ello determine que las formulas son un tipo de dato y como en algunas operaciones hacen que se multiplique nuestro numero de formulas entonces la estructura debe ser de modo tal que pueda albergar varias formulas según laspropiedades de la primera. De acuerdo a lo anterior determine que mi ente es un MATRIZ de estructuras de tamaño
(NUMERO DE FORMULAS)X (NUMERO DE HIPOTESIS+NUMERO DE CONCLUSIONES)
Variables:
Nuevo tipo de dato Estructura Formula [numero de formulas][numero de hipótesis + numero de conclusiones] :
+Hipótesis: cadena de carácter
+Conclusión: cadena de carácter
+Numero de hipótesis: entero
+Numerode conclusiones : entero
+Bandera de la condicional: entero(funciona como booleano)
+Bandera de la bicondicional: entero(funciona como booleano)
+Bandera de la disyunción: entero(funciona como booleano)
+Bandera de la conjunción: entero(funciona como booleano)
+Bandera de la negación: entero(funciona como booleano)
+Bandera del paréntesis: entero(funciona como booleano)
Así se vería...