DISAMIS

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

Si algunos aviadores son jóvenes
y todos los aviadores son tímidos
entonces algunos tímidos son jóvenes,

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

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

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