Expression atomique

Une expression atomique est une expression logique qui n’a aucun connecteur, en opposition à une expression complexe qui en a au moins un. On appelle également une expression atomique un atome. Par exemple :

\[V\]

(Ici il s’agit d’une expression qui veut dire « vrai », en toutes circonstances.)

Expression complexe

Une expression complexe est une expression logique formée de plusieurs atomes. Par exemple :

\[\neg A\]

Ici, le connecteur est \(\neg\).