logica proporcional

Forma lógica de las proposiciones
La lógica de proporciones estudia las relaciones formales extra proporcionales es decir aquellas relaciones existentes entre proporciones y no las que se dandentro de ellas.se le denomina también lógica de proporciones sin analizar. Dispone de medios de análisis formal de las inferencias (lenguaje simbólico y métodos específicos) y la validez de esta determinapor las relaciones entre proposiciones consideradas como un todo sin penetrar en su estructura interna La forma lógica de una proposición es la representación de su contenido y sintaxis usando lasherramientas de la lógica, en particular el simbolismo del cálculo proposicional y el cálculo de predicados. Oraciones distintas pueden ser representaciones de la misma proposición,
María ama a JuanJuan es amado por María

Estas dos oraciones, aunque gráfica o fonéticamente son distintas, expresan la misma proposición y tienen la misma forma lógica. Dicha forma lógica puede representarseunívocamente mediante de un lenguaje formal, a diferencia de lo que ocurre con un lenguaje natural
Simbolización de premisas
El problema central de la lógica es establecer bajo qué condiciones un enunciado(proposición)
Puede ser considerado como una conclusión derivada de otros enunciados (proposiciones)
Llamados premisas. En tal sentido la lógica se ocupa del estudio de los razonamientos oInferencias, considerados desde el punto de vista de su validez, lo que no debe confundirse con la
Verdad de las proposiciones que lo componen. De un lado aparece la verdad formal
Correspondiente a lavalidez del razonamiento y de otro lado la verdad materia

p = Estaremos seguros de la existencia del mundo,
q = tenemos pruebas directas de su existencia (del mundo)
r = eliminamos toda dudarazonable respecto a su existencia (del mundo)

1. p  (q V r)
2. -q /  -p


Lógica proporcional
La lógica proposicional trata con sistemas lógicos que carecen de...