El conjunto de valores de verdad de un determinado tipo de lógica es el rango de una interpretación lógica sobre el conjunto de todas las proposiciones posibles.