Alex' Garden
アレックスの庭
Search
Search
Search
Light mode
Dark mode
Folder: 5_Archive/Uni/Modules/Modules/ItL/VL/VL09
14 items under this folder.
Jun 21, 2025
Reason (Predicate Calculus)
Jun 21, 2025
☑️ Satisfiability (Predicate Calculus
Jun 21, 2025
☑️ Sentence (Predicate Calculus)
Jun 21, 2025
✅ Model (sentence)
Jun 21, 2025
✅ Proof (logic)
Jun 21, 2025
⬆️ Inductive proof
Jun 21, 2025
🌱 Meaning in use
Jun 21, 2025
🌾 Calculus of natural reasoning
Jun 21, 2025
🎩 Meaning
Jun 21, 2025
👉 Meaning is denotation
Jun 21, 2025
💭 Assumption
Jun 21, 2025
📏 Calculus (logic)
Jun 21, 2025
📕 Fundamental inference rule
Jun 21, 2025
📙 Inference rule