통합검색

논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?

대수적 논리는 문장의 관계를 연산 구조와 연결합니다. 참·거짓에 숫자를 붙일 때 계산 규칙까지 명확히 해야 하는 이유를 살펴봅니다.

Algebraic Propositional Logic

‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?

증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.

Provability Logic

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

Type Theory

“참이거나 거짓”이라고 말하려면 어느 쪽을 보여야 할까?

직관주의 논리에서 증명은 단순한 정답표가 아니라 구성을 제시하는 일입니다. 선언과 이중부정의 차이를 읽습니다.

Intuitionistic Logic

“참이거나 거짓”이라고 말하려면 어느 쪽을 보여야 할까?

빨강 또는 파랑 주장에는 한쪽 표지의 증명이 필요하고, 존재 주장에는 실제 상자와 검증이 필요하며, 이중부정만으로 빨강 구성이 완료되지는 않는다는 세 행 표.