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