술어논리

술어논리와 관계형 모델 (DB 스터디 2주차)

"관계형 데이터베이스 실전 입문 - 오쿠노 마키아"를 읽으며 매주 스터디 진행 2.1 술어논리와 관계형 모델 명제와 공리 명제 : 어떤 사물의 참/거짓 판단 방법 정리 : 증명을 통해 참이 밝혀진 것 공리 : 증명없이 참으로 받아지는 명제 여러 개의 명제를 통해 공공적으로 올바르다고 정한 정리 = 공리 공리로 정의된 명제끼리는 모순 X 공리의 집합 = 공리계, 모순이 없는 완전성 양화논리 명제를 이용해 모든 것을 참/거짓 판단 불가능 → 양화논리의 등장 집단을 대상으로 참/거짓을 묻는 것 양화논리의 두가지 종류 "어떤 집단의 요소 전체가 어떠한 성질을 충족하는가?” → 범용정량자(∀) “어떤 집단의 요소는 어떠한 성질을 충족하는 것이 존재하는가?” → 존재정량(∃) 술어논리 기존 집합 → 새로운 집합의 ..