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