直言命题发展现代逻辑克服了传统逻辑不考虑空类和全类，即在 S类和P类都既不空又不全的假设下讨论A、E、I、O 这四种直言命题的局限
现代逻辑考虑到词项的外延可以是空类和全类，因而全称命题如“凡未接触过细菌的人都不得细菌性传染病”的形式应该为（F(x)→G（x）），这可以读作“对论域里的所有个体x而言，如果x有性质F则x有性质G” ；而传统逻辑所谓的特称命题如“有金属是固体”的形式应为 （'x（F（x））∧G（x）），这可读作“在论域里至少存在一个体x，使得x有性质F并且x有性质G”
故现代逻辑称这类命题为存在命题
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
