例えば、¬◻F→¬F{\displaystyle\neg\BoxF\rightarrow\negF}は、F{\displaystyleF}が真であることが未知ならば、それを偽とみなすことを意味する。
例如，¬◻F→¬F{\displaystyle\neg\BoxF\rightarrow\negF}意味着如果不知道F{\displaystyleF}是真的，则假定它为假。