lógica de Aristóteles.