Alex' Garden
アレックスの庭
Search
Search
Dark mode
Light mode
Folder: 5_Archive/Other/Uni/Modules/Modules/ItL/VL/VL08
11 items under this folder.
Mar 24, 2026
Individual constant
Mar 24, 2026
Individual variable
Mar 24, 2026
Interpretation function (predicate calculus)
Mar 24, 2026
Model (predicate calculus)
Mar 24, 2026
Quantifier
Mar 24, 2026
Reference function (predicate calculus)
Mar 24, 2026
Term (Predicate calculus)
Mar 24, 2026
Universe of discourse
Mar 24, 2026
↘Variable assignment (predicate calculus)
Mar 24, 2026
Formula
Mar 24, 2026
Individual (Predicate calculus)