More actions
imported>Unknown No edit summary |
(Repair batch-0005 pages from live compare) |
||
| Line 12: | Line 12: | ||
[[로지칼씽킹]] | [[로지칼씽킹]] | ||
Latest revision as of 00:44, 27 March 2026
예정
- 복습 겸 용어 재정리
- interpretation, truth value, equivalence, substitution
- satisfiability, model, logical consequence
- theory, theorem, axiom
- semantic tableaux
- soundness, completeness