No older revisions available

1. 예정 ¶

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