FERIO

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

Si ningún adolescente es trabajador
y algunos finlandeses son adolescentes,
entonces algunos finlandeses no son trabaja­dores,

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

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

y que, usando las letras ‘S’,