DARII

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

Si todos los chinos son calmosos y algunos residentes de La Habana son chi­nos,

entonces algunos residentes de La Habana son calmosos,

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’, ‘P’ y ‘M’ de la lógica tradicional, puede