2023-2 Modal Logic (Segment 1)
Q) Prove the following by Translation into quantification theory (you may use conditional proof).
- Trans(R) & Symm(R) ├ Mp ∧ Mq .⊃. M(p ∧ Mq)
- Trans(R)├ M(Lp ⊃ Mq) ⊃ M(p ⊃ q)
- Symm(R) ├ p ⊃ LMp
'Logic > Modal Logic' 카테고리의 다른 글
| The Tableau Method (2) Non-Normal Modal Logic (0) | 2024.01.14 |
|---|---|
| The Tableau Method (1) Normal Modal Logic (0) | 2024.01.04 |
| Translation into quantification theory (1) (0) | 2024.01.04 |
| Chapter 3. The Brouwerian System (0) | 2024.01.04 |
| Chapter 3. The System S5 (0) | 2024.01.04 |