통합검색

‘회의실이나 온라인으로 참여’에서 회의실을 골랐으면 온라인은 금지일까?

포함적·배타적 ‘또는’과 직접 확인한 사실을 바꾸어 가능한 참·거짓 조합, 모순과 필연적으로 따라오는 결론을 다시 계산합니다.

forall x: Calgary — Connectives and characteristic truth tables

‘떠났다고 말하지 않았다’와 ‘떠나지 않았다고 말했다’는 같은 뜻일까?

부정어의 자리·독립 사건 기록·직접 인용 여부를 바꾸어 말하기, 발화 내용과 실제 사건의 근거를 분리합니다.

Negation

한 가지가 바뀌었을 때, 나머지는 그대로라고 어떻게 판단할까?

프레임 문제는 행동의 결과뿐 아니라 바뀌지 않는 사실을 어떻게 다룰지 묻습니다. 관련 정보만 골라 생각하는 능력의 어려움을 살펴봅니다.

The Frame Problem

증명할 수 있으면 모든 해석에서도 참일까?

고전 1차 논리의 건전성과 완전성은 증명 규칙과 의미론적 모델이 어디에서 만나는지를 보여 줍니다.

Classical Logic

자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?

자연어 문제에서 형식 명세와 증명기로 이어지는 화살표 사이에 의미 보존 검증 문이 별도로 놓여 있다.