{"id":68948,"date":"2020-04-20T02:59:26","date_gmt":"2020-04-19T18:59:26","guid":{"rendered":"http:\/\/4563.org\/?p=68948"},"modified":"2020-04-20T02:59:26","modified_gmt":"2020-04-19T18:59:26","slug":"%e6%9c%89%e6%b2%a1%e6%9c%89%e9%80%bb%e8%be%91logic%e5%a4%a7%e4%bd%ac%ef%bc%8c%e5%a6%82%e4%bd%95%e7%94%a8predicate%e8%a1%a8%e7%a4%bahas-exactly-two-%e6%84%9f%e8%b0%a2","status":"publish","type":"post","link":"http:\/\/4563.org\/?p=68948","title":{"rendered":"\u6709\u6ca1\u6709\u903b\u8f91Logic\u5927\u4f6c\uff0c\u5982\u4f55\u7528Predicate\u8868\u793a&quot;Has exactly two&quot; ?\u611f\u8c22"},"content":{"rendered":"\n<p>  \t\t\t\t\t<strong>\u5c41\u773c\u513f<\/strong>  \t\t\t\t\u5927\u4f6c\u6709\u8bdd\u8bf4 : \t<\/p>\n<h3>\u6709\u6ca1\u6709\u903b\u8f91Logic\u5927\u4f6c\uff0c\u5982\u4f55\u7528Predicate\u8868\u793a&quot;Has exactly two&quot; ?\u611f\u8c22<\/h3>\n<p>  \t\t\u9047\u5230\u4e00\u9053\u9898\uff0c\u67e5\u4e86\u4e00\u665a\u4e0a\u6ca1\u6709\u7b54\u6848\uff0c\u5b9e\u5728\u662f\u6ca1\u8f99\u4e86\uff0c\u6c42\u5927\u4f6c\u5e2e\u5fd9\u89e3\u7b54\uff1a<br \/>  Suppose E is an equation and e(x) is the predicate &quot;x is a solution to E&quot;.<br \/>  Express entirely in symbols the statement &quot;E has exactly two integer solutions.&quot;<\/p>\n<p>  \u8981\u628a\u4e0a\u9762\u7684\u8bed\u53e5\u8f6c\u6362\u6210\u7c7b\u4f3c\u8fd9\u6837\u7684\u5f62\u5f0f\uff1a<br \/>  \u2203x\u2203y((x\u2260y\u2227P(x)\u2227P(y))\u2227\u2200z(P(z)\u2192(z=x\u2228z=y)))\t\t\t  <\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u5c41\u773c\u513f \u5927\u4f6c\u6709\u8bdd\u8bf4 : \u6709\u6ca1\u6709\u903b\u8f91&hellip;<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":[],"categories":[],"tags":[],"_links":{"self":[{"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/posts\/68948"}],"collection":[{"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=68948"}],"version-history":[{"count":0,"href":"http:\/\/4563.org\/index.php?rest_route=\/wp\/v2\/posts\/68948\/revisions"}],"wp:attachment":[{"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=68948"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=68948"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/4563.org\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=68948"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}