Modal Logic - □ distribution over →
-
04-11-2019 - |
Pergunta
In the modal logic K does □ distribution over →?
For example, would the following be correct?
□(p → q) ≡ □p → □qNenhuma solução correta
Licenciado em: CC-BY-SA com atribuição
Não afiliado a cs.stackexchange