CESARE
Es el nombre que designa uno de los modos (véase Modo) válidos de los silogismos de la segunda figura. Un ejemplo de Cesare puede ser:
Si ningún pedazo de hierro es blanco
y todos los copos de nieve son blancos,
entonces ningún copo de nieve es un pedazo de hierro,
ejemplo que corresponde a la siguiente ley de la lógica cuantificacional elemental:
(⋀ x (Hx → ¬ Gx) ∧ ⋀ x