19/02/04 20:43:47.49 jVRw0qlx.net
>>735
ご回答ありがとうございます
疑問が晴れずもう少しお付きあいいただければと思います
モデルとは一階述語論理で定義される領域と構造の対だと思っていたのですが、その例のどちらもこの定義ではないということなのでしょうか？
違いや、それが記述されてる本などでも構わないので教えていただけると有りがたいです
19/02/04 20:43:47.49 jVRw0qlx.net
>>735
ご回答ありがとうございます
疑問が晴れずもう少しお付きあいいただければと思います
モデルとは一階述語論理で定義される領域と構造の対だと思っていたのですが、その例のどちらもこの定義ではないということなのでしょうか？
違いや、それが記述されてる本などでも構わないので教えていただけると有りがたいです