Describir: Logica formal antigua