魚拓のURL：https://megalodon.jp/2024-0128-1918-17/https://math.stackexchange.com:443/questions/4838329/a-natural-deduction-proofs-using-only-11-inference-rules-and-no-axioms

理由 （必須）

確認

ご入力内容は「個人情報のため」「わいせつ物のため」といった分類以外公開されませんので、ご安心ください。