As sentenças declarativas são proposições lógicas e, portanto, são bivalentes.
Assim, a lógica das proposições adota como princípios (ou axiomas) as duas seguintes regras fundamentais do pensamento:
| Princípio do terceiro excluído | Princípio da não contradição | |
|---|---|---|
Uma proposição ou é verdadeira ou é falsa, sendo, pois, excluída a possibilidade de um terceiro valor. |
Uma proposição não pode ser verdadeira e falsa ao mesmo tempo, pois uma proposição não pode contradizer-se. |