자연 연역이라는게 전제에 추론 규칙을 사용해서 결론을 도출해내는 거잖음


근데 전제에 사용되는 추론규칙들은 전제가 참이어야 성립하는 거 아님?

선언적 삼단논법 같은 것도 두 전제가 참이어야 결론도 맞게 도출되는 거잖아


자연 연역에 사용되는 전제가 참인지 확실히 모르는데 전제에 추론 규칙 사용해도 되는거임?

내가 이해를 잘못하고 있는건가