Alex' Gardenアレックスの庭

Search

Folder: 5_Archive/Uni/Modules/Modules/ItL/VL/VL08

11 items under this folder.

Dec 18, 2024
↘️ Variable assignment (predicate calculus)
Dec 18, 2024
⚛️ Formula
Dec 18, 2024
✅ Reference function (predicate calculus)
Dec 18, 2024
🎇 Universe of discourse
Dec 18, 2024
👤 Individual variable
Dec 18, 2024
👫 Model (predicate calculus)
Dec 18, 2024
💭 Interpretation function (predicate calculus)
Dec 18, 2024
🔟 Quantifier
Dec 18, 2024
🔸 Term (Predicate calculus)
Dec 18, 2024
🙍 Individual (Predicate calculus)
Dec 18, 2024
🙎 Individual constant