FELAPTON

Es el nombre que designa uno de los modos (véase Modo), por muchos autores considerados como válidos, de la ter­cera figura. Un ejemplo de Felapton puede ser:

Si ningún automóvil es lento
y todos los automóviles son útiles,
entonces algunas cosas útiles no son lentas.

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