FRISESOMORUM
Es el nombre que designa uno de los modos (véase Modo) por muchos autores considerado como válido, de la cuarta figura. Un ejemplo de Frisesomorum puede ser:
Si todos los turcos son fumadores de pipa
y ningún australiano es turco,
entonces algunos fumadores de pipa no son australianos,
ejemplo que corresponde a la siguiente ley de la lógica cuantificacional elemental:
(⋀ x (Gx → Hx) ∧ ⋀ x (Fx →¬ Gx)) → ⋁ x (Hx ∧ ¬ Fx)
y que, usando las letras ‘S’, ‘P’ y ‘M’ de la lógica tradicional, puede expresarse
