>>314
>＞ある理論Tのある論理式φについて
>＞T|=φ⇔T|-φ だから。
この2つの記号|=と|-だけど
|-の意味するところは「形式的証明」だけど
|=の意味するところは
左にモデルを置く場合は「成立する（真である）」
左に論理式の組を置く場合は
（モデルにおいて）「左が真なら右も真」
（真理値において）「左より右が上位」
みたいに文脈依存
なんでこうなったのかなあ