읽기·생활 추론Generalized Quantifiers논리학 배우기
‘모두 오지 않았다’는 몇 명이 왔다는 뜻일까
부정이 ‘모두’보다 넓게 작용하는지, 각 사람에게 작용하는지 구분하고 문맥 단서에 따라 가능한 참석 인원을 다시 계산한다.
Generalized Quantifiers
게시 2026-10-06 · 약 18분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과12건
검색 결과 제목
실습forall x: Calgary, Chapter 23: Building blocks of FOL논리학 배우기
상자 하나가 통과했으니 전체 상자가 통과했다고 말해도 될까?
점검 범위와 통과 수를 바꾸어 존재·점검 표본 전체·전체 물량 주장을 구분하고, 가능한 반례 배치를 계산합니다.
forall x: Calgary, Chapter 23: Building blocks of FOL
게시 2026-10-06 · 약 27분논리학 학습 글 읽기 →
한 행의 값만 보면 의존을 판단할 수 있을까?
의존논리는 여러 변수 배정을 한 팀으로 평가해 ‘같은 입력이면 같은 출력’이라는 함수적 의존을 논리식 안에 표현합니다.
Dependence Logic
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
대부분의 참가자가 찬성하면 찬성자의 대부분도 참가자일까?
일반화 양화사 이론은 ‘모두·몇몇·대부분’의 뜻을 집합 사이의 관계로 풉니다. 같은 교집합도 무엇을 기준으로 세는지에 따라 문장의 참이 달라집니다.
Generalized Quantifiers
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
‘아니다’는 언제 모순이고 언제 단순한 반대일까?
스탠퍼드 철학백과의 부정 항목을 바탕으로 논리적 부정, 자연언어의 부정, 거부 행위를 구별하고 ‘참이 아니다’와 ‘반대편이 참이다’ 사이의 간격을 살펴봅니다.
Negation
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
1–5 / 12편