추론이란 이미 알려진 사실이나 증거로부터 새로운 사실을 이끌어 내는 과정을 의미합니다.
연역법은 일반 규칙으로부터 특정 결론을 이끌어내는 과정입니다.
귀납법은 특정 사례로부터 일반적인 규칙을 도출하는 방법입니다.
올바른 추론은 주어진 전제가 만족될 때만 유효하며, 이를 통해 결론을 도출할 수 있습니다.
삼단 논법은 두 가지 전제를 통해 결론을 도출하는 전통적인 논리적 방법입니다.
유니버설 양화사는 모든 개체에 대해 성립하는 문장을 표현하는 방법입니다.
존재 양화사는 특정 존재에 대해 성립하는 문장을 표현하는 방법으로, 새로운 이름을 부여하는 방식입니다.
의미적 수반 관계는 한 문장이 참일 때 다른 문장도 참이 되는 관계를 설명합니다.
모델 이론은 특정 문장이 참이 되는 세상을 정의하고, 이 세상에서의 관계를 설명합니다.
추론이 건전하다는 것은 올바른 전제로부터 올바른 결론을 도출할 수 있음을 의미합니다.
