自然演繹ウィキペディア フリーな encyclopedia 自然演繹(しぜんえんえき、英: Natural deduction)は、「自然な」ものとしての論理的推論の形式的モデルを提供する証明理論の手法であり、哲学的論理学の用語である。