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