I was mulling over this proposition: Just because something is provable doesn't mean that it is important; and wanted to consider its contrapositive. How would I write this in formal (modal) logic?
P is provable =>Possibly [not (P important)]
But the contrapostive ( as in formal logic) ought to give is:
not (Possibly [not (P important)])=> not (P is provable)
What does this simplify into?