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