『数理論理学』（戸次大介）
戸次大介
による
数理論理学
の書籍
3.2 意味論
解釈先:
領域
(
domain
)
解釈: 論理式の 集合→ 領域 という写像
循環定義では？
wint.icon
閉論理式
（文）の集合なら理論と言う
wint.icon
3.3
def. 3.48 (p. 41)
意味論的含意
:
$ \Gamma\vDash\Delta
entails
:
$ \Gamma\;\rm{entails}\;\Delta
7.2
解説7.7 (p. 153)
証明論
において、
$ \vdash_{\mathcal{K}}
。ただし、
$ \mathcal{K}
は証明体系
cf. def. 3.48 (p. 41)