[[TableOfContents]]
= 예정 =
 * 복습 겸 용어 재정리
  * interpretation, truth value, equivalence, substitution
  * satisfiability, model, logical consequence
 * theory, theorem, axiom
 * semantic tableaux
 * soundness, completeness
= 기타 / 후기 / 방명록 =

-----------------------------------

[로지칼씽킹]