自然演繹

自然演繹（しぜんえんえき、英: Natural deduction）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。 == 自然演繹論理 == 自然演繹論理のあるバージョンには、公理が存在しない。