⊢
⊢(ターンスタイル、turnstile)
記号自体はターンスタイルと読む
式中に出てきたときの読み方
〜を証明する、導出できる、導出可能、帰結する
UTF-8だとRIGHT TACK(U+22A2) TeXの場合、\vdashで出る($ \vdash )
$ \mathcal{P_1}, \mathcal{P_2}, ..., \mathcal{P_n} \vdash \mathcal{Q}
読み方: 結論$ \mathcal{Q} は前提$ \mathcal{P_1}, \mathcal{P_2}, ..., \mathcal{P_n} から帰結する
$ \mathcal{P_1}, \mathcal{P_2}, ..., \mathcal{P_n}, \mathcal{Q} : 論理式 確認用
Q. 論理学での⊢の意味
参考
関連
メモ
調査用
Wikipedia.icon
Wikipedia.icon