. . . . "\u8C13\u8BCD\u53D8\u91CF"@zh . . . . . . "In mathematical logic, a predicate variable is a predicate letter which functions as a \"placeholder\" for a relation (between terms), but which has not been specifically assigned any particular relation (or meaning). Common symbols for denoting predicate variables include capital roman letters such as , and , or lower case roman letters, e.g., . In first-order logic, they can be more properly called metalinguistic variables. In higher-order logic, predicate variables correspond to propositional variables which can stand for well-formed formulas of the same logic, and such variables can be quantified by means of (at least) second-order quantifiers."@en . "Predicate variable"@en . . "\u5728\u4E00\u9636\u903B\u8F91\u4E2D\uFF0C\u8C13\u8BCD\u53D8\u91CF\u662F\u8868\u793A(\u5728\u9879\u4E4B\u95F4\u7684)\u4E00\u4E2A\u5173\u7CFB\u7684\u8C13\u8BCD\u5B57\u6BCD\uFF0C\u8FD9\u4E2A\u5173\u7CFB\u8FD8\u6CA1\u6709\u88AB\u7279\u6B8A\u7684\u6307\u6D3E\u4EFB\u4F55\u7279\u5B9A\u7684\u5173\u7CFB(\u6216\u610F\u4E49(\u5185\u6DB5))\u3002\u5728\u4E00\u9636\u903B\u8F91(FOL)\u4E2D\u5B83\u4EEC\u53EF\u4EE5\u88AB\u66F4\u5408\u9002\u7684\u5230\u53EB\u505A\"\u5143\u53D8\u91CF\"\u3002\u5728\u9AD8\u9636\u903B\u8F91\u4E2D\u8C13\u8BCD\u53D8\u91CF\u5BF9\u5E94\u4E8E\"\u547D\u9898\u53D8\u91CF\"\uFF0C\u5B83\u53EF\u4EE5\u8868\u793A\u540C\u4E00\u4E2A\u903B\u8F91\u4E2D\u7684\u5408\u5F0F\u516C\u5F0F\uFF0C\u800C\u8FD9\u79CD\u53D8\u91CF\u53EF\u4EE5\u88AB\u901A\u8FC7(\u81F3\u5C11)\u4E8C\u9636\u91CF\u8BCD\u7684\u65B9\u5F0F\u6765\u91CF\u5316\u3002 \u5728\u5143\u53D8\u91CF\u610F\u4E49\u4E0A\uFF0C\u8C13\u8BCD\u53D8\u91CF\u53EF\u4EE5\u7528\u6765\u5B9A\u4E49\u516C\u7406\u6A21\u5F0F\u3002\u8C13\u8BCD\u53D8\u91CF\u5E94\u5F53\u533A\u522B\u4E8E\u8C13\u8BCD\u5E38\u91CF\uFF0C\u5B83\u53EF\u4EE5\u88AB\u8868\u793A\u4E3A\u8981\u4E48\u901A\u8FC7\u4E0D\u540C\u7684(\u6392\u4ED6\u7684)\u8C13\u8BCD\u5B57\u6BCD\u96C6\u5408\uFF0C\u8981\u4E48\u901A\u8FC7\u5728\u5176\u8BBA\u57DF\u4E2D\u5B9E\u9645\u4E0A\u6709\u81EA\u5DF1\u7279\u6B8A\u7684\u610F\u4E49\u7684\u7B26\u53F7: \u6BD4\u5982 \u3002 \u5982\u679C\u5B57\u6BCD\u7528\u4E8E\u8C13\u8BCD\u5E38\u91CF\u53C8\u7528\u4E8E\u8C13\u8BCD\u53D8\u91CF\uFF0C\u5219\u5FC5\u987B\u6709\u533A\u5206\u5B83\u4EEC\u7684\u65B9\u5F0F\u3002\u4F8B\u5982\uFF0C\u5B57\u6BCD W, X, Y, Z \u53EF\u4EE5\u88AB\u6307\u5B9A\u8868\u793A\u8C13\u8BCD\u53D8\u91CF\uFF0C\u800C\u5B57\u6BCD A, B, C,..., U, V \u53EF\u4EE5\u8868\u793A\u8C13\u8BCD\u5E38\u91CF\u3002\u5982\u679C\u8FD9\u4E9B\u5B57\u6BCD\u4E0D\u591F\uFF0C\u5219\u53EF\u4EE5\u6DFB\u52A0\u6570\u5B57\u4E0B\u6807\uFF0C\u6BD4\u5982 X1, X2, X3,... \u4F46\u662F\uFF0C\u5982\u679C\u8C13\u8BCD\u53D8\u91CF\u88AB\u8BA4\u77E5(\u6216\u5B9A\u4E49)\u4E3A\u5B9E\u9645\u4E0A\u5C5E\u4E8E\u8C13\u8BCD\u6F14\u7B97\u7684\u8BCD\u6C47\u8868\uFF0C\u5219\u5B83\u4EEC\u5B9E\u9645\u4E0A\u662F\u8C13\u8BCD\u5143\u53D8\u91CF\uFF0C\u800C\u4F59\u4E0B\u7684\u8C13\u8BCD\u5B57\u6BCD\u5C31\u53EB\u505A\u201C\u8C13\u8BCD\u5B57\u6BCD\u201D\u3002\u5143\u53D8\u91CF\u56E0\u6B64\u88AB\u7406\u89E3\u4E3A\u7528\u6765\u5B9E\u9645\u4E0A\u7F16\u7801\u516C\u7406\u6A21\u5F0F\u548C\u5B9A\u7406\u6A21\u5F0F(\u63A8\u5BFC\u81EA\u516C\u7406\u6A21\u5F0F)\u3002\u201C\u8C13\u8BCD\u5B57\u6BCD\u201D\u5B9E\u9645\u4E0A\u662F\u5E38\u91CF\u8FD8\u662F\u53D8\u91CF\u662F\u4E2A\u5FAE\u5999\u7684\u8981\u70B9: \u662F\u8C13\u8BCD\u5E38\u91CF\uFF0C\u800C \u662F\u6570\u503C\u5E38\u91CF\uFF0C\u5B83\u4EEC\u4E0D\u662F\u540C\u6837\u610F\u4E49\u7684\u5E38\u91CF\u3002 \u53E6\u4E00\u79CD\u9009\u62E9\u662F\u4F7F\u7528\u5C0F\u5199\u5E0C\u814A\u5B57\u6BCD\u6765\u8868\u793A\u8FD9\u79CD\u5143\u53D8\u91CF\u8C13\u8BCD\u3002\u90A3\u4E48\uFF0C\u8FD9\u79CD\u5B57\u6BCD\u53EF\u4EE5\u7528\u6765\u8868\u793A\u8C13\u8BCD\u6F14\u7B97\u7684\u5168\u90E8\u5408\u5F0F\u516C\u5F0F: wff \u7684\u4EFB\u4F55\u81EA\u7531\u53D8\u91CF\u9879\u90FD\u53EF\u4EE5\u88AB\u5408\u6210\u4E3A\u5E0C\u814A\u5B57\u6BCD\u8C13\u8BCD\u7684\u9879\u3002\u8FD9\u662F\u5EFA\u7ACB\u9AD8\u9636\u903B\u8F91\u7684\u7B2C\u4E00\u6B65\u3002 \u5982\u679C\u53EA\u5141\u8BB8\"\u8C13\u8BCD\u53D8\u91CF\"\u88AB\u7EA6\u675F\u5230\u96F6\u5143\u6570\u7684\u8C13\u8BCD\u5B57\u6BCD(\u6CA1\u6709\u53C2\u6570)\uFF0C\u8FD9\u79CD\u5B57\u6BCD\u5B9E\u9645\u4E0A\u8868\u793A\u547D\u9898\uFF0C\u5219\u8FD9\u79CD\u53D8\u91CF\u5B9E\u9645\u4E0A\u662F\u547D\u9898\u53D8\u91CF\uFF0C\u5141\u8BB8\u7528\u4E8C\u9636\u91CF\u8BCD\u7EA6\u675F\u8FD9\u79CD\u547D\u9898\u53D8\u91CF\u7684\u4EFB\u4F55\u8C13\u8BCD\u903B\u8F91\u90FD\u662F\u4E8C\u9636\u8C13\u8BCD\u6F14\u7B97\u6216\u4E8C\u9636\u903B\u8F91\u3002 \u5982\u679C\u8FD8\u5141\u8BB8\u8C13\u8BCD\u53D8\u91CF\u88AB\u7EA6\u675F\u5230\u662F\u4E00\u5143\u6216\u66F4\u591A\u5143\u7684\u8C13\u8BCD\u5B57\u6BCD\uFF0C\u8FD9\u65F6\u8FD9\u79CD\u5B57\u6BCD\u8868\u793A\u547D\u9898\u51FD\u6570\uFF0C\u4F7F\u5F97\u53C2\u6570\u7684\u5B9A\u4E49\u57DF\u88AB\u6620\u5C04\u5230\u4E0D\u540C\u547D\u9898\u7684\u503C\u57DF\uFF0C\u8FD9\u65F6\u8FD9\u79CD\u53D8\u91CF\u53EF\u4EE5\u88AB\u91CF\u8BCD\u7EA6\u675F\u5230\u8FD9\u79CD\u547D\u9898\u7684\u96C6\u5408\uFF0C\u90A3\u4E48\u7ED3\u679C\u5C31\u662F\u9AD8\u9636\u8C13\u8BCD\u6F14\u7B97\u6216\u9AD8\u9636\u903B\u8F91\u3002"@zh . "1011332"^^ . . . . . "4084"^^ . . . . . . . . . . . . . . "1115302807"^^ . . . "Variabile predicativa"@it . "\u5728\u4E00\u9636\u903B\u8F91\u4E2D\uFF0C\u8C13\u8BCD\u53D8\u91CF\u662F\u8868\u793A(\u5728\u9879\u4E4B\u95F4\u7684)\u4E00\u4E2A\u5173\u7CFB\u7684\u8C13\u8BCD\u5B57\u6BCD\uFF0C\u8FD9\u4E2A\u5173\u7CFB\u8FD8\u6CA1\u6709\u88AB\u7279\u6B8A\u7684\u6307\u6D3E\u4EFB\u4F55\u7279\u5B9A\u7684\u5173\u7CFB(\u6216\u610F\u4E49(\u5185\u6DB5))\u3002\u5728\u4E00\u9636\u903B\u8F91(FOL)\u4E2D\u5B83\u4EEC\u53EF\u4EE5\u88AB\u66F4\u5408\u9002\u7684\u5230\u53EB\u505A\"\u5143\u53D8\u91CF\"\u3002\u5728\u9AD8\u9636\u903B\u8F91\u4E2D\u8C13\u8BCD\u53D8\u91CF\u5BF9\u5E94\u4E8E\"\u547D\u9898\u53D8\u91CF\"\uFF0C\u5B83\u53EF\u4EE5\u8868\u793A\u540C\u4E00\u4E2A\u903B\u8F91\u4E2D\u7684\u5408\u5F0F\u516C\u5F0F\uFF0C\u800C\u8FD9\u79CD\u53D8\u91CF\u53EF\u4EE5\u88AB\u901A\u8FC7(\u81F3\u5C11)\u4E8C\u9636\u91CF\u8BCD\u7684\u65B9\u5F0F\u6765\u91CF\u5316\u3002 \u5728\u5143\u53D8\u91CF\u610F\u4E49\u4E0A\uFF0C\u8C13\u8BCD\u53D8\u91CF\u53EF\u4EE5\u7528\u6765\u5B9A\u4E49\u516C\u7406\u6A21\u5F0F\u3002\u8C13\u8BCD\u53D8\u91CF\u5E94\u5F53\u533A\u522B\u4E8E\u8C13\u8BCD\u5E38\u91CF\uFF0C\u5B83\u53EF\u4EE5\u88AB\u8868\u793A\u4E3A\u8981\u4E48\u901A\u8FC7\u4E0D\u540C\u7684(\u6392\u4ED6\u7684)\u8C13\u8BCD\u5B57\u6BCD\u96C6\u5408\uFF0C\u8981\u4E48\u901A\u8FC7\u5728\u5176\u8BBA\u57DF\u4E2D\u5B9E\u9645\u4E0A\u6709\u81EA\u5DF1\u7279\u6B8A\u7684\u610F\u4E49\u7684\u7B26\u53F7: \u6BD4\u5982 \u3002 \u5982\u679C\u5B57\u6BCD\u7528\u4E8E\u8C13\u8BCD\u5E38\u91CF\u53C8\u7528\u4E8E\u8C13\u8BCD\u53D8\u91CF\uFF0C\u5219\u5FC5\u987B\u6709\u533A\u5206\u5B83\u4EEC\u7684\u65B9\u5F0F\u3002\u4F8B\u5982\uFF0C\u5B57\u6BCD W, X, Y, Z \u53EF\u4EE5\u88AB\u6307\u5B9A\u8868\u793A\u8C13\u8BCD\u53D8\u91CF\uFF0C\u800C\u5B57\u6BCD A, B, C,..., U, V \u53EF\u4EE5\u8868\u793A\u8C13\u8BCD\u5E38\u91CF\u3002\u5982\u679C\u8FD9\u4E9B\u5B57\u6BCD\u4E0D\u591F\uFF0C\u5219\u53EF\u4EE5\u6DFB\u52A0\u6570\u5B57\u4E0B\u6807\uFF0C\u6BD4\u5982 X1, X2, X3,... \u4F46\u662F\uFF0C\u5982\u679C\u8C13\u8BCD\u53D8\u91CF\u88AB\u8BA4\u77E5(\u6216\u5B9A\u4E49)\u4E3A\u5B9E\u9645\u4E0A\u5C5E\u4E8E\u8C13\u8BCD\u6F14\u7B97\u7684\u8BCD\u6C47\u8868\uFF0C\u5219\u5B83\u4EEC\u5B9E\u9645\u4E0A\u662F\u8C13\u8BCD\u5143\u53D8\u91CF\uFF0C\u800C\u4F59\u4E0B\u7684\u8C13\u8BCD\u5B57\u6BCD\u5C31\u53EB\u505A\u201C\u8C13\u8BCD\u5B57\u6BCD\u201D\u3002\u5143\u53D8\u91CF\u56E0\u6B64\u88AB\u7406\u89E3\u4E3A\u7528\u6765\u5B9E\u9645\u4E0A\u7F16\u7801\u516C\u7406\u6A21\u5F0F\u548C\u5B9A\u7406\u6A21\u5F0F(\u63A8\u5BFC\u81EA\u516C\u7406\u6A21\u5F0F)\u3002\u201C\u8C13\u8BCD\u5B57\u6BCD\u201D\u5B9E\u9645\u4E0A\u662F\u5E38\u91CF\u8FD8\u662F\u53D8\u91CF\u662F\u4E2A\u5FAE\u5999\u7684\u8981\u70B9: \u662F\u8C13\u8BCD\u5E38\u91CF\uFF0C\u800C \u662F\u6570\u503C\u5E38\u91CF\uFF0C\u5B83\u4EEC\u4E0D\u662F\u540C\u6837\u610F\u4E49\u7684\u5E38\u91CF\u3002"@zh . . . "In mathematical logic, a predicate variable is a predicate letter which functions as a \"placeholder\" for a relation (between terms), but which has not been specifically assigned any particular relation (or meaning). Common symbols for denoting predicate variables include capital roman letters such as , and , or lower case roman letters, e.g., . In first-order logic, they can be more properly called metalinguistic variables. In higher-order logic, predicate variables correspond to propositional variables which can stand for well-formed formulas of the same logic, and such variables can be quantified by means of (at least) second-order quantifiers."@en . . . . . . .