命题的分类mingti de fenlei

命题可以根据是否含有其它命题而分为简单命题和复合命题.简单命题是指不包含其它命题作为其组成部分（在结构上不能再分解出其它命题）的命题.例如，“2是一个自然数”是一个简单命题.简单命题又可分为性质命题和关系命题.例如，“等腰三角形的顶角分角线垂直于底边”是性质命题；“2>1”是关系命题.复合命题是指在自身中包含其它命题（支命题）的命题.例如，“若整数a,b互质，则存在整数u,v，使得au+bv=1”是一个复合命题.亦即复合命题是由逻辑联结词和支命题所构成.逻辑联结词在复合命题中有重要意义，它决定复合命题逻辑性质.主要逻辑联结词有：“并非”、“或”、“并且”、“若…则…”、“当且仅当”等.它们把支命题联结起来，分别构成非命题、选言命题、联言命题、假言命题和等价命题等不同类型的复合命题.
单称命题是性质命题按量划分的一种，它是断定某一单独对象具有或不具有某种性质的命题.除单称命题外，性质命题都有以下形式：

所有的（有的） S是（不是） P

其中S表示判断的对象，称为主项.P表示判断对象的性质，称为谓项.“是”、“不是”称为命题（判断）联项.“所有的”、“有的”表示主项外延中的对象数量，称为量项.由此可作出四类含量项的性质命题：
❶所有的S是P，记作SAP，称为全称肯定命题；
❷所有的S不是P，记作SEP，称为全称否定命题；
❸有的S是P，记作SIP，称为特殊肯定命题；
❹有的S不是P，记作SOP，称为特称否定命题.例如，“一切菱形都是平行四边形”(SAP)；“所有整数都不是方程2x=1的解”(SEP)；有的整数是方程x²+5x+6=0的解”(SIP)；“有的三角形不是直角三角形”(SOP).