1차논리가 뭐 만능은 아닐거같긴한데
그래도 여러과목들의 지식을 1차논리로 표현할수 있을거같음..
그게 가능하다면 사실 모든시험은 그냥 논리식을 빠르게 처리하는거 밖에 안되지않나요?
모든 시험은 한국어로 된 문제를 빠르게 처리하면 되는건데 그냥 국어 공부만 하면 되는 거 아님?
그럼 수식다없애고 국어로 그래프 묘사하나요?
그럼 그래프는 1차논리에 있는 줄 아니
네
형식 논리 체계도 엄연히 환원할 수 없는 자연어 비형식 논리에 의존함
모든 시험은 한국어로 된 문제를 빠르게 처리하면 되는건데 그냥 국어 공부만 하면 되는 거 아님?
그럼 수식다없애고 국어로 그래프 묘사하나요?
그럼 그래프는 1차논리에 있는 줄 아니
네
형식 논리 체계도 엄연히 환원할 수 없는 자연어 비형식 논리에 의존함