演繹的推論の妥当性