人気ブログランキング | 話題のタグを見る

「スマリヤン数理論理学講義」P128の12行目について

「このとき、任意の論理式Xに対して、S*∪{X}のすべての有限部分集合は充足可能なので、XはS*の元でなければならない」

この文は不要だと思う。あるいは僕が気がつかないだけで、この文章は必要なのだろうか?

同様にP122の双対タブローの説明についている「注」も不要だと感じる。
by tomoarrow | 2019-09-28 07:00 | モチーフについて | Comments(0)