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.