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 cálculo de predicados. Oraciones distintas pueden ser representaciones de la misma proposición, por ejemplo:
Abelardo ama a Eloísa
Eloísa es amada por Abelardo
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 se puede representar unívocamente mediante un lenguaje formal, a diferencia de lo que ocurre con un lenguaje natural. En este caso, la forma lógica sería , mientras que expresa una proposición diferente, a saber, que Eloísa ama a Abelardo.
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:
Y aún otra manera es a través de la notación del cálculo de secuentes: Con condicional:
forma, lógica, forma, lógica, proposición, representación, contenido, sintaxis, usando, herramientas, lógica, particular, simbolismo, cálculo, proposicional, cálculo, predicados, oraciones, distintas, pueden, representaciones, misma, proposición, ejemplo, abel. La forma logica de una proposicion es la representacion de su contenido y sintaxis usando las herramientas de la logica en particular el simbolismo del calculo proposicional y el calculo de predicados Oraciones distintas pueden ser representaciones de la misma proposicion por ejemplo Abelardo ama a Eloisa Eloisa es amada por AbelardoEstas dos oraciones aunque grafica o foneticamente son distintas expresan la misma proposicion y tienen la misma forma logica Dicha forma logica se puede representar univocamente mediante un lenguaje formal a diferencia de lo que ocurre con un lenguaje natural En este caso la forma logica seria a A e displaystyle aAe mientras que e A a displaystyle eAa expresa una proposicion diferente a saber que Eloisa ama a Abelardo Ejemplos EditarPor ejemplo un razonamiento que sigue la forma del modus ponens podria ser Si esta soleado entonces es de dia Esta soleado Por lo tanto es de dia Generalizando Si A entonces B A Por lo tanto BOtra manera mas formal de presentar el modus ponens es A B A B displaystyle begin array r A to B A hline B end array Y aun otra manera es a traves de la notacion del calculo de secuentes Con condicional A B A B displaystyle A B A vdash B Vease tambien EditarProposicion Formula bien formada Datos Q6667497Obtenido de https es wikipedia org w index php title Forma logica amp oldid 124457065, wikipedia, wiki, leyendo, leer, libro, biblioteca,
