{"id":5772,"date":"2018-02-02T00:26:01","date_gmt":"2018-02-01T15:26:01","guid":{"rendered":"http:\/\/stuffy.dip.jp\/wordpress\/?p=5772"},"modified":"2022-05-13T06:21:16","modified_gmt":"2022-05-12T21:21:16","slug":"proposition-and-denial","status":"publish","type":"post","link":"https:\/\/www.stuffy.site\/wordpress\/?p=5772","title":{"rendered":"\u547d\u984c\u3068\u5426\u5b9a"},"content":{"rendered":"<p><strong>\u547d\u984c<\/strong>\u3068\u306f\u3001\u65e5\u672c\u8a9e\u3067\u5206\u304b\u308a\u3084\u3059\u304f\u3044\u3046\u3068\u3001<\/p>\n<pre><span style=\"font-size: 9pt;\">\u300e\u5e83\u8f9e\u82d1 \u7b2c6\u7248\u300f\u3088\u308a<\/span>\n\u771f\u507d\u3092\u5224\u5b9a\u3059\u308b\u3053\u3068\u306e\u3067\u304d\u308b\u6587\u3002\u307e\u305f\u3001\u305d\u306e\u610f\u5473\u5185\u5bb9\u3002<\/pre>\n<p>\u3060\u305d\u3046\u3067\u3059\u3002\u52a0\u3048\u3066\u8ff0\u3079\u308b\u306a\u3089\u771f\u306a\u3089\u8a3c\u660e\u3092\u3001\u507d\u306a\u3089\u53cd\u8a3c\u3092\u6319\u3052\u308b\u3053\u3068\u306e\u3067\u304d\u308b\u6587\u7ae0\u3092\u547d\u984c\u3068\u3044\u3046\u3068\u306e\u3053\u3068\u3067\u3059\u3002<\/p>\n<p>\u6b21\u306e\u6587\u7ae0\u306f\u547d\u984c\u304b\u5426\u304b\u8abf\u3079\u3066\u307f\u307e\u3057\u3087\u3046\u3002<\/p>\n<pre><span style=\"font-size: 11pt;\">\u30fb\u3059\u3079\u3066\u306e\u82b1\u306f\u7f8e\u3057\u3044\u3002\n\u30fb4\u4ee5\u4e0a\u306e\u5076\u6570\u306f\uff12\u3064\u306e\u7d20\u6570\u306e\u548c\u3067\u3042\u308b\u3002\n\u30fb6\u306f\u5b8c\u5168\u6570\uff08\u81ea\u8eab\u3092\u9664\u304f\u3059\u3079\u3066\u306e\u7d04\u6570\u306e\u548c\u306b\u7b49\u3057\u3044\u3002\uff09\u3067\u3042\u308b\u3002\n\u30fb\u300c\u3059\u3079\u3066\u306e\u30af\u30ec\u30bf\u4eba\u306f\u3046\u305d\u3064\u304d\u3060\u300d\u3068\u30af\u30ec\u30bf\u4eba\u306e\u30a8\u30d4\u30e1\u30cb\u30c7\u30b9\u304c\u8a00\u3063\u305f\u3002<\/span><\/pre>\n<p>\u300c\u3059\u3079\u3066\u306e\u82b1\u306f\u7f8e\u3057\u3044\u300d\u306f\u3001\u4eba\u305d\u308c\u305e\u308c\u306e\u4e3b\u89b3\u304c\u7570\u306a\u308b\u306e\u3067\u771f\u507d\u3092\u5224\u5225\u3067\u304d\u306a\u3044\u306e\u3067\u547d\u984c\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n<p>\u300c4\u4ee5\u4e0a\u306e\u5076\u6570\u306f\uff12\u3064\u306e\u7d20\u6570\u306e\u548c\u3067\u3042\u308b\u3002\u300d\u306f\u3001\uff11\uff18\u4e16\u7d00\u306e\u6570\u5b66\u8005\u3001\u30af\u30ea\u30b9\u30c6\u30a3\u30f3\u30fb\u30b4\u30fc\u30eb\u30c9\u30d0\u30c3\u30cf\u306e\u540d\u524d\u3092\u3068\u3063\u3066\u30b4\u30fc\u30eb\u30c9\u30d0\u30c3\u30cf\u306e\u4e88\u60f3\u3068\u547c\u3070\u308c\u308b\u3082\u306e\u3067\u3059\u3002\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u306e\u8a08\u7b97\u3067\u6570\u5341\u5104\u6841\u307e\u3067\u6210\u7acb\u3059\u308b\u3053\u3068\u304c\u5206\u304b\u3063\u3066\u3044\u307e\u3059\u304c\u3044\u307e\u3060\u8a3c\u660e\u3082\u53cd\u8a3c\u3082\u5f97\u3089\u308c\u3066\u3044\u306a\u3044\u306e\u3067\u547d\u984c\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n<p>\u300c6\u306f\u5b8c\u5168\u6570\uff08\u81ea\u8eab\u3092\u9664\u304f\u3059\u3079\u3066\u306e\u7d04\u6570\u306e\u548c\u306b\u7b49\u3057\u3044\u3002\uff09\u3067\u3042\u308b\u3002\u300d\u306f\u30016=1+2+3 \u3088\u308a\u771f\u3002\u3088\u3063\u3066\u547d\u984c\u3067\u3059\u3002<\/p>\n<p>\u300c\u300e\u3059\u3079\u3066\u306e\u30af\u30ec\u30bf\u4eba\u306f\u3046\u305d\u3064\u304d\u3060\u300f\u3068\u30af\u30ec\u30bf\u4eba\u306e\u30a8\u30d4\u30e1\u30cb\u30c7\u30b9\u304c\u8a00\u3063\u305f\u300d\u306f\u3001\u30a8\u30d4\u30e1\u30cb\u30c7\u30b9\u304c\u81ea\u5df1\u8a00\u53ca\u3057\u3066\u3044\u308b\u306e\u3067\u771f\u507d\u304c\u5224\u5225\u3067\u304d\u306a\u3044\u306e\u3067\u547d\u984c\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002<\/p>\n<h4>\u3067\u306f\u3001\u6b21\u306e\u547d\u984c\u306e\u771f\u507d\u3092\u5224\u5b9a\u3057\u3066\u307f\u307e\u3057\u3087\u3046\u3002<\/h4>\n<pre>\u30fb\u81ea\u7136\u6570 n \u304c 6 \u306e\u500d\u6570\u306a\u3089\u3070\u3001n \u306f 3 \u306e\u500d\u6570\u3067\u3042\u308b\u3002\n\u30fb\u81ea\u7136\u6570 n \u304c 3 \u306e\u500d\u6570\u306a\u3089\u3070\u3001n \u306f 6 \u306e\u500d\u6570\u3067\u3042\u308b\u3002<\/pre>\n<p>\u300c\u81ea\u7136\u6570 n \u304c 6 \u306e\u500d\u6570\u306a\u3089\u3070\u3001n \u306f 3 \u306e\u500d\u6570\u3067\u3042\u308b\u3002\u300d\u81ea\u7136\u6570\u304c 6 \u306e\u500d\u6570\u306a\u3089\u3070 n=6k (k\u306f\u81ea\u7136\u6570)\u3068\u7f6e\u3051\u308b\u3002\u3053\u306e\u3068\u304d\u3001n=3\u30fb2k \u3060\u304b\u3089\u3001n \u306f 3 \u306e\u500d\u6570\u3067\u3042\u308b\u3002\u3088\u3063\u3066\u771f\u3002<\/p>\n<p>\u300c\u81ea\u7136\u6570 n \u304c3\u306e\u500d\u6570\u306a\u3089\u3070\u3001n \u306f 6 \u306e\u500d\u6570\u3067\u3042\u308b\u3002\u300d\u306f\u3001n=3 \u306e\u3068\u304d\u30013 \u306f \uff13\u306e\u500d\u6570\u3067\u3042\u308b\u304c\u30016 \u306e\u500d\u6570\u3067\u306f\u306a\u3044\u306e\u3067\u507d\u3002<\/p>\n<p>\u3053\u306e\u3088\u3046\u306b<strong>\u6761\u4ef6<\/strong>p, q \u3092\u7528\u3044\u3066\u300cp \u306a\u3089\u3070q\u300d\u306e\u5f62\u3067\u8868\u305b\u308b\u547d\u984c\u306b\u304a\u3044\u3066\u3001p \u3092<strong>\u4eee\u5b9a<\/strong>\u3001q \u3092<strong>\u7d50\u8ad6<\/strong>\u3068\u3044\u3046\u3002<\/p>\n<p>\u21d2\u3092\u7528\u3044\u3066\u3001\u300cp \u21d2 q\u300d\u3068\u8868\u3059\u3002\u6761\u4ef6p, q \u3092\u6e80\u305f\u3059\u8981\u7d20\u5168\u4f53\u306e\u96c6\u5408\u3092\u305d\u308c\u305e\u308cP, Q \u3068\u3059\u308b\u3068\u3001\u547d\u984c\u300cp \u21d2 q\u300d\u304c\u771f\u3067\u3042\u308b\u3053\u3068\u306f<\/p>\n<p>P\u2282Q<\/p>\n<p>\u3067\u3042\u308b\u3053\u3068\u3068\u540c\u3058\u3002<\/p>\n<h3><strong>\u5426\u5b9a\u3001\u304b\u3064\u3001\u307e\u305f\u306f<\/strong><\/h3>\n<p>\u5426\u5b9a \u6761\u4ef6p \u306b\u5bfe\u3057\u3066\u3001\u300cp \u3067\u306a\u3044\u300d\u3068\u3044\u3046\u6761\u4ef6\u3092<strong>\u5426\u5b9a<\/strong>\u3068\u3044\u3044\u3001[pmath]overline{p}[\/pmath] \u3067\u8868\u3059\u3002\u6761\u4ef6p \u3092\u6e80\u305f\u3059\u8981\u7d20\u306e\u96c6\u5408\u3092P\u3068\u3059\u308b\u3068[pmath]overline{p}[\/pmath]&nbsp;\u3092\u6e80\u305f\u3059\u8981\u7d20\u306e\u96c6\u5408\u306f[pmath]overline{P}[\/pmath]<\/p>\n<p>\u6761\u4ef6p, q \u3092\u6e80\u305f\u3059\u8981\u7d20\u306e\u96c6\u5408\u3092\u305d\u308c\u305e\u308cP, Q \u3068\u3059\u308b\u3068\u3001\u300cp \u304b\u3064 q\u300d\u3001\u300cp \u307e\u305f\u306fq\u300d\u3092\u6e80\u305f\u3059\u8981\u7d20\u306e\u96c6\u5408\u3092\u305d\u308c\u305e\u308c\u3001P\u2229Q\u3001P\u222aQ<\/p>\n<p><strong>\u300c\u304b\u3064\u300d\u3068\u3001\u300c\u307e\u305f\u306f\u300d\u306e\u5426\u5b9a\uff08\u8ad6\u7406\u306b\u3064\u3044\u3066\u306e\u30c9\u30fb\u30e2\u30eb\u30ac\u30f3\u306e\u6cd5\u5247\uff09<\/strong><\/p>\n<p><strong><a href=\"https:\/\/www.stuffy.site\/wordpress\/wp-content\/uploads\/2018\/02\/2018-02-01-2.png\"><img loading=\"lazy\" decoding=\"async\" class=\"alignnone size-full wp-image-5813\" src=\"https:\/\/www.stuffy.site\/wordpress\/wp-content\/uploads\/2018\/02\/2018-02-01-2.png\" alt=\"\" width=\"462\" height=\"47\"><\/a><\/strong><\/p>\n<p>\u554f\u984c \u6b21\u306e\u6761\u4ef6\u306e\u5426\u5b9a\u3092\u8ff0\u3079\u306a\u3055\u3044\u3002<\/p>\n<p>\uff11\uff09x\u22600 \u304b\u3064y\u22673&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 2\uff091&lt;y\u22665<\/p>\n<p>3\uff09a, b \u306f\u3068\u3082\u306b\u8ca0&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 4\uff09a, b, c \u306e\u5c11\u306a\u304f\u3068\u3082\u4e00\u3064\u306f1\u3088\u308a\u5c0f\u3055\u3044<\/p>\n<p>5\uff09l, m, n \u306f\u3044\u305a\u308c\u3082\u7d20\u6570\u3067\u306f\u306a\u3044<\/p>\n<p>\u89e3\uff09<\/p>\n<p>1\uff09x=0 \u307e\u305f\u306fy&lt;3&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 2\uff091\u2267y \u307e\u305f\u306f y&gt;5<\/p>\n<p>3\uff09a \u307e\u305f\u306fb \u306e\u5c11\u306a\u304f\u3068\u3082\uff11\u3064\u306f\u6b63\u307e\u305f\u306f0<\/p>\n<p>4\uff09\u30c9\u30fb\u30e2\u30eb\u30ac\u30f3\u306e\u6cd5\u5247 [pmath]overline{A{union}B{union}C}=overline{A}{inter}overline{B}{inter}overline{C}[\/pmath] \u3088\u308a\u3001a\u22671 \u304b\u3064 b\u22671 \u304b\u3064 c\u22671<\/p>\n<p>5\uff09\u30c9\u30fb\u30e2\u30eb\u30ac\u30f3\u306e\u6cd5\u5247 [pmath]overline{A{inter}B{inter}C}=overline{A}{union}overline{B}{union}overline{C}[\/pmath] \u3088\u308a\u3001l, m, n \u306e\u5c11\u306a\u304f\u3068\u3082\u4e00\u3064\u306f\u7d20\u6570\u3067\u3042\u308b<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u547d\u984c\u3068\u306f\u3001\u65e5\u672c\u8a9e\u3067\u5206\u304b\u308a\u3084\u3059\u304f\u3044\u3046\u3068\u3001 \u300e\u5e83\u8f9e\u82d1 \u7b2c6\u7248\u300f\u3088\u308a \u771f\u507d\u3092\u5224\u5b9a\u3059\u308b\u3053\u3068\u306e\u3067\u304d\u308b\u6587\u3002\u307e\u305f\u3001\u305d\u306e\u610f\u5473\u5185\u5bb9\u3002 \u3060\u305d\u3046\u3067\u3059\u3002\u52a0\u3048\u3066\u8ff0\u3079\u308b\u306a\u3089\u771f\u306a\u3089\u8a3c\u660e\u3092\u3001\u507d\u306a\u3089\u53cd\u8a3c\u3092\u6319\u3052\u308b\u3053\u3068\u306e\u3067\u304d\u308b\u6587\u7ae0\u3092\u547d\u984c\u3068\u3044\u3046\u3068\u306e\u3053\u3068\u3067\u3059\u3002  &hellip; <a href=\"https:\/\/www.stuffy.site\/wordpress\/?p=5772\" class=\"more-link\">\u7d9a\u304d\u3092\u8aad\u3080 <span class=\"screen-reader-text\">\u547d\u984c\u3068\u5426\u5b9a<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-5772","post","type-post","status-publish","format-standard","hentry","category-others"],"_links":{"self":[{"href":"https:\/\/www.stuffy.site\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/5772","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.stuffy.site\/wordpress\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.stuffy.site\/wordpress\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.stuffy.site\/wordpress\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.stuffy.site\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=5772"}],"version-history":[{"count":1,"href":"https:\/\/www.stuffy.site\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/5772\/revisions"}],"predecessor-version":[{"id":7347,"href":"https:\/\/www.stuffy.site\/wordpress\/index.php?rest_route=\/wp\/v2\/posts\/5772\/revisions\/7347"}],"wp:attachment":[{"href":"https:\/\/www.stuffy.site\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=5772"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.stuffy.site\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=5772"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.stuffy.site\/wordpress\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=5772"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}