Alex' Garden
アレックスの庭
Search
Search
Search
Light mode
Dark mode
Folder: 5_Archive/Uni/Modules/Modules/ItL/VL/VL08
11 items under this folder.
Jun 21, 2025
↘️ Variable assignment (predicate calculus)
Jun 21, 2025
⚛️ Formula
Jun 21, 2025
✅ Reference function (predicate calculus)
Jun 21, 2025
🎇 Universe of discourse
Jun 21, 2025
👤 Individual variable
Jun 21, 2025
👫 Model (predicate calculus)
Jun 21, 2025
💭 Interpretation function (predicate calculus)
Jun 21, 2025
🔟 Quantifier
Jun 21, 2025
🔸 Term (Predicate calculus)
Jun 21, 2025
🙍 Individual (Predicate calculus)
Jun 21, 2025
🙎 Individual constant