로지칼씽킹/11 1

From ZeroWiki

Revision as of 14:07, 16 February 2021 by imported>Unknown

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

예정

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

기타 / 후기 / 방명록

로지칼씽킹

Retrieved from "https://mediawiki.zeropage.org/index.php?title=로지칼씽킹/11_1&oldid=50097"