형식 논리
엄격한 규칙과 기호를 사용하여 문장 간의 논리적 관계를 분석하고 타당성을 검증하는 수학적 체계이다. AI 모델이 단순한 확률적 예측을 넘어 수학적 증명이나 법률 해석처럼 엄밀한 추론이 필요한 영역에서 오류를 줄이는 기반이 된다.