john7rv

仮定からAかBのどちらかの項を導いて
証明内に出現していれば
選言を導入できます
　　　　A　　
ーーーーーーーーーーーー　∨I
　　　A　∨　B

　　　　　　B
ーーーーーーーーーーーー　∨I
　　　A　∨　B

選言を除去するには、第３の項Zを用意して
A⇒Z　かつ　B⇒Z
が導ければ選言を除去できます
結論はZになります
　　　　　　　　　１　　２
　　　　　　　　　A　　　B
　　A∨B　　　　　Z　　　Z
ーーーーーーーーーーーーーーーーーーーー　∨E1 2
　　　　　　　　　Z