추론(Inference)은 이미 알고 있는 또는 확인된 정보로부터 논리적 결론을 도출하는 행위 또는 과정이다


추론은 크게 2가지 유형으로 나눌 수 있으니, 연역법 (Deduction) 과 귀납법 (Induction)

'모든 M은 P이며, 모든 S는 M이다. 그러므로 모든 S는 P이다'란 형식의 3단논법이 연역추론


----출처 위키백과


그러면 (연역적) 타입추론이네 ㅋㅋ


차라리 연역적 타입추론이라고 적으시지..