2023-2 Modal Logic (Segment 1)
① Determine whether the following valid in the systems indicated by the semantic tableau
- L(Lp ⊃ Lq) ∨ L(Lq ⊃ Lp)
- ML(p ⊃ LMp)
② Determine which of the following are valid in K, D, T, S4, S5, B by tableaux.
- L(p ∨ Lq) .⊃. Lq ∨ Lp
- M(p⊃p)
- Mp ⊃ LMMp
- Lp ∧ M(q ⊃ r) :⊃: L(p⊃q) ⊃ M(p ∧ r)
'Logic > Modal Logic' 카테고리의 다른 글
| The Tableau Method (3) Quantified Modal Logic (0) | 2024.01.14 |
|---|---|
| The Tableau Method (2) Non-Normal Modal Logic (0) | 2024.01.14 |
| Translation into quantification theory (2) (0) | 2024.01.04 |
| Translation into quantification theory (1) (0) | 2024.01.04 |
| Chapter 3. The Brouwerian System (0) | 2024.01.04 |