>>719
どういう体系で証明したいのか書かないと答えようがない。
Hilbert 流の体系ですか、LK ですか、NK ですか、タブロー法でしょうか。
それぞれに、何種類かのバリエーションがありますが。