Proposição é bastante semelhante aos cálculos aplicados na aritmética de números, pois permitem operações como negação, conjunção, disjunção, disjunção exclusiva, entre outros.

Uma proposição é uma sentença interrogativa, ou seja, uma sentença que declara um fato, que pode ser verdadeiro ou falso, porém nunca ambos.

Uma proposição é uma sentença declarativa, ou seja, uma sentença que declara um fato, que pode ser verdadeiro ou falso. É uma premissa considerada necessariamente evidente e verdadeira, fundamento de uma demonstração, porem ela mesma indemonstrável.

Uma proposição é uma sentença declarativa, ou seja, uma sentença que declara um fato, que pode ser verdadeiro ou falso, porém nunca ambos.