1. 예정

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

2. 기타 / 후기 / 방명록

Retrieved from http://wiki.zeropage.org/wiki.php/로지칼씽킹/11_1
last modified 2021-02-16 14:07:50