命題論理の証明論・構文論：自然演繹

論理目次に、
命題論理の証明論・構文論：自然演繹
(認めらた操作,推論規則・公理一覧,定理一覧)
へのリンク追加