様相論理の公理B
$ \square A \models A
任意フレーム$ F=\langle W,R \rangleについて
$ A \models^F \square\diamond A
証明
$ \impliedby
TODO:
$ \implies
$ xRyだが$ yRxが成り立たない$ x,y \in Wが存在すると仮定する
付値$ vを
$ v(w,p)=1 \iff yRwでない
と定義する
$ v(x,p) = 1で$ v(x,\square\diamond p)=0が成立する
https://gyazo.com/067fb0d9b39324036fb0d74495371571
よって$ Rが反射的でない任意フレームにも反例モデルを構築することが出来ることが示された