Así Algún S es P formula_1 no es convertible en formula_1 Ningún P es no-S