Alex' Gardenアレックスの庭

Search

SearchSearch

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