CAMESTRES

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

Si todos los estoicos son filósofos
y ningún jugador de pelota vasca es filósofo,
entonces ningún jugador de pelota vasca es estoico,

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

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

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

(PaM ∧ SeM) → SeP

donde aparece claramente la