도출 해석 차이좀

[익명(59.31)]

도출
해석
귀결
차이좀

[ㄱㄱ(61.72)]

'도출'은 구문론적 개념. '귀결'은 의미론적 개념. '해석'은 의미론에서 기호들(이름)과 대상들을 연결시켜서 식들이 진리값을 가지게 해주는 것.