命題類型

真假關(guān)系

推理規(guī)則

負命題

聯(lián)言命題（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