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