코너 안내문장의 참을 말하려면 왜 한 단계 높은 언어가 필요할까?논리학 배우기
문장의 참을 말하려면 왜 한 단계 높은 언어가 필요할까?
아래 대상언어의 문장 P가 위 메타언어의 P는 참이다라는 표현과 연결되고, 오른쪽의 실제 조건과 동치로 이어지는 두 층 구조.
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과1374건
검색 결과 제목
코너 안내자기 자신을 입력으로 받는 규칙은 왜 위험할까?논리학 배우기
코너 안내불확실한 값은 일부러 비슷한 색으로 묶어야 할까?논리학 배우기
불확실한 값은 일부러 비슷한 색으로 묶어야 할까?
낮은 불확실성: 4색, 중간: 2색, 높은 불확실성: 1색의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
코너 안내‘아직 모름’을 거짓으로 처리해도 될까?논리학 배우기
‘아직 모름’을 거짓으로 처리해도 될까?
강한 클레이니 규칙: 참·미정의 그리고는 미정, 또는은 참. 거짓·미정의 그리고는 거짓, 또는은 미정. 미정·미정은 두 연결어 모두 미정이다.
코너 안내벤 다이어그램 · 빗금 하나가 문장의 조건이 된다논리학 배우기
벤 다이어그램 · 빗금 하나가 문장의 조건이 된다
왼쪽은 모든 A는 B라는 조건에 따라 A의 B 바깥만 칠했다. 오른쪽은 어떤 A도 B가 아니라는 조건을 더해 A 전체를 칠했다. 빗금이 없는 영역의 실제 대상 유무는 미정이다.
1326–1330 / 1374편