혹시 predicate losc(으)로 찾으셨나요?

블로그

• [기호논리학] 술어논리 1 술어논리(predicate logic) 술어논리는 문장논리를 포함하는 확장된 논리체계라고 할 수 있다. 역사적으로, 아리스토텔레스의 논리적 저작들에서 시작되어 19세기까지 주류 논리학의 지위를 유지해온 정언논리(categorical logic)가 있었고, 19세기에 이르러 조지 부울( blog.naver.com · 2025.12.06