통합검색

스위치의 연결을 식으로 바꾸면 회로를 더 간단히 만들 수 있을까?

클로드 섀넌은 전기가 흐르는 길을 0과 1의 기호로 옮겨, 같은 동작을 하는 여러 릴레이 회로를 식으로 비교했다. 직렬 연결은 두 조건이 모두 맞을 때, 병렬 연결은 어느 한 조건만 맞아도 닫히는 구조다. 세 입력 회로를 진리표로 검산하고, 식을 묶어 접점 수를 줄이는 과정과 실제 장치에서 따로 확인해야 할 조건을 살펴본다.

한 문장이 참이면서 거짓이라면, 무엇을 추론할 수 있을까요?

어떤 문장에 참과 거짓을 함께 부여해도, 관계없는 결론까지 받아들여야 할까요? 그레이엄 프리스트의 논리는 세 가지 진리값을 사용해 이 질문을 검토합니다. 참·거짓 표지를 직접 계산하면서 어떤 추론이 유지되는지 살펴봅니다.

Graham Priest, The Logic of Paradox (1979)

앞조건이 거짓이면 ‘만약 P라면 Q’는 왜 참으로 계산될까?

앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.

forall x: Calgary, Chapter 10: Truth-functional connectives

표시등이 꺼졌으니 연결되지 않았다고 말해도 될까?

한 방향 조건문과 필요충분 규칙, 관찰 사실을 바꾸어 가능한 경우와 필연 결론, 잘못된 역추론을 구분합니다.

forall x: Calgary, Chapter 9: Characteristic truth tables

한 언어 안에서, 그 언어의 참을 모두 정의할 수 있을까요?

알프레트 타르스키의 《Pojęcie prawdy w językach nauk dedukcyjnych》(1933)를 따라, 대상언어와 메타언어를 나누고 만족 관계에서 진리 정의와 자기진리의 한계를 세우는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Alfred Tarski, Pojęcie prawdy w językach nauk dedukcyjnych (1933)