로지칼씽킹/10 4

From ZeroWiki

Revision as of 00:44, 27 March 2026 by Maintenance script (talk | contribs) (Repair batch-0005 pages from live compare)

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

예정

satisfaction of formula
model, model set
logical consequence
substitute, replace
DNF, CNF

기타 / 후기 / 방명록

로지칼씽킹

Retrieved from "https://mediawiki.zeropage.org/index.php?title=로지칼씽킹/10_4&oldid=85559"