Modal Logic - □ distribution over →
-
04-11-2019 - |
문제
In the modal logic K does □ distribution over →?
For example, would the following be correct?
□(p → q) ≡ □p → □q올바른 솔루션이 없습니다
제휴하지 않습니다 cs.stackexchange
문제
In the modal logic K does □ distribution over →?
For example, would the following be correct?
□(p → q) ≡ □p → □q올바른 솔루션이 없습니다