무회blog

2021.09.24 - [IT/컴공_관련] - 02-이산 논리 03-이산_술어논리 술어논리 논리 명제논리 명제 단위의 참과 거짓에만 관심을 가지므로 명제를 구성하는 요소를 이용한 새로운 사실을 추론할 수 없음 술어논리 명제논리의 문제점을 해결 명제를 술어와 주어로 분리하여 술어(주어)의 형태로 표현하기 때문에 주어와 술어 사이에 더욱 세밀한 표현 가능하며 더 다양한 사실을 찾을 수 있음 술어란 문장을 구성하는 기본요소로서 주어의 동작, 상태, 성질에 대해 서술하는 말 문장들의 타당성을 결정하기 위해 선언적인 문장들을 주어부와 술어부로 분리할 필요가 있음 술어는 주어에 대한 정보를 주는 문장 부분 명제에서 일부 또는 모든 명사들을 제거함으로써 얻을 수 있음 예시 1 ‘홍길동은 사람이다.’라는 명제는 다음과..