Diferencia entre revisiones de «Forma lógica»

← Ir a diferencia anterior Ir a siguiente diferencia →

Contenido eliminado Contenido añadido

En renglón

Revisión del 03:23 16 nov 2016

La forma lógica de una proposición es la representación de su contenido y sintaxis usando las herramientas de la lógica, en particular el simbolismo del cálculo proposicional y el perry cálculo de predicados. Oraciones distintas pueden ser representaciones de la misma proposición, por ejemplo: xxx

María ama a Juan

Juan 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 representarse unívocamente mediante de un lenguaje formal, a diferencia de lo que ocurre con un lenguaje natural.

Ejemplos

Por ejemplo, un razonamiento que sigue la forma del modus ponens podría ser:

Si está soleado, entonces es de día.

Está soleado.

Por lo tanto, es de día.

Generalizando:

Si A entonces B

A

Por lo tanto B

Otra manera más formal de presentar el modus ponens es:

{\begin{array}{r}A\to B\\A\\\hline B\end{array}}

Y aún otra manera es a través de la notación del cálculo de secuentes: Con condicional:

(A/B),A\vdash B

Véase también

@@ Línea 1: / Línea 1: @@
-La '''forma lógica''' de una [[proposición (lógica)|proposición]] es la representación de su contenido y [[sintaxis]] usando las herramientas 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, por ejemplo:
+La '''forma lógica''' de una [[proposición (lógica)|proposición]] es la representación de su contenido y [[sintaxis]] usando las herramientas de la [[lógica]], en particular el simbolismo del [[cálculo proposicional]] y el perry [[cálculo de predicados]]. Oraciones distintas pueden ser representaciones de la misma proposición, por ejemplo:
 xxx
 :''María ama a Juan''