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