More actions
imported>Unknown No edit summary |
(Repair batch-0005 pages from live compare) |
||
| Line 11: | Line 11: | ||
[[로지칼씽킹]] | [[로지칼씽킹]] | ||
Latest revision as of 00:44, 27 March 2026
예정
- satisfaction of formula
- model, model set
- logical consequence
- substitute, replace
- DNF, CNF