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