기본 논리 기본 논리는 Raymond Reiter가 기본 추측으로 추론을 공식화하기 위해 제안한 비 단조 적 논리입니다. 기본 논리는 “기본적으로 어떤 것이 사실”과 같은 사실을 나타낼 수 있습니다. 반대로 표준 논리는 무언가가 사실이거나 무언가가 거짓임을 표현할 수 있습니다. 추론은 대개의 경우 사실이지만 항상 그런 것은 아니기 때문에 종종 문제가됩니다. 전형적인 예는 “새들이 일반적으로 날다”입니다. 이 규칙은 펭귄이… 기본 논리
판단 논리 수학 논리에서 판단 (또는 판단) 또는 단언은 메타 언어의 진술 또는 발언입니다. 예를 들어, 1 차 논리의 일반적인 판단은 문자열이 올바른 형식이거나 명제가 참이라는 것입니다. 유사하게, 판단은 대상 언어의 표현 또는 명제의 증명 가능성에서 자유 변수의 출현을 주장 할 수 있습니다. 일반적으로 판단은 메타 이론에서 유도 적으로 정의 할 수있는 어설 션일 수… 판단 논리