在所有的推理形式中，都可把单称判断作为全称判断处理。