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