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.11.08 |
|---|---|
| The Barcan Formula: A, B, and C-Semantics (0) | 2024.11.08 |
| Derived Rules (0) | 2024.11.08 |
| Proofs (3) Quantified Modal Logic (0) | 2024.11.08 |
| Proofs (2) Basic Modal Propositional Logic (0) | 2024.11.08 |