{"id":1225,"date":"2014-11-14T08:21:47","date_gmt":"2014-11-13T23:21:47","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1225"},"modified":"2014-11-14T08:21:47","modified_gmt":"2014-11-13T23:21:47","slug":"kaos-95-%e9%81%8e%e7%a8%8b%e3%83%99%e3%83%bc%e3%82%b9%e3%81%ae%e4%bb%95%e6%a7%98-4-4-2-7","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1225","title":{"rendered":"KAOS (95) \u904e\u7a0b\u30d9\u30fc\u30b9\u306e\u4ed5\u69d8 (4.4.2-7)"},"content":{"rendered":"

\u6700\u521d\u306f\uff0c\u64cd\u4f5c\uff08\u8a3c\u660e\uff09\u3092\u884c\u3046\u6642\u306b\u5fc5\u8981\u306a\u516c\u7406\u3067\u3042\u308b[ref]\u3053\u308c\u307e\u3067\u306f\uff0c\u4f59\u308a\u516c\u7406\u3092\u660e\u793a\u5316\u3057\u3066\u3053\u306a\u304b\u3063\u305f\uff0e\u3082\u3061\u308d\u3093\uff0c\u516c\u7406\u306f\u4f53\u7cfb\u3092\u5b9a\u3081\u308b\u4e0a\u3067\u306f\u91cd\u8981\u3067\u3042\u308a\uff0e\u6b63\u78ba\u306b\u8b70\u8ad6\u3059\u308b\u305f\u3081\u306b\u306f\u5fc5\u8981\u3067\u3042\u308b\uff0e[\/ref]\uff0e\u69d8\u76f8\u8ad6\u7406\u306e\u5834\u5408\u306f\uff0c\u5c11\u3057\u8907\u96d1\u306a\u306e\u3067\uff0c\u300c\u672a\u6765\u300d\u306b\u304a\u3051\u308b\u4f8b\u3092\u793a\u3059\uff0e<\/p>\n

(0) \u25a1 \u03c6 \u2192 \u03c6<\/p>\n

(1) \u25cb\u00ac\u03c6 \u21d4 \u00ac\u25cb\u03c6<\/p>\n

(2) \u25cb(\u03c6 \u2192 \u03c8) \u00a0\u21d4 (\u25cb\u03c6 \u2192 \u25cb\u03c8)<\/p>\n

(3) \u25a1(\u03c6 \u2192 \u03c8) \u00a0\u21d4 (\u25a1\u03c6 \u2192 \u25a1\u03c8)<\/p>\n

(4)\u00a0\u25a1\u03c6 \u00a0\u2192 \u25a1\u25cb\u03c6<\/p>\n

(5) (\u03c6 \u21d2 \u25cb\u03c6) \u2192\u00a0(\u03c6 \u21d2 \u25a1\u03c6)<\/p>\n

(6) \u03c6W\u03c8 \u21d4 [\u03c8 \u00a0\u2228 (\u03c6 \u2227 \u25cb(\u03c6W\u03c8))]<\/p>\n

(7) \u25a1\u03c6 \u21d2 \u03c6W\u03c8<\/p>\n

\u3053\u3053\u3067\u59cb\u3081\u3066\u51fa\u3066\u304d\u305f\u00a0\u03c6 \u21d2 \u03c8 \u306f\uff0c\u25a1 (\u03c6 \u2192 \u03c8) \u3067\u3042\u308b\uff0e\u307e\u305f\uff0c\u03c6 \u21d4 \u03c8 \u306f\uff0c\u25a1 (\u03c6 \u2194\u00a0\u03c8) \u3067\u3042\u308b\uff0e\u307b\u3068\u3093\u3069\uff0c\u610f\u5473\u306f\u660e\u3089\u304b\u3067\u3042\u308d\u3046\uff0e\u3061\u306a\u307f\u306b\u25a1, \u25c7, U \u306f\uff0c\u4e0a\u8a18\u3092\u7528\u3044\u3066\uff0c\u6b21\u306e\u69d8\u306b\u4ee3\u6570\u7684\u306b\u66f8\u304f\u3053\u3068\u304c\u3067\u304d\u308b\uff0e<\/p>\n

\u25a1\u03c6\u21d4(\u03c6\u2227\u25cb\u25a1\u03c6)<\/p>\n

\u25c7\u03c6 \u21d4 (\u03c6 \u2227 \u25cb\u25c7\u03c6)<\/p>\n

\u03c6U\u03c8 \u21d4 ( \u03c8 \u00a0\u2228 \u00a0[\u03c6 \u2227 \u25cb (\u03c6U\u03c8)]<\/p>\n

\n

\u6b21\u306f\uff0c\u3044\u3064\u3082\u306e\uff08\u8a3c\u660e\uff09\u898f\u5247\u3067\u3042\u308b\uff0e\u5178\u578b\u7684\u306a\u3082\u306e\u3092\u793a\u3059\uff0e<\/p>\n

\u7279\u6b8a\u5316<\/strong><\/p>\n

\u25a1 \u03c6\u00a0\u22a2 \u03c6<\/p>\n

\u5168\u3066\u306e \u03c6 \u304c\u771f\u3067\u3042\u308c\u3070\uff0c\u3042\u308b \u03c6 \u3082\u771f\u3067\u3042\u308b\uff0e\u3053\u308c\u306f\uff0c\u516c\u7406(0)\u3067\u3082\u3042\u308b\uff0e<\/p>\n

MP (Modus Ponens)<\/strong><\/p>\n

(\u03c6\uff11 \u2227 … \u2227 \u03c6n\uff09\u00a0\u21d2 \u03c8, \u25a1p1, …, \u25a1 \u03c6n\u00a0\u00a0\u22a2 \u25a1 \u03c8<\/p>\n

\u63a8\u79fb\u5f8b<\/strong><\/p>\n

\u03c6 \u21d2 \u03c8, \u03c8 \u21d2 \u03be\u00a0\u00a0\u22a2 \u00a0\u03c6 \u21d2 \u03be<\/p>\n

\u5358\u8abf\u6027<\/strong><\/p>\n

\u03c6 \u21d2 \u03c8 \u22a2 \u00a0\u25a1\u03c6 \u21d2 \u25a1\u03c8<\/p>\n

(nil)<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"

\u6700\u521d\u306f\uff0c\u64cd\u4f5c\uff08\u8a3c\u660e\uff09\u3092\u884c\u3046\u6642\u306b\u5fc5\u8981\u306a\u516c\u7406\u3067\u3042\u308b[ref]\u3053\u308c\u307e\u3067\u306f\uff0c\u4f59\u308a\u516c\u7406\u3092\u660e\u793a\u5316\u3057\u3066\u3053\u306a\u304b\u3063\u305f\uff0e\u3082\u3061\u308d\u3093\uff0c\u516c\u7406\u306f\u4f53\u7cfb\u3092\u5b9a\u3081\u308b\u4e0a\u3067\u306f\u91cd\u8981\u3067\u3042\u308a\uff0e\u6b63\u78ba\u306b\u8b70\u8ad6\u3059\u308b\u305f\u3081\u306b\u306f\u5fc5\u8981\u3067\u3042\u308b\uff0e[\/ref]\uff0e\u69d8\u76f8\u8ad6\u7406\u306e\u5834\u5408\u306f\uff0c\u5c11\u3057\u8907\u96d1 […]<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[21,40,31,10],"tags":[79],"class_list":["post-1225","post","type-post","status-publish","format-standard","hentry","category-kaos","category-40","category-requirements","category-re","tag-79"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1225","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=1225"}],"version-history":[{"count":8,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1225\/revisions"}],"predecessor-version":[{"id":1248,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1225\/revisions\/1248"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1225"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1225"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1225"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}