Then w ⊩ ◻ p {\displaystyle w\Vdash \Box p} , thus w ⊩ p {\displaystyle w\Vdash p} by T, which means w R w using the definition of ⊩ {\displaystyle \Vdash } .
那么 w  ⊩ ◻ {\displaystyle \Vdash \Box } p，所以 w  ⊩ {\displaystyle \Vdash } p 于 T，这意味着 w R w 使用了 ⊩ {\displaystyle \Vdash } 的定义。