La colección de objetos que al emplearlos en lugar de las variables en un enunciado abierto, hacen que éste se convierta en una proposición verdadera, se llama conjunto de verdad del enunciado.