기초

1. 용어
   1. 추론(inference): 참으로 알려진 명제를 기초로하여 다른 명제를 유도하는 과정
   2. 전제(premise): 결론의 근거를 제공하는 명제
      1. 명제들 중 결론을 제외한 명제
   3. 명제(statement): 참과 거짓 판별할 수 있는 문장
   4. 결론(conclusion): 새로 유도된 명제
      1. 명제들 중 마지막 명제
   5. 논증(argument): 어떤 주장이 옳다는 것을 증명하기 위한 명제들의 나열

추론의 법칙

1. modus ponens(전건 긍정)
   
2. modus tollens(후건 부정)
   
   1. 대우 명제와 유사
3. Hypothetical Syllogism(가언적 삼단 논법)
   
4. Disjunctive Syllogism(선언적 삼단 논법)
   
5. 추가 법칙
   

한정자 명제

1. Universal Instantiation (UI)
   
   1. Universal Modus Ponens
      
2. Universal Generalization (UG)
   
3. Existential Instantiation (EI)
   
4. Existential Generalization (EG)