\(\Box ( p \mathrel{\rightarrow}q) \mathrel{\rightarrow} ( \Box p \mathrel{\rightarrow}\Box q) \)

Select all the states where this formula is true.

Select all the states where this formula is true.

\(p\mathrel{\rightarrow} q\)

Select all the states where this formula is true.

Select all the states where this formula is true.

\(\Diamond \Diamond p\mathrel{\rightarrow} \Diamond p\)

Select all the states where this formula is true.

Select all the states where this formula is true.

\(\neg ( p \mathrel{\wedge}r) \)

Select all the states where this formula is true.

Select all the states where this formula is true.

\(\Diamond q\)

Select all the states where this formula is true.

Select all the states where this formula is true.