1차논리가 뭐 만능은 아닐거같긴한데


그래도 여러과목들의 지식을 1차논리로 표현할수 있을거같음..


그게 가능하다면 사실 모든시험은 그냥 논리식을 빠르게 처리하는거 밖에 안되지않나요?