FESAPO
Es el nombre que designa uno de los modos (véase Modo), por muchos autores considerado como válido, de los silogismos de la cuarta figura. Un ejemplo de Fesapo puede ser:
Si ningún cuerpo es inextenso
y todas las cosas inextensas son invisibles,
entonces algunas cosas invisibles no son cuerpos,
ejemplo que corresponde a la siguiente ley de la lógica cuantificacional elemental:
(⋀ x (Hx → ¬ Gx) ∧ ⋀ x (Gx → Fx)) → ⋁ x (Fx ∧ ¬ Hx)
