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