含意＜がんい＞から伴意＜ばんい＞へ(外部記事)
檜山正幸のキマイラ飼育記
https://m-hiyama.hatenablog.com/entry/20050502/1115009032
$ \to
:
含意
/
実質含意
論理式の言語で登場
$ \vdash
:
証明可能
論理式の言語のメタ言語,
証明論
で登場
演繹定理
$ \models
:
充足
モデル論
で登場
モデル
$ M
が論理式
$ A
を真にするなら
$ M \models A
$ \implies
:
伴意
$ M \models A
なモデル
$ M
で
$ M \models B
ならば
$ A \implies B
#外部記事
#論理学