DATISI

Es el nombre que designa uno de los modos (véase Modo) válidos de los silo­gismos de la tercera figura. Un ejem­plo de Datisi puede ser:

Si todas las mujeres son coquetas
y algunas mujeres son inteligentes,
entonces algunas entidades inteligentes son coquetas,

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 ‘S’, ‘P’ y ‘M’ de la