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