예정

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

기타 / 후기 / 방명록