강의는 논리적 추론 규칙들을 간략하게 복습하고, 전제와 결론의 관계를 설명합니다.
조건문과 결론이 어떻게 연결되는지를 설명하며, 조건문이 명제가 되는 과정을 다룹니다.
가설적 삼단논법과 물리적 삼단논법을 설명하며, 이들의 적용 예를 제공합니다.
소크라테스를 예로 들어 논리적 추론을 어떻게 적용할 수 있는지를 보여줍니다.
구문법과 신택스의 중요성을 강조하며, 의사소통을 위한 문장 구조를 설명합니다.
논리적 규칙이 적용된 구체적인 예를 통해 이론을 실습합니다.
변수와 상수가 논리적 추론에서 어떻게 사용되는지를 설명합니다.
부정을 통해 결론을 도출하는 과정을 설명하며, 이를 통해 논리적 사고를 강화합니다.
가설적 삼단논법을 적용하여 결론을 도출하는 방법을 설명합니다.