17/10/22 23:42:35.84 sMM5+fid.net
>>527
1の解釈ではなく、+の解釈です
+は関数記号であるか、述語記号であるかのどちらかです
正しい場合を選べは、論理式は成立しますが、他方を選べば式自体が破綻します
このような状況で、解釈を与えるもなにもないですよね？
記号が区別できない限り
てか、解釈って数理論理の言葉ですけどわかってますよね？
17/10/22 23:42:35.84 sMM5+fid.net
>>527
1の解釈ではなく、+の解釈です
+は関数記号であるか、述語記号であるかのどちらかです
正しい場合を選べは、論理式は成立しますが、他方を選べば式自体が破綻します
このような状況で、解釈を与えるもなにもないですよね？
記号が区別できない限り
てか、解釈って数理論理の言葉ですけどわかってますよね？