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