{"id":977,"date":"2014-10-24T07:47:49","date_gmt":"2014-10-23T22:47:49","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=977"},"modified":"2014-10-24T07:47:49","modified_gmt":"2014-10-23T22:47:49","slug":"kaos-78-%e6%96%87%e3%82%92%e5%bd%a2%e5%bc%8f%e5%8c%96%e3%81%99%e3%82%8b%e5%9f%ba%e7%a4%8e%e3%81%a8%e3%81%97%e3%81%a6%e3%81%ae%e8%ab%96%e7%90%86%ef%bc%9a%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86-4-4-1-2","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=977","title":{"rendered":"KAOS (78) \u6587\u3092\u5f62\u5f0f\u5316\u3059\u308b\u57fa\u790e\u3068\u3057\u3066\u306e\u8ad6\u7406\uff1a\u547d\u984c\u8ad6\u7406 (4.4.1-2)"},"content":{"rendered":"<p style=\"text-align: justify;\">\u4eca\u56de\u306f\u63a8\u8ad6\uff08\u5c0e\u51fa\uff09\u898f\u5247\u3067\u3042\u308b\uff0e\u6216\u3044\u306f\uff0c\u8ad6\u8a3c\u306e\u30d1\u30bf\u30fc\u30f3\u3068\u3082\u547c\u3070\u308c\u308b\uff0e\u306a\u304a\uff0c\u8ad6\u8a3c\u3068\u3044\u3063\u3066\u3082\uff0c\u547d\u984c\u8ad6\u7406\u306e\u7bc4\u7587\u3067\u3042\u3063\u3066\uff0c\u65e5\u5e38\u751f\u6d3b\u3067\u6211\u3005\u304c\u5e38\u306b\u305d\u3046\u3057\u3066\u3044\u308b\u3068\u3044\u3046\u308f\u3051\u3067\u306f\u306a\u3044\uff08<a title=\"\u591a\u8db3\" href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=28\">\u591a\u8db3<\/a>\uff0c<a title=\"\u30c8\u30a5\u30fc\u30eb\u30df\u30f3\" href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=11\">\u30c8\u30a5\u30fc\u30eb\u30df\u30f3<\/a>\uff09<\/p>\n<p style=\"text-align: justify;\">\u63a8\u8ad6\u898f\u5247\u3068\u3057\u3066\u306f\uff0c\u81ea\u7136\u6f14\u7e79\u306b\u57fa\u3065\u304f\u57fa\u672c\u7684\u306a\u63a8\u8ad6\u898f\u5247\u3092\u307e\u305a\u793a\u3059\u3079\u304d\u3067\u3042\u308b\u304c\uff0c\u5148\u305a\u306f\u3053\u3053\u3067\u306f\u539f\u66f8\u306b\u5408\u308f\u305b\u308b\uff0eResolution\u3068\u547c\u3070\u308c\u308b\u3082\u306e\u3092\u793a\u3059\uff08\u57fa\u672c\u7684\u306a\u63a8\u8ad6\u898f\u5247\u3068\u7570\u306a\u3063\u3066\u3044\u308b\u308f\u3051\u3067\u306f\u306a\u3044\uff09\uff0e\u4eca\u3082\u4eba\u5de5\u77e5\u80fd\u3068\u3044\u3046\u8a00\u8449\u306f\uff0c\u30af\u30e9\u30a6\u30c9\u3084\u81ea\u52d5\u8eca\u306e\u652f\u63f4\u30b7\u30b9\u30c6\u30e0\u3068\u3068\u3082\u306b\u5fa9\u6d3b\u3057\u305f\u611f\u304c\u3042\u308b\u304c\uff0c\u305d\u306e\u5c11\u3057\u524d\u306e\u6642\u4ee3\u306b\u4eba\u6c17\u304c\u3042\u3063\u305f\u3068\u304d\u306e\u57fa\u672c\u3068\u306a\u308b\u30a2\u30d7\u30ed\u30fc\u30c1\u3067\u3042\u308b\uff0e<\/p>\n<div id=\"attachment_985\" style=\"width: 260px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/d_1.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-985\" class=\"wp-image-985\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/d_1.png\" alt=\"d_1\" width=\"250\" height=\"145\" \/><\/a><p id=\"caption-attachment-985\" class=\"wp-caption-text\">modus ponens<\/p><\/div>\n<p style=\"text-align: justify;\">\u5206\u5b50\u306b\u3042\u305f\u308b\u90e8\u5206\uff08\u4e0a\u6bb5\uff09\u304c\u524d\u63d0\u3067\u3042\u308a\uff0c\u5206\u6bcd\u306b\u3042\u305f\u308b\u90e8\u5206\u304c\u7d50\u8ad6\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u4e0a\u6bb5\u306e\u610f\u5473\u306f\u6b21\u306b\u306a\u308b\uff1aP\u2192Q\u304c\u6210\u308a\u7acb\u3061\uff0c\u3044\u307eP\u304c\u771f\u3060\u3068\u3059\u308b\uff0e\u3053\u306e\u3068\u304d\uff0cQ\u304c\u6210\u308a\u7acb\u3064\uff0e<\/p>\n<p style=\"text-align: justify;\">\u30e2\u30fc\u30c0\u30b9\u30dd\u30cd\u30f3\u30b9(modus ponens)\u3068\u3044\u3046\u3044\u308f\u3086\u308b\u80af\u5b9a\u5f0f\u3067\u3042\u308b\uff0e\u3088\u304f\u77e5\u3089\u308c\u3066\u3044\u308b\u63a8\u8ad6\u3067\uff0c\u5c0f\u5b66\u751f\u3067\u3082\u77e5\u3063\u3066\u3044\u308b\u3068\u601d\u3046\uff0e\u305f\u3060\uff0c\u3053\u308c\u3060\u3051\u3060\u3068\u4f59\u308a\u3042\u308a\u304c\u305f\u307f\u3092\u611f\u3058\u306a\u3044\uff0e\u300c\u4eca\u65e5\u98f2\u3093\u3067\u304f\u308b\u306a\u3089\uff0c\u3054\u306f\u3093\u306f\u3044\u3089\u306a\u3044\u306d\u300d\u3068\u3044\u3046\u6587\u306f\uff0cP\uff1a\u300c\u98f2\u3093\u3067\u304f\u308b\u300d\u2192Q\uff1a\u300c\u3054\u306f\u3093\u306f\u3044\u3089\u306a\u3044\u300d\u3068\u8003\u3048\u3089\u308c\u308b\u304c\uff0c\u65e5\u5e38\u751f\u6d3b\u306b\u304a\u3044\u3066\uff0c\u901a\u5e38\u306fP\u304c\u771f\u3067\u3042\u308b\u3053\u3068\u3092\u542b\u3093\u3067\u3044\u308b\uff0eP\u304c\u771f\u304b\u3069\u3046\u304b\u304c\u5168\u304f\u306e\u4e0d\u660e\u306a\u3068\u304d\u306b\u306f\uff0c\u767a\u8a71\u3055\u308c\u306a\u3044\uff0e\u5f93\u3063\u3066\uff0c\u6587\u306e\u610f\u7fa9\u3068\u3057\u3066\u306f\uff0c\u300c\u306e\u307f\u306b\u3044\u3051\u306a\u304f\u3066\u304a\u306a\u304b\u3092\u3059\u304b\u3057\u3066\u5e30\u3063\u3066\u304d\u3066\u3082\uff0c\u98df\u3079\u308b\u3082\u306e\u306f\u306a\u3044\u3068\u601d\u3048\u300d\u3068\u3044\u3046\u3053\u3068\u3067\u3042\u308b\uff0e\u6761\u4ef6\u6587\u3092\u4f1d\u3048\u305f\u3044\u308f\u3051\u3067\u306f\u306a\u3044\uff0e\u307e\u3057\u3066\uff0c\u672c\u5f53\u306b\u98f2\u3093\u3067\u304d\u305f\u3068\u304d\u306b\uff08P\u304c\u771f\uff09\uff0c\u3054\u98ef\u304c\u306a\u3044\uff08Q\u304c\u771f\uff09\u3053\u3068\u306b\u3042\u3089\u305f\u3081\u3066\u611f\u5fc3\u3057\u305f\u3044\u308f\u3051\u3067\u3082\u306a\u3044\uff0e<\/p>\n<p style=\"text-align: justify;\">\u8a9e\u7528\u8ad6\u7684\u4e16\u754c\u306e\u4f8b\u306f\uff0c\u3042\u3093\u307e\u308a\u304b\u3082\u3057\u308c\u306a\u3044\u304c\uff0c\u4f1a\u8a71\u3067\u306a\u304f\u3066\u3082\u540c\u3058\u3067\u3042\u308b\uff0e\u305d\u306e\u3053\u3068\u306b\u3064\u3044\u3066\u306f\uff0c\u66f8\u304f\u6a5f\u4f1a\u3082\u3042\u308b\u3068\u601d\u3046\uff0e<\/p>\n<p style=\"text-align: justify;\">\u3061\u306a\u307f\u306b\uff0c\u5206\u6570\u65b9\u5f0f\u3067\u306f\u306a\u3044\u5225\u306e\uff08\u30d5\u30ec\u30fc\u30b2\u98a8\u306e?\uff09\u8a18\u8ff0\u6cd5\u3082\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">P \u2192 Q, P\u00a0\u22a2 Q<\/p>\n<p style=\"text-align: justify;\">\u3053\u3061\u3089\u306f\uff0c\u5834\u6240\u3092\u3068\u3089\u306a\u3044\uff0e\u3057\u304b\u3057\uff0c\u57fa\u672c\u306f\u5206\u6570\u65b9\u5f0f\u3067\u66f8\u304f\u3053\u3068\u306b\u3059\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u540c\u69d8\u306b\uff0c\u5225\u306e\u63a8\u8ad6\u898f\u5247\u3092\u898b\u308b\uff0e\u63a8\u79fb\u5f8b\uff08transitive law\uff09\u3068\u3082\u547c\u3070\u308c\u308b\uff0e<\/p>\n<div id=\"attachment_986\" style=\"width: 260px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/d_2.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-986\" class=\"wp-image-986\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/d_2.png\" alt=\"d_2\" width=\"250\" height=\"145\" \/><\/a><p id=\"caption-attachment-986\" class=\"wp-caption-text\">chaining<\/p><\/div>\n<p style=\"text-align: justify;\">P\u306a\u3089\u3070Q\u3067\uff0cQ\u306a\u3089\u3070R\u304b\u3089\uff0cP\u306a\u3089\u3070R\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u3044\u308f\u3086\u308b\u300c\u98a8\u304c\u5439\u3051\u3070\u300d\u6587\u3067\u3042\u308b\uff0e\u30bc\u30ed\u3068\u30a4\u30c1\u306e\u4e16\u754c\u3060\u304b\u3089\u6210\u7acb\u3059\u308b\uff0e<\/p>\n<div id=\"attachment_987\" style=\"width: 260px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/d_3.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-987\" class=\"wp-image-987\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/d_3.png\" alt=\"d_3\" width=\"250\" height=\"145\" \/><\/a><p id=\"caption-attachment-987\" class=\"wp-caption-text\">resolution<\/p><\/div>\n<p style=\"text-align: justify;\">\u8907\u96d1\u306b\u898b\u3048\u308b\u304c\uff0c\u307e\u305a\uff0cP \u2228 Q\u304c\u6210\u308a\u7acb\u3063\u3066\u3044\u308b\uff0e\u304b\u3064\uff0c\u00acP \u2228 R\u3082\u6210\u308a\u7acb\u3063\u3066\u3044\u308b\uff0e\u3044\u307e\uff0cP\u304c\u507d\u306e\u3068\u304d\u306b\u306f\uff0cQ\u304c\u771f\u3067\u3042\u308b\u5fc5\u8981\u304c\u3042\u308b\uff0e\u9006\u306b\uff0cP\u304c\u771f\u306e\u3068\u304d\u306b\u306f\uff0cR\u304c\u771f\u3067\u306a\u3051\u308c\u3070\u306a\u3089\u306a\u3044\uff0e\u5f93\u3063\u3066\uff0cQ \u2228 R\u3068\u306a\u308a\uff0cP\u3092\u53d6\u308a\u9664\u304f\u3053\u3068\u304c\u3067\u304d\u308b\uff0e<\/p>\n<p style=\"text-align: justify;\">\u3044\u307e\uff0c\u6b21\u304c\u6210\u308a\u7acb\u3063\u3066\u3044\u308b\u3068\u3059\u308b\uff0e<\/p>\n<p style=\"text-align: center;\">\u00actrainMoving \u00a0\u2228 \u00a0doorsClosed, trainStopped \u00a0\u2228 \u00a0trainMoving<\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u306f\uff0cresolution\u306e\u898f\u5247\u306b\u3088\u3063\u3066\u6b21\u306b\u306a\u308b\uff08trainMoving\u306e\u4f4d\u7f6e\u304c\u7570\u306a\u3063\u3066\u3044\u308b\u306e\u3067\u6ce8\u610f\uff09\uff0e<\/p>\n<p style=\"text-align: center;\">doorsClosed \u00a0\u2228 trainStopped<\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u3089\u306f\uff0c\u8907\u96d1\u306a\u547d\u984c\u5f0f\u3092\u7c21\u7565\u5316\u3059\u308b\u305f\u3081\u306b\u7528\u3044\u308b\uff0e\u4e0a\u8a18\u306b\u4e0a\u3052\u305f\uff13\u3064\u306e\u4f8b\u3068\u3082\uff0c\u539f\u5b50\u5f0f\u304c\u3072\u3068\u3064\u6e1b\u3063\u3066\u3044\u308b\u306e\u306b\u6c17\u3065\u304f\uff0e\u4e00\u3064\u3057\u304b\u6e1b\u3089\u306a\u3044\u304c\uff0c\u7e70\u308a\u8fd4\u3057\u3066\u9069\u7528\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u308c\u3070\uff0c\u8907\u96d1\u306a\u5f0f\u3082\u6700\u7d42\u7684\u306b\u306f\u7c21\u5358\u306a\u7b54\u3048\u3092\u5f97\u308b\u3053\u3068\u304c\u3067\u304d\u308b\uff0e\u6a5f\u68b0\u7684\u306b\u89e3\u304f\u305f\u3081\u306e\u65b9\u6cd5\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: right;\"><em>(nil)<a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/argument_3.png\"><br \/>\n<\/a><\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u4eca\u56de\u306f\u63a8\u8ad6\uff08\u5c0e\u51fa\uff09\u898f\u5247\u3067\u3042\u308b\uff0e\u6216\u3044\u306f\uff0c\u8ad6\u8a3c\u306e\u30d1\u30bf\u30fc\u30f3\u3068\u3082\u547c\u3070\u308c\u308b\uff0e\u306a\u304a\uff0c\u8ad6\u8a3c\u3068\u3044\u3063\u3066\u3082\uff0c\u547d\u984c\u8ad6\u7406\u306e\u7bc4\u7587\u3067\u3042\u3063\u3066\uff0c\u65e5\u5e38\u751f\u6d3b\u3067\u6211\u3005\u304c\u5e38\u306b\u305d\u3046\u3057\u3066\u3044\u308b\u3068\u3044\u3046\u308f\u3051\u3067\u306f\u306a\u3044\uff08\u591a\u8db3\uff0c\u30c8\u30a5\u30fc\u30eb\u30df\u30f3\uff09 \u63a8\u8ad6\u898f\u5247\u3068\u3057\u3066\u306f\uff0c\u81ea\u7136\u6f14\u7e79\u306b\u57fa\u3065\u304f [&hellip;]<\/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,17,31,10],"tags":[70],"class_list":["post-977","post","type-post","status-publish","format-standard","hentry","category-kaos","category-40","category-argument","category-requirements","category-re","tag-70"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/977","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=977"}],"version-history":[{"count":22,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/977\/revisions"}],"predecessor-version":[{"id":1083,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/977\/revisions\/1083"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=977"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=977"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=977"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}