論理的帰結 - pogi-log

論理的帰結

論理的帰結(ろんりてききけつ、logicl consequence)

随意(ずいい、entailment)、、伴意(ばんい、はんい)、エンテイルメント？

シーケント計算では⊨を使う

$ \vDash : TeXの場合\vDashで出す

数理論理学

論理式 $ A_1, ..., A_n が真となるようなすべての付値／構造の下で $ B が真になるとき，論理式 $ B が論理式 $ A_1, ..., A_n の論理的帰結であるといい，$ A_1, ..., A_n \vDash B と書く

$ A_1, ..., A_n \vDash B

読み方:

1. $ B は$ A_1, ..., A_n において真である

2. $ B は$ A_1, ..., A_n において妥当である

3. $ A_1, ..., A_n は、$ B を意味論的に含意(entail)する

確認用

Q. 論理的帰結