03-이산_술어논리

2021.09.24 - [IT/컴공_관련] - 02-이산 논리

03-이산_술어논리

 

술어논리

논리

명제논리

명제 단위의 참과 거짓에만 관심을 가지므로
명제를 구성하는 요소를 이용한 새로운 사실을
추론할 수 없음



술어논리

명제논리의 문제점을 해결
명제를 술어와 주어로 분리하여 술어(주어)의 형태로
표현하기 때문에 주어와 술어 사이에 더욱 세밀한 표현
가능하며 더 다양한 사실을 찾을 수 있음

술어란
문장을 구성하는 기본요소로서 주어의 동작, 상태, 성질에 대해 서술하는 말

문장들의 타당성을 결정하기 위해 선언적인 문장들을 주어부와 술어부로 분리할 필요가 있음
술어는 주어에 대한 정보를 주는 문장 부분
명제에서 일부 또는 모든 명사들을 제거함으로써 얻을 수 있음

예시 1
‘홍길동은 사람이다.’라는
명제는 다음과 같은 술어로 표현된다.
사람(홍길동)

 

한정자

전체한정자
기호 ∀로 표현하며 ‘all’의 의미

전체 한정은 ‘정의역에 속하는 모든 x값에 대하여 P(𝑥)가 참’의 의미
전체한정화 명제(∀)의 부정은 존재한정화 명제(∃)


존재한정자
기호 ∃로 표현하며 ‘some’의 의미
존재 한정은 ‘정의역에 속하는 적어도 하나의 𝑥 값에 대하여 P(𝑥)가 참’의 의미