São considerados princípios básicos da lógica bivalente: