La lógica categórica de Ammonio Hermiae: 

Negaciones, Conectivos y Cuantificadores