論理的帰結
論理的帰結(ろんりてききけつ、logicl consequence)
$ \vDash : \vDashで出す
数理論理学
論理式 $ A_1, ..., A_n が真となるようなすべての付値／構造の下で $ B が真になるとき，論理式 $ B が論理式 $ A_1, ..., A_n の論理的帰結であるといい，$ A_1, ..., A_n \vDash B と書く $ A_1, ..., A_n \vDash B
読み方:
$ B は$ A_1, ..., A_n において真である
確認用
Q. 論理的帰結
関連
メモ
調査用
/pogi-log/Google.icon 論理的帰結 /pogi-log/Wikipedia.icon
/pogi-log/Wikipedia.icon