可解析命题

传统逻辑中一类其支命题不明显而应加以分析的复合命题。包括以下几种：①区别命题，由“只有”限制主项的命题，其形式为“只有S是P”。传统逻辑认为“只有S是P”等值于“有S是P，并且凡非S不是P”，即“有S是P，并且凡P是S”。由于S可能是空集，故现代逻辑认为“只有S是P”等值于“凡P是S”。同理，“只有S不是P”等值于“凡非S不是非P”或“凡非P是S”。②除外命题，具有形式“除M外S都是P”的命题。如“除闰年外年年都有365天。”“除M外S都是P”可分析为：所有M是S，并且所有M不是P，并且所有非M的S是P。③双重命题，主项由“多数”或“少数”所限制的命题。传统逻辑认为“多数S是P”等值于“超过半数S是P，并且不足半数S不是P”，“少数S是P”等值于“不足半数S是P，并且超过半数S不是P”。故“多数S是P”等值于“少数S不是P”；“少数S是P”等值于“多数S不是P”。“多数S是P”与“少数S是P”不同真，可同假。“并非多数S是P”等值于“所有S是P，或者半数S是P，或者少数S是P，或者没有S是P”。“并非少数S是P”等值于“所有S是P，或者多数S是P，或者半数S是P，或者没有S是P。”