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لا يوجد حل صحيح