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