2023-2 Modal Logic (Segment 1)
Q) Use the technique of Modal Conjunctive Normal form to test the follow for S5 Validity and if Valid construct a proof using the technique.
- ML(p ⊃ LMp)
- M(Lp ⊃Mq)⊃ M(p⊃ q)
- L(p ∨ Lq) .⊃. Lp ∨ Lq
- LMLp ⊃ Lp
'Logic > Modal Logic' 카테고리의 다른 글
| C. I. Lewis' Non-Normal Systems (S1-S3) (0) | 2024.01.14 |
|---|---|
| Derived Rules (0) | 2024.01.04 |
| Proofs (2) (0) | 2024.01.04 |
| Proofs (1) (0) | 2024.01.04 |
| The Tableau Method (1) (0) | 2024.01.04 |