* 술어논리 - 변수의 값에 따라 참 또는 거짓이 되는 명제. ex> 'x2+5x+6=0' 과 같은 명제 - p(x)로 표시. p(x)는 변수 x에 대한 명제 술어라고 하고, 명제 술어에 대한 논리는 술어 논리라고 한다. - 변수의 범위를 한정시키는 '술어 한정자' · 모든것에 대하여 : ∀ (All, 전체 한정자) · 존재한다 : ∃ (Exist, 존재 한정자) - 전체 한정자 ∀x p(x)가 참이 되기 위한 필요 충분 조건 : 술어 p(x)가 x의 전체 집합 U에 대해 성립해야 한다. - 존재 한정자 ∃x p(x)가 참이 되기 위한 필요 충분 조건 : 전체 집합 U 안에 p(x)를 만족시키는 x가 적어도 한개 존재해야 한다. - 술어한정자 논리적 표기에 대한 명제 서술 예(ex) · ∃x p(x,y) : p(x,y)가 성립하는 x가 존재한다. · ~(∀x p(x)) : 모든 x에 대해 p(x)가 성립하는 것은 아니다. ⇔ ∃x (~p(x)) : p(x)가 성립하지 않는 x가 존재...
#
Lisp
#
추론엔진
#
존재한정자
#
전체한정자
#
전문가시스템
#
이산수학
#
술어한정자
#
술어논리
#
명제술어
#
논리용언어
#
ProLog
#
한정자
원문 링크 : 논리와 명제(3)
