토론:1차 논리

1차 논리랑 술어논리를 동의어로 쓰기도 하고 구분한다면 후자에는 2차나 3차 등도 들어갈 수 있을 겁니다. 나중에 '술어논리' 문서를 따로 만들어서 고차논리 및 그 밖에 양화의 개념이 들어가는 일반적인 논리들에 대해 간단히 설명할 수도 있겠네요. --Acepectif 2008년 4월 2일 (수) 21:42 (KST)

Acepectif님: '술어 논리'란 '1차 논리'는 같은 의미로 사용하기도 합니다. 2차 논리부터는 조금 더 복잡해 집니다. 그리고 술어 논리 항목이 따로 생긴 것 같습니다.

제가 보기에는 '한정 기호'를 '양화 변수'라고 하는 편이 좋을 것 같은데요. 어떠신지요?

한 공리 기본꼴을 추론 규칙으로 변경

공리 기본꼴 $\phi \implies \forall x\phi$ ($x$는 $\phi$의 자유 변수)가 아래와 같은 오류를 가져오는 것으로 보입니다.

1. $\lnot (x=x)\implies \forall x\lnot (x=x)$ (위 공리 기본꼴)
2. $\exists x(x=x)\implies (x=x)$ (1의 대우)
3. $(x=x)\implies \forall x(x=x)$ (위 공리 기본꼴)
4. $\exists x(x=x)\implies \forall x(x=x)$ (2, 3, 함의는 추이적)

위 이유로 이 공리 기본꼴을 일반화라는 추론 규칙 $\phi \vdash \forall x\phi$로 변경했음을 알립니다. 慈居 (토론) 2019년 10월 29일 (화) 18:53 (KST)

외부 링크 수정됨 (2024년 3월)

안녕하세요 편집자 여러분,

1차 논리에서 1개의 링크를 수정했습니다. 제 편집을 검토해 주세요. 질문이 있거나, 봇이 이 문서나 링크를 무시하기를 바라신다면 간단한 자주 묻는 질문에서 더 많은 정보를 찾아보세요. 다음 변경사항을 적용했습니다:

• https://web.archive.org/web/20150326210656/http://personal.us.es/josef/BSL0704-001.pdf 보존 링크를 http://personal.us.es/josef/BSL0704-001.pdf 링크에 추가함

봇의 문제를 수정하는 것에 관해서는 자주 묻는 질문을 참조해 주세요.

감사합니다.—InternetArchiveBot (버그를 제보하기) 2024년 3월 4일 (월) 20:58 (KST)