satisfiable adjectif : Se dit d'une fonction propositionnelle si elle est vraie sous certaines conditions.
