11/03/19 12:07:59.68
>>437
> ジェフリー『形式論理学』の決定可能、決定不可能のくだりで
> 多項関係の述語を含む関数記号を含まない理論が決定不可能というのは関数記号を多項関係の述語に置き換える（たとえば、関数記号+を和の関係を表す述語に置き換える）結果、それが言えるという意味ですか？
> それとも、同一性記号や和の関係を表す述語のような特別な付値を持つ述語（＝11は定理だが、（自由な表れの述語Ａに関して）A11が定理は言えない）は関係なくて、自由な表れの多項関係の述語を持てば理論は決定不能になるという意味ですか
> どなたか、お教えください
> よろしくおねがいします
付値は命題への真偽値の与え方と考えてよろしいでしょうか？
それから「自由な表れ」とはなんでしょうか？