본문으로 이동

토론:1차 논리

문서 내용이 다른 언어로는 지원되지 않습니다.
새 주제
위키백과, 우리 모두의 백과사전.
마지막 의견: 9개월 전 (InternetArchiveBot님) - 주제: 외부 링크 수정됨 (2024년 3월)

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

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

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

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

[편집]

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

  1. (위 공리 기본꼴)
  2. (1의 대우)
  3. (위 공리 기본꼴)
  4. (2, 3, 함의는 추이적)

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

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

[편집]

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

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

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

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