littéral

concept atome ou négation d'un atome d'une logique formelle, par exemple une variable propositionnelle dans le calcul des propositions