2016년 7월 27일 (수) 13:49 판 편집 Osteologia (토론 \| 기여) 점검 면제자, 장기인증된 사용자 39,111 편집 잔글 →예 ← 이전 편집		2016년 7월 27일 (수) 13:52 판 편집 편집 취소 Osteologia (토론 \| 기여) 점검 면제자, 장기인증된 사용자 39,111 편집 잔글 →공리와 추론 규칙 다음 편집 →
44번째 줄: 이 경우, 다음과 같은 공리 기본꼴({{llang\|en\|axiom schema}})들을 정의한다. 이 공리 기본꼴들에서 사용된 기호들은 다음과 같다. * <math>\phi</math>, <math>\chi</math>, <math>\psi~~</math>, <math>\xi~~</math>는 임의의 논리식을 뜻한다. * <math>t</math>, <math>u</math>는 임의의 항을 뜻한다. * <math>x</math>는 임의의 변수를 뜻한다. 57번째 줄: \end{matrix}</math> 가 있다. 이 밖에, 다음과 같은 [[명제 논리]]의 공리 기본꼴들이 사용된다. :㈁ <math>\phi \implies \left( \~~psi~~chi \implies \phi \right) </math> :㈂ <math>\left( \phi \implies \left( \~~psi~~chi \implies \xipsi \right) \right) \implies \left( \left( \phi \implies \~~psi~~chi \right) \implies \left( \phi \implies \xipsi \right) \right)</math> :㈃ <math>\left ( \lnot \phi \implies \lnot \~~psi~~chi \right) \implies \left( \~~psi~~ chi\implies \phi \right) </math> 1차 술어 논리의 경우, 다음과 같은 추가 공리 기본꼴들이 사용된다. :㈄ <math> \forall x\phi\implies\phi[t/x]</math> ::공리 기본꼴 ㈄에서, <math>x</math>는 <math>\phi</math>의 종속 변수일 수 없다. (즉, 만약 <math>x</math>가 <math>\phi</math>에 등장한다면 <math>x</math>는 자유 변수이다.) :㈅ <math>\forall x\left(\phi\implies\~~psi~~chi\right) \implies \left( \forall x\phi \implies \forall x\~~psi~~chi\right)</math> ::공리 기본꼴 ㈅에서, <math>x</math>는 <math>\phi</math>의 종속 변수일 수 없다. 마찬가지로, <math>x</math>는 <math>\~~psi~~chi</math>의 종속 변수일 수 없다. :㈆ <math> \phi \implies \forall x\phi</math> ::공리 기본꼴 ㈆에서, <math>x</math>는 <math>\phi</math>의 자유 변수일 수 없다.

1차 논리: 두 판 사이의 차이