2023-2 Modal Logic (Segment 1)
Q) Give a proof of the following in the systems indicated:
- ├S5 Mp ∧ Mq .⊃. M(p ∧ Mq)
- ├B MLp ⊃ LMp
- ├S5 Lp ⊃ LLp
- ├S5 p ⊃ LMp
- ├S5 L(p ∨ Lq) .⊃. Lp ∨ Lq
- ├S4 M(p ∧ Mq) .⊃. Mp ∧ Mq
'Logic > Modal Logic' 카테고리의 다른 글
| Derived Rules (0) | 2024.11.08 |
|---|---|
| Proofs (3) Quantified Modal Logic (0) | 2024.11.08 |
| Proofs (1) Basic Modal Propositional Logic (0) | 2024.11.08 |
| The Tableau Method (3) Quantified Modal Logic (0) | 2024.01.14 |
| The Tableau Method (2) Non-Normal Modal Logic (0) | 2024.01.14 |