1、A,A→B =>B {假言推理}:
A→B是充分條件命題.充分條件命題的邏輯含義就是：前件真時后件必真,前件假則后件可以真也可以假.
A,A→B =>B表示：如果A真,A→B也真,那么B必然真.
2、^B,A→B =>^A {拒取式}
同上,如果B假,A→B真,那么A必然假.
3、 A∨B,A→C,B→D=>C∨D {構(gòu)造性二難}：
如果A→C真,B→D真,現(xiàn)在A真或B真,那么C真或D真.
這三個推理,都是基本的有效推理式.或者說,它們都類似于數(shù)學(xué)中的“公理”,不需要推導(dǎo).但它們都可以從建立真值表中看出來.