FRESISON

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

Si ningún benedictino es impaciente
y algunos impacientes son miopes,
entonces algunos miopes no son benedictinos,

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

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

y que, usando las letras ‘S’, ‘P’ y ‘M’ de la lógica tradicional, puede expresarse mediante el siguiente esquema:

(PeM