토론:1차 논리
새 주제보이기
마지막 의견: 9개월 전 (InternetArchiveBot님) - 주제: 외부 링크 수정됨 (2024년 3월)
이 문서는 통계학 관련 문서를 체계적으로 다루기 위한 위키프로젝트 통계학의 범위 안에 있습니다. 이 프로젝트에 참여하고 싶으시다면 프로젝트 문서를 방문해 주세요. 프로젝트의 목표와 편집 지침을 확인하거나 토론에 의견을 제시할 수 있습니다. | ||
미평가 | 이 문서에 대한 문서 품질이 아직 평가되지 않았습니다. | |
최고 | 이 문서는 프로젝트 내에서 최고로 중요하게 여겨집니다. |
이 문서는 다음 여러 위키프로젝트의 범위 안에 있습니다. | ||||||||||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
1차 논리랑 술어논리를 동의어로 쓰기도 하고 구분한다면 후자에는 2차나 3차 등도 들어갈 수 있을 겁니다. 나중에 '술어논리' 문서를 따로 만들어서 고차논리 및 그 밖에 양화의 개념이 들어가는 일반적인 논리들에 대해 간단히 설명할 수도 있겠네요. --Acepectif 2008년 4월 2일 (수) 21:42 (KST)
Acepectif님: '술어 논리'란 '1차 논리'는 같은 의미로 사용하기도 합니다. 2차 논리부터는 조금 더 복잡해 집니다. 그리고 술어 논리 항목이 따로 생긴 것 같습니다.
제가 보기에는 '한정 기호'를 '양화 변수'라고 하는 편이 좋을 것 같은데요. 어떠신지요?
한 공리 기본꼴을 추론 규칙으로 변경
[편집]공리 기본꼴 (는 의 자유 변수)가 아래와 같은 오류를 가져오는 것으로 보입니다.
- (위 공리 기본꼴)
- (1의 대우)
- (위 공리 기본꼴)
- (2, 3, 함의는 추이적)
위 이유로 이 공리 기본꼴을 일반화라는 추론 규칙 로 변경했음을 알립니다. 慈居 (토론) 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)