Une proposition est un énoncé mathématique qui est soit vrai soit faux. Cet énoncé ne contient pas d’éléments variables. Par exemple : « 2 est un nombre pair » est une proposition vraie.