『学んでみよう!記号論理』
https://gyazo.com/089059d4bb78c090881c85f9ac10f6ef
授業がこれに沿って進んでいるのでテストの2日前に借りたmrsekut.icon
わかりやすくて良いmrsekut.icon
1,2
未読
3章
4章
5章
未読
6章
11章
言語$ Lの中の、変数を含まない項のこと
~12章
未読
13章
直接的な証明
14章
ヘンキンの定理を用いた、
命題論理の完全性定理の証明
15章
ヘンキンの定理を用いた、
述語論理の完全性定理の証明