「証明の“お膳立て”のやり方 2： 証明の顧客・業者モデル」において、証明要求のターゲットに選言（論理OR）が入る場合に触れました。しかし、説明が不十分だったので補足します。また、前提に含まれる命題を推論規則として使う方法も説明します。例題は、タ…