命题类型

真假关系

推理规则

负命题

联言命题（p并且q）

一假即假；全真才真

命题真推出肢命题真；

所有肢命题真推出命题真

非p或非q

相容选言命题（或者p，或者q）

一真即真；全假才假

肯定一部分选言肢，

不能否定另一部分选言肢；

否定一部分选言肢，

可以肯定另一部分选言肢

非p并且非q

不相容选言命题（要么p，要么q）

有且之友一真才为真

肯定一个选言肢，

就否定其余的选言肢；

否定一个选言肢以外的所有选言肢，

就能肯定未被否定的那个选言肢

p并且q，非p并且非q

充分条件假言命题（如果p，那么q）

只有前件真且后件假才为假

肯定前件就能肯定后件，

否定后件就能否定前件；

否定前件不能否定后件，

肯定后件不能肯定前件

p并且非q

必要条件假言命题（只有p，才q）

只有前件假且后件真才为假

否定前件就能否定后件，

肯定后件就能肯定前件；

定前件不能肯定后件，

否定后件不能否定前件

非p并且q

充要条件假言命题（当且仅当p，才q）

前件与后件同真假则为真；前件与后件不同真假则为假

肯定前件就能肯定后件，

否定前件就能否定后件；

肯定后件就能肯定前件，

否定后件就能否定前件

非p并且q，p并且非q

负命题（并非p)

原命题为真则为假；原命题为假则为真

肯定原命题则否定负命题；

否定原命题则肯定负命题

p