No se ha añadido ninguna twiki todavía.

La estructura de las expresiones lógicas, ya sean enunciados, fórmulas o razonamientos, prescindiendo de su contenido concreto. La estructura o la forma lógica son esquemas o disposiciones de símbolos lógicos que pueden ser compartidos por diversas fórmulas o razonamientos; dicha estructura la definen, en los enunciados, los partículas lógicas; en las fórmulas, los elementos propios de los diversos lenguajes formales; en los razonamientos, la conexión de los enunciados (en la lógica de enunciados) o la disposición de los términos en el interior de los enunciados y la conexión de los mismos (en la lógica de predicados).


Ejemplos.

La forma lógica del enunciado «si sale el sol se alegran los campos», es «si P entonces Q» o formalmente [math]P\to Q[/math], forma que comparte el enunciado «sólo los que tienen carnet (q) pueden conducir un coche (p)», o «para conducir un coche (p) es necesario tener carnet (q)».

La forma del siguiente razonamiento:

«Todo el que cree en la igualdad humana cree en la democracia
Los bomberos creen en la igualdad humana
Luego, los bomberos creen en la igualdad humana»

es, según la lógica aristotélica

Todo A es B
Todo C es A
_______________
Luego todo C es B

y según la lógica simbólica moderna

[math]\forall{x} (Px\rightarrow{Qx})[/math]
[math]\forall{x} (Rx\rightarrow{Px})[/math]

____________________________

[math]\forall{x} (Rx\rightarrow{Qx})[/math]


En el concepto de forma lógica se apoyan, entre otros, el concepto de tautología, verdad lógica, fórmula universalmente válida y el de validez aplicado a los razonamientos.

La lógica que estudia los enunciados y razonamientos por razón de su forma recibe e nombre de «lógica formal».