FERISON

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

Si ningún león es manso
y algunos leones son peligrosos,
entonces algunos seres peligrosos no son mansos,

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

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

y que, usando las letras