Logic/Modal Logic

Translation into quantification theory (2)

Soyo_Kim 2024. 1. 4. 21:54

2023-2 Modal Logic (Segment 1)

 

Q) Prove the following by Translation into quantification theory (you may use conditional proof).

  1. Trans(R) & Symm(R) ├ Mp ∧ Mq .⊃. M(p ∧ Mq)
  2. Trans(R)├ M(Lp ⊃ Mq) ⊃ M(p ⊃ q)
  3. Symm(R) ├ p ⊃ LMp

저작자표시 비영리 동일조건 (새창열림)