2023-2 Modal Logic (Segment 1)
① Check to see which of the following are S4 valid or S5 only valid and give a proof in S4 if it is S4 valid and give a proof in S5 if it is S5 only valid:
- MMLMp ⊃ Mp
- Lp ⊃ LLMLp
- LLMLp ⊃ Lp
② Give a proof of the following in the systems indicated:
- ├K L(p ∨ q) .⊃. Lp ∨ Mq
- ├S4 Lp ∨ Lq .⊃. L(p ∨ Lq)
- ├T M(p ⊃Mp )
'Logic > Modal Logic' 카테고리의 다른 글
| Proofs (3) Quantified Modal Logic (0) | 2024.11.08 |
|---|---|
| Proofs (2) 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 |
| Relevant Logic as Paraconsistent Logic (0) | 2024.01.14 |