Lògica: exemple de fórmules moleculars

«[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». Plantilla:Propietat