Común
Forma lógica
representación del contenido y sintaxis de una proposición usando las herramientas de la lógica
Forma lógica
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 a A e {\displaystyle aAe} , mientras que e A a {\displaystyle eAa} expresa una proposición diferente, a saber, que Eloísa ama a Abelardo.
Abre sobres, colecciona cartas y cámbialas. Gratis.
Jugar gratis