La satisfiabilité et la validité sont des concepts élémentaires de la sémantique. Une formule est satisfiable s'il est possible de trouver une interprétation (modèle) qui la rend vraie.  Une formule est valide si toutes les interprétations la rendent vraie.