forme normale negative : formule du calcul des propositions dans laquelle la negation ne s'applique qu'aux constantes ou variables.