1. 예정 ¶

복습 겸 용어 재정리
- interpretation, truth value, equivalence, substitution
- satisfiability, model, logical consequence
theory, theorem, axiom
semantic tableaux
soundness, completeness

2. 기타 / 후기 / 방명록 ¶