自然演繹
自然演繹（しぜんえんえき、）は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。