술어 논리: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
편집 요약 없음 |
||
1번째 줄:
{{다른 뜻 설명|[[1차 논리]]를 가리킬 때 간단히 술어 논리라고 일컫기도 한다.}}
'''술어 논리'''(述語論理, {{llang|en|predicate logic}}) 또는 '''함수 논리'''(函數論理) 또는 '''양화 논리'''(量化論理)는 명제에 존재하는 '주어'와 '술어'의 구조로부터 '주어'가 될 수 있는 대상에
[[1차 논리]] · [[2차 논리]] · [[고차 논리]] 따위가 있으며, 특히 수학의 기초를 이루는 1차 논리에서는 [[완전성]], [[건전성]]과 같은 여러 주요한 성질들이 성립한다.
|