Proof theory

판단 논리판단 논리

판단 논리

수학 논리에서 판단 (또는 판단) 또는 단언은 메타 언어의 진술 또는 발언입니다. 예를 들어, 1 차 논리의 일반적인 판단은 문자열이 올바른…

6 years ago