nom→ masculin→. [logique]. Expression logique dont la valeur peut être vraie ou fausse selon la valeur des arguments. Voir assertion et clause.
