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:
- 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.