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' 카테고리의 다른 글
Modal Conjunctive Normal Form (1) (0) | 2024.01.04 |
---|---|
Proofs (2) (0) | 2024.01.04 |
The Tableau Method (1) (0) | 2024.01.04 |
Translation into quantification theory (2) (0) | 2024.01.04 |
Translation into quantification theory (1) (0) | 2024.01.04 |