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::