Una lógica clásica o lógica estándar es un sistema formal que respeta los siguientes principios: