1.直言命题

　　(1)矛盾：所有是与有些非、某个是与某个非、所有非与有些是

　　(2)推出规则：所有是→某个是→有些是、所有是→有些是

　　所有非→某个非→有些非、所有非→有些非

　　2.联言命题

　　(1)矛盾：A且B与非A或非B

　　(2)推理规则：全真才真，一假则假　

　　3.选言命题

　　(1)矛盾：A或B与非A且非B

　　(2)推理规则：一真则真，全假才假　　

　　4.假言命题

　　(1)矛盾： A推出B与A且非B

　　(2)推理规则：肯前推肯后、否后推否前

　　(3)分类

　　一类关联词：前推后

　　如果…那么…、若…则…、一旦…就…等

　　二类关联词：后推前

　　只有…才…、除非…否则不…、不…不…、没有…没有…等