DIMATIS

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

Si algunos cineastas son ricos
y todos los ricos son accionistas
entonces algunos accionistas son cineastas,

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

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

y que, usando las letras ‘S’, ‘P’ y ‘M’ de la