Signo en LSE

principio (#principio de tercer excluido)

Un principio de lógica clásica propuesto y formalizado por Aristóteles, según el cual si existe una proposición que afirma algo, y otra que lo contradice, una de las dos debe ser verdadera, y una tercera opción no es posible.