La primera oración define una proposición como un enunciado que puede ser calificado como verdadero o falso, pero no ambos a la vez. La segunda oración indica que toda proposición tiene un único valor lógico de verdadero o falso. La tercera oración explica que el valor lógico de una proposición denota si es verdadera (valor 1) o falsa (valor 0).