Fórmula molecular

Tota fórmula composta d'un llenguatge formalitzat construïda segons les regles sintàctiques del llenguatge, que no sigui una fórmula atòmica, o simple

veure exemple ↓

«[math]\displaystyle{ p \rightarrow{q} }[/math]»

és l'expressió molecular de lògica d'enunciats, que equival, per exemple, a «si el sol surt cada dia, podem dormir tranquils»

[math]\displaystyle{ \forall{x} (Px) }[/math]

és una fómula molecular,o composta,de lògica de predicats que equival, per exemple a «Tots participen».