<-- Go Back Last Updated: 11/01/2025
In metamathematics, a proposition is a statement with definite truth value (in classical logic the truth values are simply 'True' and 'False', but in other models of nonstandard logic the truth values could be e.g. any element of \([0,1]\), or of a more general Boolean algebra.