Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
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 (ver ejemplo 1, ejemplo 2 y ejemplo 3); 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).
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».