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