코어논리학으로 입문 시작한 논린인데

[익명(180.64)]

책에 나오는 진술, 증명같은 단어들 뜻 안 찾아보고 계속 배워도 별 문제없음?

[익명(223.39)]

어차피 대략 설명하는 책인데 어느 정도 엄밀성을 바라냐. 증명의 정의는 추론규칙들을 반복 적용해 나온 식들의 sequence임