john7rv

同じ仮定からAとBの２つとも導ければ連言を導入できる
　　　A　　B
ーーーーーーーーーー
　　　　A∧B　　　　　　∧I

連言が成立していれば
どちらか片方だけを選んでその項を結論に導出できます
左側の項を選んだ場合はE1
右側の項を選んだ場合はE2と書きます

Aを選んだ場合

　　　A∧B
ーーーーーーーーーーー　　∧E1
　　　　A

Bを選んだ場合

　　　A∧B
ーーーーーーーーーーー　　∧E2
　　　　B