도출이라는게

[익명(59.31)]

전제가 참이든 거짓이든 결론을 도출만 할 수 있다는 거임?
그래서 결론이 참일수도 거짓일수도 있는거고. 전제 결론 사이의 관계만 본다는건가

[ㄱㄱ(61.72)]

도출은 구문론(syntax)에 관한 거라 참/거짓의 문제가 아니야. 전제가 있으면 그 전제들로 부터 추론규칙이나 공리에 의해서 따라 나오느냐 아니냐 만 판단되는 거. 그 추론규칙이 타당하냐 도출이 타당하냐를 판단하려면 대수적으로 참/거짓값 해석 제시하고 모형 제시해서 건전하네 마네 하는 거임.

[익명(59.31)]

공리로 부터 추론규칙이 성립하는지 어떻게 판단함?

[익명(59.31)]

참/거짓을 나타내는 진리값으로 하는거 아냐?