4 처지: 명제논리, 추론 규칙, 1차 논리, 2차 논리.
명제논리
명제 논리(命題論理, propositional logic)는 논리식을 이용해 명제를 기술하는 형식 체계이.
새로운!!: 술어 논리와 명제논리 · 더보기 »
추론 규칙
칙(推論規則)은 논리학에서 논리식으로부터 다른 논리식을 이끄는 규칙을 말. 공리, 대입 규칙, 추론 규칙에 의해서 이론을 형식화한 것이 공리.
새로운!!: 술어 논리와 추론 규칙 · 더보기 »
1차 논리
1차 논리(一次論理)는 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어 논리이.
새로운!!: 술어 논리와 1차 논리 · 더보기 »
2차 논리
수리논리학에서, 2차 논리(二次論理)는 임의의 다항 관계 및 다항 연산에 대한 변수 및 이에 대한 전칭·존재 기호를 사용할 수 있는 논리이.
새로운!!: 술어 논리와 2차 논리 · 더보기 »