{"id":1039,"date":"2014-10-28T07:48:37","date_gmt":"2014-10-27T22:48:37","guid":{"rendered":"http:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1039"},"modified":"2014-10-28T07:48:37","modified_gmt":"2014-10-27T22:48:37","slug":"kaos-81-%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-5","status":"publish","type":"post","link":"https:\/\/www.nil.co.jp\/Japanese\/blog\/?p=1039","title":{"rendered":"KAOS (81) \u6587\u3092\u5f62\u5f0f\u5316\u3059\u308b\u57fa\u790e\u3068\u3057\u3066\u306e\u8ad6\u7406\uff1a\u547d\u984c\u8ad6\u7406 (4.4.1-5)"},"content":{"rendered":"<p style=\"text-align: justify;\">\u5f15\u304d\u7d9a\u304d\uff0c\u63a8\u8ad6\u898f\u5247\u3067\u3042\u308b\uff0e\u6700\u521d\u306e\u4f8b\u306f\uff0c\u4ee5\u524d\u306b\u51fa\u3066\u304d\u305f\uff0e<\/p>\n<div id=\"attachment_1040\" style=\"width: 260px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/mp.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-1040\" class=\"wp-image-1040\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/mp.png\" alt=\"mp\" width=\"250\" height=\"137\" \/><\/a><p id=\"caption-attachment-1040\" class=\"wp-caption-text\">modus ponens<\/p><\/div>\n<p>\u539f\u5b50\u5f0f\u306e\u8a18\u53f7\u304c\uff0c\u30ae\u30ea\u30b7\u30e3\u6587\u5b57\u306b\u5909\u308f\u3063\u3066\u3044\u308b\u304c\u540c\u3058\u3067\u3042\u308b\uff0e\u03a6\u304c\u524a\u9664\u3055\u308c\u3066\u3044\u308b\u306e\u3067\uff0c\u3053\u3053\u3067\u306f\u5358\u306b\u300ce.\u300d\u898f\u5247\u3068\u3057\u3066\u3044\u308b\uff0e\u65e5\u672c\u8a9e\u65b9\u5f0f\u3060\u3068\uff0c\u300c\u53bb-\u2192\u300d\u3067\u3042\u308b\uff0e<\/p>\n<p>\u3061\u306a\u307f\u306b\uff0c\u300c\u5165-&gt;\u300d\u3068\u3044\u3046\u306e\u306f\u4f55\u3067\u3042\u308d\u3046\u304b\uff0e\u3053\u308c\u307e\u3067\u4f7f\u3063\u3066\u304d\u305f\u6f14\u7e79\u305d\u306e\u3082\u306e\u3092\u6307\u3059\uff0e\u03a6\uff0c\u03a8\u304c\u771f\u306a\u3089\u3070\u039e\u3067\u3042\u308b\u3068\u3044\u3046\u3068\u304d\u306b\uff0c\u03a6\uff0c\u03a8\u2192\u039e<b>\u00a0<\/b>\u304c\u7d50\u8ad6\u306b\u306a\u308b\u3088\u3046\u306a\u63a8\u8ad6\u898f\u5247\u3067\u3042\u308b\uff0e<\/p>\n<p>\u4e0a\u8a18\u306f\uff0cmodus ponens \u3068\u3044\u3046\u540d\u524d\u3092\u6301\u3064\uff0e\u3053\u308c\u306f\u30e9\u30c6\u30f3\u8a9e\u3067\uff0c\u80af\u5b9a\u306e\u65b9\u6cd5\u3068\u3044\u3046\u610f\u5473\u3068\u306e\u3053\u3068\uff08\u52d5\u8a5e\u539f\u5f62\u306epono\u306f\u300c\u7f6e\u304f\u300d\uff0ctollo\u306f\u300c\u6301\u3061\u4e0a\u3052\u308b\u300d\u3068\u3044\u3046\u306e\u304c\u57fa\u672c\u7684\u306a\u8a9e\u7fa9\u3060\u3068\u601d\u3046\uff09\uff0e\u7d50\u8ad6\u304c\u80af\u5b9a\u306a\u306e\u3067\u3053\u306e\u540d\u524d\u304c\u3042\u308b\uff0e\u5426\u5b9a\u306e\u65b9\u6cd5(modus tollens)\u3068\u3044\u3046\u306e\u3082\u3042\u308a\uff0c\u4ee5\u4e0b\u306e\u5f62\u306b\u306a\u308b\uff0e<\/p>\n<div id=\"attachment_1042\" style=\"width: 260px\" class=\"wp-caption aligncenter\"><a href=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/mt.png\"><img loading=\"lazy\" decoding=\"async\" aria-describedby=\"caption-attachment-1042\" class=\"wp-image-1042\" src=\"http:\/\/www.nil.co.jp\/Japanese\/blog\/wp-content\/uploads\/2014\/10\/mt.png\" alt=\"mt\" width=\"250\" height=\"137\" \/><\/a><p id=\"caption-attachment-1042\" class=\"wp-caption-text\">modus tollens<\/p><\/div>\n<p>\u5148\u3068\u540c\u69d8\u306b\u539f\u5b50\u5f0f\u03c8\u304c\u6d88\u3048\u308b\uff0e\u304b\u3064\u7d50\u8ad6\u306f\uff0c\u5426\u5b9a\u306e\u5f62\u5f0f\u306b\u306a\u3063\u3066\u3044\u308b\uff0e<\/p>\n<p>\u771f\u7406\u5024\u8868\u3092\u4f7f\u3063\u3066\uff0c\u03a6\u2192\u03a8\u304c\u771f\u3067\uff0c\u5f8c\u4ef6\u304c\u507d\u306e\u5834\u5408\u3068\u3044\u3046\u306e\u306f\u524d\u63d0\u03a6\u304c\u507d\u306e\u5834\u5408\u3057\u304b\u306a\u3044\u3053\u3068\u304b\u3089\u5206\u304b\u308b\uff08\u03a6\u304c\u507d\u3060\u3068\uff0c\u03a8\u306e\u5024\u306b\u3088\u3089\u305a\u771f\u306b\u306a\u308b\uff09\uff0e\u6216\u3044\u306f\uff0c\u00ac\u03a6 \u2228 \u03a8\u3068\u3044\u3046\u5909\u5f62\u3092\u7528\u3044\u3066\uff0c\u00ac\u03a8\u304c\u771f\u3067\u3042\u308b\u3053\u3068\u304b\u3089\u5c0e\u3044\u3066\u3082\u826f\u3044\uff0e<\/p>\n<p>\u3067\u306f\uff0c\u6b21\u306f\u3069\u3046\u3067\u3042\u308d\u3046\u304b\uff0e<\/p>\n<p style=\"text-align: center;\">\u03a6 \u2192 \u03a8 , \u00ac\u03a6 \u22a2 \u00ac\u03a8<\/p>\n<p>\u524d\u4ef6\u306e\u5426\u5b9a\uff08Denying the antecedent\uff09\u3068\u547c\u3070\u308c\u308b\uff0e\u3082\u3061\u308d\u3093\u6b63\u5f53\u3067\u306f\u306a\u3044\uff0e\u300c\u03a6 \u2192 \u03a8\u300d\u306b\u304a\u3044\u3066\uff0c\u524d\u4ef6\u304c\u507d\u3067\u3042\u308c\u3070\uff0c\u5f8c\u4ef6\u306f\u771f\u507d\u306e\u4f55\u308c\u3067\u3082\u53d6\u308a\u5f97\u308b\uff0e<\/p>\n<hr \/>\n<p>\u3053\u3053\u3067\uff0c\u2192\u306b\u3064\u3044\u3066\u5c11\u3057\u8003\u3048\u3066\u307f\u308b\uff0e<\/p>\n<table style=\"margin: 0px auto;\" border=\"1\">\n<caption>\u542b\u610f<\/caption>\n<tbody>\n<tr>\n<td style=\"width: 120px; background-color: #dddddd; text-align: center; vertical-align: middle;\">\u03a6<\/td>\n<td style=\"width: 120px; background-color: #dddddd; text-align: center; vertical-align: middle;\">\u03c8<\/td>\n<td style=\"width: 120px; background-color: #dddddd; text-align: center; vertical-align: middle;\">\u03a6\u2192\u03c8<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">1<\/td>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">1<\/td>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">1<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">1<\/td>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">0<\/td>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">0<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">0<\/td>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">1<\/td>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">1<\/td>\n<\/tr>\n<tr>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">0<\/td>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">0<\/td>\n<td style=\"width: 120px; text-align: center; vertical-align: middle;\">1<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p>\u03a6\uff1a\u300c\u96e8\u304c\u964d\u308b\u300d<\/p>\n<p>\u03a8\uff1a\u300c\u30b9\u30ea\u30c3\u30d7\u3057\u3084\u3059\u304f\u306a\u308b\u300d<\/p>\n<p>\u3053\u306e\u3068\u304d\uff0c\u300c\u03a6\u2192\u03a8\u300d\u3060\u3068\u3059\u308b\u3068\uff0c\u96e8\u304c\u964d\u3063\u3066\u3044\u306a\u3044\u3068\u304d\u306b\u306f\uff0c\u03a8\u306e\u771f\u507d\u306b\u3088\u3089\u305a\u306b\uff0c\u3053\u306e\u5f0f\u304c\u771f\u306b\u306a\u308b\u3068\u3044\u3046\u306e\u306f\uff0c\u3069\u3046\u3044\u3046\u3053\u3068\u3060\u308d\u3046\u304b\uff0e<\/p>\n<p>\u65e5\u5e38\u4f1a\u8a71\u3067\uff0c\u300c\u96e8\u304c\u964d\u3063\u3066\u3044\u308b\u3068\u30b9\u30ea\u30c3\u30d7\u3057\u3084\u3059\u3044\u3088\u306d\u300d\u3068\u3044\u3046\u3068\u304d\u306b\uff0c\u96e8\u304c\u964d\u3063\u3066\u3044\u306a\u3044\u3068\u304d\u306e\u3053\u3068\u3092\u6c17\u306b\u3057\u3066\u3044\u306a\u3044\u304b\uff0c\uff08\u76f8\u5bfe\u7684\u306b\uff09\u30b9\u30ea\u30c3\u30d7\u3057\u306b\u304f\u3044\u3068\u8003\u3048\u3066\u3044\u308b\uff0e\u30d7\u30ed\u30b0\u30e9\u30e0\u306b\u5bfe\u5fdc\u3055\u305b\u308b\u3068\u6b21\u306b\u3088\u3046\u306b\u306a\u308b\u304b\u3082\u3057\u308c\u306a\u3044\uff0e<\/p>\n<pre class=\"lang:ada decode:true  \" title=\"Implication\">if PHI then\r\n PSI\r\nend if;<\/pre>\n<p>\u03a6\u304c\u507d\u306e\u5834\u5408\u306f\uff0c\u305d\u3082\u305d\u3082\u03a8\u306f\u8a55\u4fa1\u5bfe\u8c61\u3067\u306f\u306a\u3044\uff0e<\/p>\n<p>\u4e00\u69d8\u306e\u8868\u3060\u304c\uff0c\u524d\u4ef6\u90e8\u304c\u507d\u306e\u5834\u5408\u3092\u8003\u3048\u308b\u3068\uff0c\u81ea\u7136\u8a00\u8a9e\u3068\u30d7\u30ed\u30b0\u30e9\u30e0\u3068\u3082\u7570\u306a\u3063\u3066\u3044\u308b\u3053\u3068\u304c\u5206\u304b\u308b\uff0e\u305d\u3046\u3044\u3046\u30b7\u30f3\u30dc\u30eb\u306e\u4f53\u7cfb\u3060\u3068\u3044\u3046\u3053\u3068\u3067\u3042\u308b\uff0e<\/p>\n<p style=\"text-align: right;\"><em>(nil)<\/em><\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u5f15\u304d\u7d9a\u304d\uff0c\u63a8\u8ad6\u898f\u5247\u3067\u3042\u308b\uff0e\u6700\u521d\u306e\u4f8b\u306f\uff0c\u4ee5\u524d\u306b\u51fa\u3066\u304d\u305f\uff0e \u539f\u5b50\u5f0f\u306e\u8a18\u53f7\u304c\uff0c\u30ae\u30ea\u30b7\u30e3\u6587\u5b57\u306b\u5909\u308f\u3063\u3066\u3044\u308b\u304c\u540c\u3058\u3067\u3042\u308b\uff0e\u03a6\u304c\u524a\u9664\u3055\u308c\u3066\u3044\u308b\u306e\u3067\uff0c\u3053\u3053\u3067\u306f\u5358\u306b\u300ce.\u300d\u898f\u5247\u3068\u3057\u3066\u3044\u308b\uff0e\u65e5\u672c\u8a9e\u65b9\u5f0f\u3060\u3068\uff0c\u300c\u53bb-\u2192\u300d\u3067\u3042\u308b\uff0e \u3061\u306a\u307f\u306b\uff0c\u300c [&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,31,10],"tags":[75,76],"class_list":["post-1039","post","type-post","status-publish","format-standard","hentry","category-kaos","category-40","category-requirements","category-re","tag-mp","tag-mt"],"_links":{"self":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1039","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=1039"}],"version-history":[{"count":12,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1039\/revisions"}],"predecessor-version":[{"id":1127,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=\/wp\/v2\/posts\/1039\/revisions\/1127"}],"wp:attachment":[{"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=1039"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=1039"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.nil.co.jp\/Japanese\/blog\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=1039"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}