FESTINO

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

Si ningún sabio es valiente
y algunos nadadores son valientes,
entonces algunos nadadores no son sabios,

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

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

y que, usando las letras ‘S’, ‘P’ y ‘M’ de la