CELARENT

Es el nombre que designa uno de los modos (véase Modo) válidos de los silogismos de la primera figura. Un ejemplo de Celarent puede ser:

Si ningún africano es europeo
y todos los abisinios son africanos,
entonces ningún abisinio es europeo

ejemplo que corresponde a la siguiente ley de la lógica cuantificacional elemental:

(⋀ x (Gx → ¬ Hx) ∧ ⋀ x (Fx → Gx) → ⋀ x (Fx →