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.01.04 |
---|---|
Modal Conjunctive Normal Form (1) (0) | 2024.01.04 |
Proofs (1) (0) | 2024.01.04 |
The Tableau Method (1) (0) | 2024.01.04 |
Translation into quantification theory (2) (0) | 2024.01.04 |