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