質問: 「p→AまたはB」 の証明は、 p→Aを証明して終了してもいいですか? p→Aとp→Bの両方を証明する必要はありますか?
回答: p→Aが成立するならば、必ずp→AまたはBも成立しますから、p→Aを証明して終了して構いません。