통합검색

문장의 참·거짓을 두 사람의 게임으로 판정할 수 있을까?

논리 게임은 양화사 해석을 두 플레이어의 선택과 승리전략으로 바꿉니다.

Logic and Games

이름이 있으면 그 대상도 있다고 보아야 할까?

명단의 빈 직책과 가상의 이름을 통해 자유논리가 점검하는 존재 가정을 읽습니다. 문장에 이름을 썼다는 사실에서 어떤 결론까지 나아갈 수 있는지 묻습니다.

Free Logic

문장을 논리식으로 잘 옮기면 인공지능(AI) 추론도 끝난 걸까?

FOLIO는 자연어를 1차 논리로 옮기는 정확성과 실제 결론을 실행하는 정확성이 다를 수 있음을 보여 줍니다.

FOLIO: Natural Language Reasoning with First-Order Logic

모두의 담당자와 모두를 맡은 한 사람은 같을까?

유물마다 검사자가 있다는 기록에서, 한 사람이 모든 유물을 검사했다는 결론을 낼 수 있을까요? 아홉 칸을 바꾸며 두 문장을 비교합니다.

논리의 원리를 이해하다

추론이 성립하는 조건을 읽다 · 전제와 결론을 구분하고 그 사이를 잇는 추론의 조건을 살핍니다. 조건문과 ‘모두’, ‘어떤’의 뜻에서 출발해 타당성, 반례, 증명과 여러 논리 체계로 나아갑니다.