{"author_url":"https://blog.hatena.ne.jp/xUshi/","width":"100%","author_name":"xUshi","title":"\u8ff0\u8a9e\u8ad6\u7406\u3001\u91cf\u5316\u3000Predicate Logic and Quantifiers","description":"\u5909\u6570\u306b\u3042\u308b\u7279\u5b9a\u306e\u8981\u7d20\u3092\u4ee3\u5165\u3059\u308b\u3068\u771f\u507d\u304c\u5b9a\u307e\u308b\u4e3b\u5f35\u3092\u547d\u984c\u95a2\u6570(propositional function)\u307e\u305f\u306f\u8ff0\u8a9e(predicate)\u3068\u3044\u3046\u3002 \u4f8b\uff1a P(x)\uff1dx\u306f\u52d5\u7269\u3067\u3042\u308b\u2026x\u306b\u72ac\u3084\u6728\u3001\u672c\u306a\u3069\u3092\u4ee3\u5165\u3059\u308b\u3068\u771f\u507d\u304c\u5b9a\u307e\u308b\u3002 P: \u8ff0\u8a9e\u300c\u306f\u52d5\u7269\u3067\u3042\u308b\u300d\u3001x :\u5909\u6570 P(\u72ac)\uff1d\u72ac\u306f\u52d5\u7269\u3067\u3042\u308b\u2026True P(\u672c)\uff1d\u672c\u306f\u52d5\u7269\u3067\u3042\u308b\u2026False \u5909\u6570\u304c\u8907\u6570\u3042\u308b\u5834\u5408\u3001P(x1, x2, ..., xn)\u306fn-place predicate\u307e\u305f\u306fn-ary predicate\u3068\u3044\u3046\u3002 \u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u306e\u4e16\u754c\u306b\u304a\u3044\u3066\u3001\u30d7\u30ed\u30b0\u30e9\u30e0\u306f\u6709\u52b9\u306a\u30a4\u30f3\u30d7\u30c3\u30c8\u3092\u4e0e\u3048\u305f\u6642\u306b\u3001\u6052\u306b\u671b\u3093\u3060\u30a2\u30a6\u30c8\u30d7\u30c3\u30c8\u3092\u8868\u793a\u3059\u308b\u3002\u3053\u306e\u6642\u306e\u3042\u308b\u547d\u4ee4\u2026","version":"1.0","image_url":null,"type":"rich","url":"https://xushi.hatenablog.com/entry/2018/09/21/175641","blog_title":"\u521d\u5fc3\u8005\u304c\u307e\u3068\u3081\u308bPython Programming\u3068\u6642\u3005\u6570\u5b66","html":"<iframe src=\"https://hatenablog-parts.com/embed?url=https%3A%2F%2Fxushi.hatenablog.com%2Fentry%2F2018%2F09%2F21%2F175641\" title=\"\u8ff0\u8a9e\u8ad6\u7406\u3001\u91cf\u5316\u3000Predicate Logic and Quantifiers - \u521d\u5fc3\u8005\u304c\u307e\u3068\u3081\u308bPython Programming\u3068\u6642\u3005\u6570\u5b66\" class=\"embed-card embed-blogcard\" scrolling=\"no\" frameborder=\"0\" style=\"display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;\"></iframe>","blog_url":"https://xushi.hatenablog.com/","provider_url":"https://hatena.blog","height":"190","published":"2018-09-21 17:56:41","categories":["\u8ff0\u8a9e","\u91cf\u5316","\u8ad6\u7406","Predicate","Quantifier","Logic"],"provider_name":"Hatena Blog"}