Home /
Expert Answers /
Advanced Math /
4-show-that-the-following-formulas-of-basic-modal-logic-are-valid-a-square-phi-wedge-ps-pa912
(Solved): 4. Show that the following formulas of basic modal logic are valid: (a) \( \square(\phi \wedge \ps ...
4. Show that the following formulas of basic modal logic are valid: (a) \( \square(\phi \wedge \psi) \leftrightarrow(\square \phi \wedge \square \psi) \) (b) \( \diamond(\phi \vee \psi) \leftrightarrow(\diamond \phi \vee \diamond \psi) \)
Expert Answer
We have to prove the two formulas below in Coq. ? (a) [](? ? ?) ? ([]