Necessity and Possiblity aren't all that different

Logic Level 3

In Modal Logic, the necessity operator \(\square\) refers to the fact that a proposition must hold. This is written as \(\square P\).

The possiblity operator \(\diamond\) refers to the the fact that a proposition might hold. This is written as \(\diamond P\).

What is a different way to write \(\diamond P\)?

×

Problem Loading...

Note Loading...

Set Loading...