In modal logic, if one knows a proposition p, then p is true (though the converse does not necessarily hold).

Suppose now that p is impossible. Does that mean that p is false (though a false proposition is not necessarily impossible)?


If you agree with the principle :


replacing p with ¬p gives :


that is :


We can red it as :

if p is impossible, then p is false.

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy