[{"@context":"http:\/\/schema.org\/","@type":"BlogPosting","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/8156#BlogPosting","mainEntityOfPage":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/8156","headline":"Drorefine\u30ed\u30b8\u30c3\u30af – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","name":"Drorefine\u30ed\u30b8\u30c3\u30af – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2","description":"before-content-x4 \u76d7\u96e3\u30ed\u30b8\u30c3\u30af\u306fown\u3057\u3066\u3044\u307e\u3059 \uff08\u307e\u305f\uff1a Tern\u00e4re\u30ed\u30b8\u30c3\u30af \uff092\u3064\u306e\u4fa1\u5024\u306e\u539f\u7406\u304c\u653e\u68c4\u3055\u308c\u308b\u3068\u3044\u3046\u70b9\u3067\u3001\u53e4\u5178\u7684\u306a\u30ed\u30b8\u30c3\u30af\u3068\u306f\u7570\u306a\u308b\u975e\u30af\u30e9\u30b9\u306e\u30ed\u30b8\u30c3\u30af\u306e\u4e3b\u8981\u306a\u30ed\u30b8\u30c3\u30af\u306e\u4f8b\u3067\u3059\u3002\u3053\u308c\u306f\u30012\u3064\u306e\u771f\u5b9f\u306e\u5024\u306e\u4ee3\u308f\u308a\u306b3\u3064\u304c\u3042\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u3064\u307e\u308a\u3001\u300c\u771f\u300d\uff08\u307e\u305f\u306f1\uff09\u3068\u300c\u507d\u300d\uff08\u307e\u305f\u306f0\uff09\u306e\u307f\u3082\u300c\u4e0d\u660e\u300d\u3001\u300c\u4e0d\u5b9a\u300d\u3001\u300c\u53ef\u80fd\u6027\u300d\u307e\u305f\u306f\u300c\u4ecb\u3057\u3066\u300d\uff08\u307e\u305f\u306f1\/2\u307e\u305f\u306fi\uff09\u3067\u3059\u3002 after-content-x4 \u6700\u521d\u306e3\u3064\u306e\u4fa1\u5024\u30ed\u30b8\u30c3\u30af\u306fw\u30b7\u30b9\u30c6\u30e0\u3067\u3059 3 \u3001\u30c0\u30b9\u30fb\u30b8\u30e3\u30f3\u30fb\u30b8\u30e3\u30ab\u30b7\u30f4\u30a3\u30c3\u30c41920\u30a8\u30f3\u30c8\u30a6\u30a3\u30c3\u30b1\u30eb\u30c6\u3002 w 3 \u76f4\u89b3\u4e3b\u7fa9\u8005\u306e\u8ad6\u7406\u306b\u5bc6\u63a5\u306b\u95a2\u9023\u3057\u3066\u3044\u307e\u3059\u3002\u30b7\u30b9\u30c6\u30e0\u306f\u3059\u3050\u306b\u7f8a\u578b\u304a\u3088\u3073\u305d\u306e\u4ed6\u306e\u4e3b\u8981\u306a\u30ed\u30b8\u30c3\u30af\u306b\u3088\u3063\u3066\u62e1\u5f35\u3055\u308c\u307e\u3057\u305f\u3002 w\u306e\u4e00\u822c\u7684\u306a\u4ee3\u66ff\u624b\u6bb5 3 1938\u5e74\u306bStephen Cole Kleene\u306b\u3088\u3063\u3066\u958b\u767a\u3055\u308c\u305f\u8ad6\u7406K\u3067\u3059 3 \u3002 [\u521d\u3081]","datePublished":"2022-08-08","dateModified":"2022-08-08","author":{"@type":"Person","@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/author\/lordneo#Person","name":"lordneo","url":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/author\/lordneo","image":{"@type":"ImageObject","@id":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/44a4cee54c4c053e967fe3e7d054edd4?s=96&d=mm&r=g","height":96,"width":96}},"publisher":{"@type":"Organization","name":"Enzyklop\u00e4die","logo":{"@type":"ImageObject","@id":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","url":"https:\/\/wiki.edu.vn\/wiki4\/wp-content\/uploads\/2023\/08\/download.jpg","width":600,"height":60}},"image":{"@type":"ImageObject","@id":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/3a24c11575625efb4ccfaa51bd6a50dc3bf1ab4e","url":"https:\/\/wikimedia.org\/api\/rest_v1\/media\/math\/render\/svg\/3a24c11575625efb4ccfaa51bd6a50dc3bf1ab4e","height":"","width":""},"url":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/8156","wordCount":4394,"articleBody":"     (adsbygoogle = window.adsbygoogle || []).push({});before-content-x4\u76d7\u96e3\u30ed\u30b8\u30c3\u30af\u306fown\u3057\u3066\u3044\u307e\u3059 \uff08\u307e\u305f\uff1a Tern\u00e4re\u30ed\u30b8\u30c3\u30af \uff092\u3064\u306e\u4fa1\u5024\u306e\u539f\u7406\u304c\u653e\u68c4\u3055\u308c\u308b\u3068\u3044\u3046\u70b9\u3067\u3001\u53e4\u5178\u7684\u306a\u30ed\u30b8\u30c3\u30af\u3068\u306f\u7570\u306a\u308b\u975e\u30af\u30e9\u30b9\u306e\u30ed\u30b8\u30c3\u30af\u306e\u4e3b\u8981\u306a\u30ed\u30b8\u30c3\u30af\u306e\u4f8b\u3067\u3059\u3002\u3053\u308c\u306f\u30012\u3064\u306e\u771f\u5b9f\u306e\u5024\u306e\u4ee3\u308f\u308a\u306b3\u3064\u304c\u3042\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u3064\u307e\u308a\u3001\u300c\u771f\u300d\uff08\u307e\u305f\u306f1\uff09\u3068\u300c\u507d\u300d\uff08\u307e\u305f\u306f0\uff09\u306e\u307f\u3082\u300c\u4e0d\u660e\u300d\u3001\u300c\u4e0d\u5b9a\u300d\u3001\u300c\u53ef\u80fd\u6027\u300d\u307e\u305f\u306f\u300c\u4ecb\u3057\u3066\u300d\uff08\u307e\u305f\u306f1\/2\u307e\u305f\u306fi\uff09\u3067\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u6700\u521d\u306e3\u3064\u306e\u4fa1\u5024\u30ed\u30b8\u30c3\u30af\u306fw\u30b7\u30b9\u30c6\u30e0\u3067\u3059 3 \u3001\u30c0\u30b9\u30fb\u30b8\u30e3\u30f3\u30fb\u30b8\u30e3\u30ab\u30b7\u30f4\u30a3\u30c3\u30c41920\u30a8\u30f3\u30c8\u30a6\u30a3\u30c3\u30b1\u30eb\u30c6\u3002 w 3 \u76f4\u89b3\u4e3b\u7fa9\u8005\u306e\u8ad6\u7406\u306b\u5bc6\u63a5\u306b\u95a2\u9023\u3057\u3066\u3044\u307e\u3059\u3002\u30b7\u30b9\u30c6\u30e0\u306f\u3059\u3050\u306b\u7f8a\u578b\u304a\u3088\u3073\u305d\u306e\u4ed6\u306e\u4e3b\u8981\u306a\u30ed\u30b8\u30c3\u30af\u306b\u3088\u3063\u3066\u62e1\u5f35\u3055\u308c\u307e\u3057\u305f\u3002 w\u306e\u4e00\u822c\u7684\u306a\u4ee3\u66ff\u624b\u6bb5 3 1938\u5e74\u306bStephen Cole Kleene\u306b\u3088\u3063\u3066\u958b\u767a\u3055\u308c\u305f\u8ad6\u7406K\u3067\u3059 3 \u3002 [\u521d\u3081] Dmitrijanaltoljevi\u010du\u010dvar\u306b\u306febencaps 1938 Das Dryinue System b 3 \u3088\u308a\u9ad8\u3044\u30ec\u30d9\u30eb\u306e\u8ad6\u7406\u3067\u767a\u751f\u3059\u308b\u53ef\u80fd\u6027\u306e\u3042\u308b\u8ad6\u7406\u7684\u304a\u3088\u3073\u30bb\u30de\u30f3\u30c6\u30a3\u30c3\u30af\u306a\u30a2\u30f3\u30c1\u30ce\u30df\u30fc\u3092\u8abf\u3079\u308b\u305f\u3081\u306b\u63d0\u793a\u3055\u308c\u307e\u3057\u305f\u3002 3\u756a\u76ee\u306e\u771f\u5b9f\u306e\u4fa1\u5024\u306f\u5f7c\u306e\u305f\u3081\u306b\u7acb\u3063\u3066\u3044\u307e\u3057\u305f \u7121\u610f\u5473 \u3001 \u9006\u8aac \u3001 \u7121\u610f\u5473 \u307e\u305f \u7121\u610f\u5473 \u3002 [2] [3] \u307e\u305f\u30013\u3064\u306e\u5024\u30ed\u30b8\u30c3\u30af\u306e\u30d0\u30ea\u30a8\u30fc\u30b7\u30e7\u30f3\u3082\u3042\u308a\u307e\u3059\u3002\u3053\u306e\u30ed\u30b8\u30c3\u30af\u3067\u306f\u3001\u300c\u771f\u300d\u306b\u52a0\u3048\u3066\u3001\u300c\u4e0d\u5b9a\u300d\u304c\u512a\u308c\u305f\u771f\u5b9f\u306e\u4fa1\u5024\u3067\u3059\u3002 H.\u3053\u306e\u3088\u3046\u306a\u30b7\u30b9\u30c6\u30e0\u3067\u306f\u3001\u4e00\u8cab\u6027\u3068\u306f\u3001\u771f\u5b9f\u306e\u4fa1\u5024\u304c\u300c\u771f\u300d\u307e\u305f\u306f\u300c\u7121\u671f\u9650\u300d\u3092\u6301\u3064\u7d50\u679c\u304b\u3089\u5b9f\u969b\u306e\u524d\u63d0\u304c\u6d3e\u751f\u3059\u308b\u53ef\u80fd\u6027\u304c\u3042\u308b\u3053\u3068\u3092\u610f\u5473\u3057\u307e\u3059\u3002\u3053\u308c\u306b\u4ee3\u308f\u308b\u306e\u306f\u3001\u300c\u5f31\u3044\u300d\u306e\u4f7f\u7528\u3067\u3042\u308a\u3001\u3053\u308c\u306f\u7121\u671f\u9650\u306e\u771f\u5b9f\u306e\u4fa1\u5024\u3092\u6301\u3064\u58f0\u660e\u306e\u5426\u5b9a\u3092\u8a8d\u8b58\u3057\u307e\u3059\u3002        (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\u771f\u5b9f\u306e\u4fa1\u5024\u306b\u52a0\u3048\u3066 \u306e \uff08 \u771f\u5b9f \uff09 \u3068 f \uff08 \u6b63\u3057\u304f\u306a\u3044 \uff093\u756a\u76ee\u306e\u771f\u7406\u5024\u304c\u5c0e\u5165\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u8a8d\u8b58\u8ad6\u7684\u306a\u8cea\u554f\u3092\u60f3\u5b9a\u3057\u3066\u3044\u308bukasiewicz\u3067\u306f\u3001\u3053\u306e\u65b0\u305f\u306b\u5c0e\u5165\u3055\u308c\u305f\u4fa1\u5024\u306e\u610f\u56f3\u3055\u308c\u305f\u610f\u5473\u306f\u5927\u307e\u304b\u3067\u3059\u3002\u300c\u8a3c\u660e\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u304c\u3001\u53cd\u8ad6\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u300d\u3002\u5f7c\u306f\u305d\u3046\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059 m  – \u8aad\u307f\u53d6\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u305d\u306e\u89e3\u91c8w 3 \u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30fc\u30b5\u30a4\u30a8\u30f3\u30b9\u306b\u9069\u7528\u3057\u30013\u756a\u76ee\u306e\u771f\u5b9f\u306e\u5024\u3092\u6b21\u306e\u3088\u3046\u306b\u8aad\u3093\u3067\u304f\u3060\u3055\u3044 \u306e \u4e0d\u660e\u306e\u305f\u3081\u3002\u4ed6\u306e3\u3064\u306e\u4fa1\u5024\u306e\u30ed\u30b8\u30c3\u30af\u306f\u3001\u300c\u771f\u307e\u305f\u306f\u9593\u9055\u3063\u3066\u3044\u306a\u3044\u300d\u307e\u305f\u306f\u300c\u771f\u5b9f\u3068\u507d\u306e\u4e21\u65b9\u300d\u3067\u3042\u308b\u30b9\u30c6\u30fc\u30c8\u30e1\u30f3\u30c8\u306b\u5bfe\u3057\u3066\u3001\u7b2c\u4e09\u8005\u304c\u6388\u4e0e\u3055\u308c\u308b\u3053\u3068\u3092\u60f3\u5b9a\u3059\u308b\u3053\u3068\u304c\u3042\u308a\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u5834\u5408\u3001\u771f\u5b9f\u306e\u5024\u306f\u3067\u3059 \u79c1 \u300c\u4e0d\u5b9a\u300d\u306e\u5834\u5408\u3002 \u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u7528 \u3068  \uff08 \u2227 \uff09\uff09 {displaystyle\uff08land\uff09} \u3001 \u307e\u305f  \uff08 \u2228 \uff09\uff09 {displayStyle\uff08itse\uff09} \u3068 \u3044\u3044\u3048         (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4\uff08 \u00ac \uff09\uff09 {displaystyle\uff08neg\uff09} \uff08\u300c\u5f31\u3044\u300d\u304c\u4f7f\u7528\u3055\u308c\u306a\u3044\u9650\u308a\uff09\u6b21\u306e\u771f\u5b9f\u306e\u6599\u91d1\u304c\u9069\u7528\u3055\u308c\u307e\u3059\u3002 A\u304a\u3088\u3073B b a f \u306e \u306e f f f f \u306e f \u306e \u306e \u306e f \u306e \u306e a\u307e\u305f\u306fb b a f \u306e \u306e f f \u306e \u306e \u306e \u306e \u306e \u306e \u306e \u306e \u306e \u306e \u3067\u306f\u3042\u308a\u307e\u305b\u3093 a \u00ac{displaystyle neg }a f \u306e \u306e \u306e \u306e f \u3053\u308c\u306f\u6b21\u306e\u3088\u3046\u306b\u8981\u7d04\u3059\u308b\u3053\u3068\u3082\u3067\u304d\u307e\u3059\u3002 \u30c0\u30a4\u30ed\u30b8\u30b1\u30f3\u00af 3 \u304a\u3088\u3073k 3 \u30b5\u30d6\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u306e\u5b9a\u7fa9\u306e\u307f\u304c\u7570\u306a\u308a\u307e\u3059 \uff08 \u2192 \uff09\uff09 {displaystyle\uff08rightArrow\uff09} \u3001d\u3002 H.\u81ea\u7136\u306b\u8a00\u8a9e\u3092\u6761\u4ef6\u4ed8\u304d\u3067\u30de\u30c3\u30d4\u30f3\u30b0\u3059\u308b\u3053\u3068\u306b\u306a\u3063\u3066\u3044\u308b\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u306e\u3002\u5bfe\u5fdc\u3059\u308b\u771f\u7406\u30dc\u30fc\u30c9\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\u3002 w\u306ethen b\u306e\u5834\u5408 3 b a f \u306e \u306e f \u306e \u306e \u306e \u306e \u306e \u306e \u306e \u306e f \u306e \u306e a\u306e\u5834\u5408\u306fk\u306e\u5834\u5408 3 b a f \u306e \u306e f \u306e \u306e \u306e \u306e \u306e \u306e \u306e \u306e f \u306e \u306e \u4e8b\u4ef6\u306e\u307f\u304c\u8b70\u8ad6\u306e\u4f59\u5730\u304c\u3042\u308a\u3001\u30b5\u30d6\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u306e\u4e21\u65b9\u306e\u90e8\u5206\u304c\u771f\u5b9f\u306e\u5024\u30921\/2\u306b\u6301\u3063\u3066\u3044\u307e\u3059\u3002 w\u306b 3 k\u306b\u3088\u308b\u3068\u3001\u3053\u3053\u3067\u306f\u30b5\u30d6\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u304c\u5f53\u3066\u306f\u307e\u308a\u307e\u3059 3 \u771f\u5b9f\u306e\u4fa1\u5024\u304c1\/2\u306b\u306a\u308a\u307e\u3059\u3002\u305f\u3060\u3057\u3001\u3053\u306e\u9055\u3044\u306b\u306f\u5927\u304d\u306a\u5f71\u97ff\u304c\u3042\u308a\u307e\u3059\u3002\u7279\u306bk\u306b\u3042\u308a\u307e\u3059 3 \u305f\u3060\u3057\u3001\u4e00\u8cab\u6027\u306f\u4f9d\u7136\u3068\u3057\u3066\u53ef\u80fd\u3067\u3059\u3002 w 3 \u53e4\u5178\u7684\u306a\u8ad6\u7406\u306e\u591a\u6570\u306e\u30c8\u30fc\u30c8\u30ed\u30b8\u30fc\u306f\u6b8b\u3063\u3066\u3044\u307e\u3059\u304c\u3001\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u3082\u3042\u308a\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u9055\u3044\u306f\u4e3b\u306b\u3001ukukasiewicz\u304c\u8a8d\u8b58\u8ad6\u7684\u52d5\u6a5f\u3092\u8ffd\u6c42\u3057\u305f\u3068\u3044\u3046\u4e8b\u5b9f\u306b\u3088\u3063\u3066\u8aac\u660e\u3067\u304d\u307e\u3059\u304c\u3001\u30af\u30ea\u30fc\u30f3\u306f\u3001\u771f\u5b9f\u306e\u5ba2\u89b3\u7684\u306a\u77e5\u8b58\u3067\u3055\u3048\u300c\u771f\u300d\u307e\u305f\u306f\u300c\u9593\u9055\u3063\u305f\u300d\u3068\u306f\u8a00\u3048\u306a\u3044\u58f0\u660e\u306b\u5bfe\u51e6\u3059\u308b\u3053\u3068\u3092\u3088\u308a\u3088\u304f\u898b\u3066\u3044\u307e\u3057\u305f\u3002 \u30ed\u30b8\u30c3\u30afb 3 \u5185\u90e8\u3068\u5916\u90e8\u306e\u771f\u7406\u95a2\u6570\u3092\u533a\u5225\u3057\u307e\u3059\u3002\u5185\u306a\u308b\u771f\u5b9f\u95a2\u6570\u306f\u3001\u771f\u5b9f\u306e\u5024\u300cu\u300d\u304c\u767a\u751f\u305b\u305a\u3001\u5e38\u306b\u300cu\u300d\u3067\u3042\u308b\u5834\u5408\u3001\u30af\u30e9\u30b7\u30c3\u30af\u306b\u5bfe\u5fdc\u3057\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u5185\u7684\u5426\u5b9a\u306fw\u306e\u5426\u5b9a\u306b\u5bfe\u5fdc\u3057\u307e\u3059 3 \u304a\u3088\u3073k 3 \u3002 b\u306e\u5185\u90e8\u63a5\u7d9a\u8a5e 3 b a f \u306e \u306e f f \u306e f \u306e \u306e \u306e \u306e \u306e f \u306e \u306e b\u306e\u5185\u5074\u306e\u4ee3\u66ff\u6848 3 b a f \u306e \u306e f f \u306e \u306e \u306e \u306e \u306e \u306e \u306e \u306e \u306e \u306e b\u306e\u5185\u306a\u308b\u610f\u5473 3 b a f \u306e \u306e f \u306e \u306e \u306e \u306e \u306e \u306e \u306e \u306e f \u306e \u306e \u3053\u3053\u3067\u3001\u5e73\u5747\u7684\u306a\u771f\u5b9f\u306e\u4fa1\u5024\u306f\u3001\u3044\u308f\u3070\u300c\u611f\u67d3\u300d\u3001 [4] \u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u306e\u4efb\u610f\u306e\u7d44\u307f\u5408\u308f\u305b\u306b\u304a\u3051\u308b\u3053\u306e\u771f\u5b9f\u306e\u4fa1\u5024\u3092\u4f34\u3046\u547d\u984c\u306e\u4f7f\u7528\u306f\u3001\u5168\u4f53\u7684\u306a\u610f\u5473\u306e\u771f\u7406\u5024\u306b\u3088\u3063\u3066\u5f15\u304d\u8d77\u3053\u3055\u308c\u307e\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001b\u306b\u3042\u308a\u307e\u3059 3 \u3055\u3089\u306b2\u3064\u306e\u30b7\u30f3\u30b0\u30eb\u30c7\u30a3\u30ae\u30c3\u30c8\u30c8\u30a5\u30eb\u30fc\u30b9\u95a2\u6570j f \u304a\u3088\u3073j \u306e \u771f\u5b9f\u5024\u95a2\u6570j \u306e a j \u306e \uff08a\uff09 f f \u306e f \u306e \u306e \u771f\u5b9f\u5024\u95a2\u6570j f a j f \uff08a\uff09 f \u306e \u306e f \u306e f \u771f\u5b9f\u95a2\u6570j \u306e \u547d\u984c\u306e\u58f0\u660e\u3092\u8868\u3057\u307e\u3059\u3001j f \u5426\u5b9a\u7684\u306a\u58f0\u660e\u3092\u8868\u3057\u307e\u3059\u3002\u3053\u306e\u3088\u3046\u306b\u3057\u3066\u3001\u771f\u5b9f\u5024u\u3092\u4f34\u3046\u547d\u984cP\u306e\u4e3b\u5f35\u306f\u9593\u9055\u3063\u3066\u3044\u308b\u3068\u8a55\u4fa1\u3067\u304d\u307e\u3059\u3002P\u306e\u62d2\u5426\u306f\u771f\u3067\u3042\u308b\u3068\u8a55\u4fa1\u3055\u308c\u307e\u3059\u3002\u3053\u306e\u8ad6\u7406\u306b\u3088\u308a\u3001Bochvar\u306f\u5618\u3064\u304d\u306e\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u306a\u3069\u306e\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u306b\u906d\u9047\u3057\u305f\u3044\u3068\u8003\u3048\u3066\u3044\u307e\u3057\u305f\u3002\u3053\u308c\u306f\u771f\u5b9f\u306e\u4fa1\u5024\u3067\u8a3c\u660e\u3055\u308c\u308b\u306f\u305a\u3067\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001u\u306e\u610f\u5473\u306f\u300c\u7121\u610f\u5473\u300d\u307e\u305f\u306f\u300c\u9006\u8aac\u7684\u300d\u3067\u3059\u3002 [5] 3\u3064\u306e\u4fa1\u5024\u30ed\u30b8\u30c3\u30af\u306b\u5bfe\u51e6\u3059\u308b\u5225\u306e\u65b9\u6cd5\u306f\u3001\u300c\u771f\u300d\u306b\u52a0\u3048\u3066\u30012\u756a\u76ee\u306e\u512a\u308c\u305f\u771f\u7406\u5024\u3068\u3057\u3066\u8a31\u53ef\u3059\u308b\u3053\u3068\u3067\u3059\u3002\u3053\u308c\u306f\u3001\u771f\u5b9f\u306e\u5024\u304c\u300c\u771f\u300d\u307e\u305f\u306f\u300c\u7121\u671f\u9650\u300d\u307e\u305f\u306f\u300c\u4e0d\u660e\u300d\u3067\u3042\u308b\u5834\u5408\u3001\u4fdd\u8a3c\u3055\u308c\u307e\u3059\u3002 w\u306b\u5411\u304b\u3046\u30b5\u30d6\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u306e\u771f\u5b9f\u306e\u6a5f\u80fd\u306b\u306f\u660e\u3089\u304b\u3067\u3059 3 \u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u306e\u6570\u3092\u5236\u9650\u3059\u308b\u305f\u3081\u306b\u5909\u66f4\u3057\u307e\u3059\u3002\u3053\u3053\u306e\u4f8b\u3068\u3057\u3066\u3001LP\u3068RM\u306e\u30b5\u30d6\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u306e\u771f\u5b9f\u306e\u8868 3 \uff1a lp\u306ethen b\u306e\u5834\u5408 b a f \u306e \u306e f \u306e \u306e \u306e \u306e \u306e \u306e \u306e \u306e f \u306e \u306e rm\u306ethen b\u306e\u5834\u5408 3 b a f \u306e \u306e f \u306e \u306e \u306e \u306e f \u306e \u306e \u306e f f \u306e LP\uff08\u30b0\u30e9\u30cf\u30e0\u53f8\u796d\u306b\u3088\u308b\u300c\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u306e\u8ad6\u7406\u300d\uff09\u306f\u3001k\u3068\u540c\u3058\u30b5\u30d6\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u306e\u540c\u3058\u771f\u5b9f\u95a2\u6570\u3092\u4f7f\u7528\u3057\u3066\u3044\u307e\u3059 3 \u305f\u3060\u3057\u3001k\u3068\u306f\u5bfe\u7167\u7684\u306b 3 \u591a\u6570\u306e\u30c8\u30fc\u30c8\u30ed\u30b8\u30fc\u3067\u3059\u304c\u3001\u30dd\u30cd\u30f3\u306e\u30e2\u30fc\u30c9\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u3053\u308c\u306fRM\u3067\u3059 3 \u5b89\u5168\u306b\u3001LP\u304b\u3089\u306e\u3044\u304f\u3064\u304b\u306e\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u306f\u3053\u3053\u306b\u306f\u8868\u793a\u3055\u308c\u307e\u305b\u3093\u3002 2\u3064\u306e\u512a\u308c\u305f\u771f\u7406\u5024\u306e\u4f7f\u7528\u306b\u4ee3\u308f\u308b\u3082\u306e\u306f\u30012\u3064\u306e\u7570\u306a\u308b\u5426\u5b9a\u306e\u4f7f\u7528\u3067\u3059\u3002\u3053\u308c\u306f\u4e3b\u306bw\u3092\u4f7f\u7528\u3057\u307e\u3059 3 \u7d44\u307f\u5408\u308f\u305b\u305f\u3002 1\u3064\u3042\u308a\u307e\u3059 \u5f37\u3044\u5426\u5b9a  \u00ac {displaystyle neg} \u305d\u3057\u3066\u305d\u306e \u5f31\u3044\u5426\u5b9a  \u301c {displaystyle thicksim} \u8457\u540d\u306a\uff1a \u5f37\u3044\uff08\u307e\u305f\u306f\u5185\u90e8\u3001\u524d\u9694\u96e2\uff09\u5426\u5b9a\u306e\u771f\u5b9f\u306e\u4fa1\u5024 \u00ac a {displaystyle neg a} \u306e\u771f\u5b9f\u306e\u4fa1\u5024\u306e\u9006\u8ee2\u3067\u3059 a {displaystyle a} \u3001\u7121\u671f\u9650\u306e\u771f\u5b9f\u306e\u4fa1\u5024\u304c\u3042\u308b\u5834\u5408\u3001\u4f55\u3082\u5909\u5316\u3057\u307e\u305b\u3093\u3002 \u5f31\u3044\uff08\u307e\u305f\u306f\u5916\u90e8\u3001\u975e\u598a\u5a20\uff09\u5426\u5b9a\u306e\u771f\u5b9f\u306e\u4fa1\u5024 \u301c a {displaystyle thicksim !! a} \u306e\u771f\u5b9f\u306e\u4fa1\u5024\u304c\u300c\u9593\u9055\u3063\u3066\u3044\u308b\u300d a {displaystyle a} \u300c\u771f\u300d\u306f\u3001\u305d\u3046\u3067\u306a\u3051\u308c\u3070\u5e38\u306b\u300c\u771f\u300d\u3067\u3059\u3002\u3053\u306e\u5426\u5b9a\u306f\u3001\u300cP\u304c\u771f\u5b9f\u3067\u306f\u306a\u3044\u300d\u3068\u3044\u3046\u8a00\u8449\u9063\u3044\u306b\u5bfe\u5fdc\u3057\u3066\u3044\u307e\u3059\u3002 \u3057\u305f\u304c\u3063\u3066\u3001\u771f\u5b9f\u306e\u30dc\u30fc\u30c9\u306f\u6b21\u306e\u3068\u304a\u308a\u3067\u3059\u3002 \u5f37\u3044\u5426\u5b9a a \u00ac{displaystyle neg }a f \u306e \u306e \u306e \u306e f \u5f31\u3044\u5426\u5b9a a \u223c{displaystyle thicksim }a f \u306e \u306e \u306e \u306e f \u3057\u305f\u304c\u3063\u3066\u30012\u3064\u306e\u30b5\u30d6\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u304c\u5b9a\u7fa9\u3055\u308c\u3066\u3044\u307e\u3059\u3002  \u5f37\u529b\u306a\u30b5\u30d6\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3  \uff08 \u21d2 \uff09\uff09 {displaystyle\uff08rightArrow\uff01\u3001\uff09} \u7d42\u3048\u305f\uff1a a \u21d2 b \uff1a= \u00ac a \u2228 b {displaystyle arightarrow b\uff1a= neg alor b}  \u5f31\u3044\u30b5\u30d6\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3  \uff08 \u2192 \uff09\uff09 {displaystyle\uff08rightArrow\uff09\uff01\u3001} \u7d42\u3048\u305f\uff1a a \u2192 b \uff1a=  \u301c a \u2228 b {displaystyle arightarrow b\uff1a= ficksim !! alor b} TAUTOLOGIES\u306f\u3001\u8981\u7d20\u306e\u3059\u3079\u3066\u306e\u5272\u308a\u5f53\u3066\u3067\u771f\u5b9f\u306e\u5024\u300cW\u300d\u3092\u4fdd\u6301\u3059\u308b\u5f0f\u3092\u6307\u3057\u307e\u3059\u3002\u3053\u306e\u610f\u5473\u3067\u306f \u301c \uff08 a \u2227 \u301c a \uff09\uff09 {displaystyle thicksim !!\uff08aland thicksim !! a\uff09} \u3001 a \u2192  \u301c \u301c a {displaystyle arightarrow thicksim thicksim !! a} \u3001 \u3060\u3051\u3067\u306a\u304f a \u2228 \u301c a {displaystyle alor thicksim !! a} \u3068 \u301c \u301c a \u2192 a {displaystyle thicksim thicksim !! arightarrow a} TAUTOLOGIES\u3002\u4e00\u822c\u7684\u306b\u3001w\u306e\u30c8\u30fc\u30c8\u30ed\u30b8\u30fc\u304c\u793a\u3059\u3053\u3068\u304c\u3067\u304d\u307e\u3059 3 \u305d\u308c\u306b\u306f\u5f37\u529b\u306a\u30b8\u30e3\u30f3\u30af\u30b7\u30e7\u30f3\u304c\u542b\u307e\u308c\u3066\u3044\u307e\u305b\u3093\u3002\u53e4\u5178\u7684\u306a2\u5024\u30ed\u30b8\u30c3\u30af\u306e\u4e00\u822c\u7684\u306a\u5f0f\u3092\u6b63\u78ba\u306b\u6e80\u305f\u3057\u307e\u3059\u3002\u4e00\u65b9\u3001\u305d\u3046\u3067\u3059 a \u2228 \u00ac a {displaystyle alor neg a} \u3068 \u301c \u00ac a \u2192 a {displaystyle thicksim\uff01neg arightarrow a} \u30ef\u30fc\u30c1\u30e7\u30ed\u30b8\u30fc\u306f\u3042\u308a\u307e\u305b\u3093 3 \u3001\u3057\u304b\u3057\u53cd\u8ee2 a \u2192 \u301c \u00ac a {displaystyle arightarrow thicksim\uff01neg a} \u3068\u5f0f \u301c \uff08 a \u2227 \u00ac a \uff09\uff09 {displaystyle thicksim !!\uff08Aland Neg a\uff09} \u3002 w 3 \u76f4\u89b3\u4e3b\u7fa9\u8005\u304c\u8a2d\u5b9a\u3057\u305f\u8981\u6c42\u306b\u5bfe\u5fdc\u3057\u307e\u3059\u3002 \u300cEx Falso Quodlibet\u300d\u306f\u300c\u30af\u30e9\u30b7\u30c3\u30af\u300d\u306a\u5f62\u3060\u3051\u3067\u306f\u3042\u308a\u307e\u305b\u3093 \u301c a \u2192 \uff08 a \u2192 b \uff09\uff09 {displaystyle thicksim !! arightarrow\uff08arightarrow b\uff09} \u30c8\u30fc\u30c8\u30ed\u30b8\u30fc\u3060\u3051\u3067\u306a\u304f\u3001\u300c\u76f4\u89b3\u4e3b\u7fa9\u8005\u300d\u5f62\u5f0f\u3067\u3082 \u00ac a \u2192 \uff08 a \u2192 b \uff09\uff09 {displaystyle neg arightarrow\uff08arightarrow b\uff09} \u3002\u5f62\u3067 \u00ac a \u21d2 \uff08 a \u21d2 b \uff09\uff09 {displaystyle neg arightarrow\uff08arightarrow b\uff09} \u4e00\u65b9\u3001\u6700\u5c0f\u9650\u306e\u77f3\u7070\u306e\u8981\u6c42\u306e\u5834\u5408\u306e\u3088\u3046\u306b\u3001\u305d\u308c\u306f\u30c8\u30fc\u30c8\u30ed\u30b8\u30fc\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002 Ulrich Blau\u3001The Logic of Unterminacies and Paradoxes\u3001Heidelberg 2008\u3001pp\u3002191\u2013290\u3002 \u30b9\u30fc\u30b6\u30f3\u30fb\u30cf\u30c3\u30af\u3001\u8ad6\u7406\u54f2\u5b66\u3001\u30b1\u30f3\u30d6\u30ea\u30c3\u30b81978\u3001S\u3002204\u2013220\u3002 \u30e4\u30f3\u30a6\u30ab\u30b7\u30a6\u30a3\u30c3\u30c4\u3001\u547d\u984c\u8ad6\u7406\u306e\u591a\u304f\u306e\u4fa1\u5024\u306e\u3042\u308b\u30b7\u30b9\u30c6\u30e0\u306b\u95a2\u3059\u308b\u54f2\u5b66\u7684\u767a\u8a00\u3001In\uff1aStorrs MacCall\uff08Hg\u3002\uff09\u3001Polish Logic 1920-1939\u3001Oxford 1967\u3002 \u30b0\u30e9\u30cf\u30e0\u53f8\u796d\u3001\u975e\u53e4\u5178\u7684\u8ad6\u7406\u306e\u7d39\u4ecb\u3002 If to is\u304b\u3089\u3001Cambridge 2008\u3001S\u3002120\u2013141\u3002 \u2191  \u30b9\u30c6\u30a3\u30fc\u30d6\u30f3\u30fb\u30b3\u30fc\u30eb\u30fb\u30af\u30ea\u30fc\u30f3\uff1a \u9806\u5e8f\u6570\u306e\u8868\u8a18\u3002 \u306e\uff1a \u30b8\u30e3\u30fc\u30ca\u30eb\u306e\u8c61\u5fb4\u7684\u8ad6\u7406\u3002 3\u30011938\u3001S\u3002150\u2013155\u3002  \u2191  Dmitry Anatolyevich Bochvar  \uff08dmitry anatolyevichbo\u010dvar\uff09 \uff1a \u7d043\u6841\u306e\u8a08\u7b97\u3068\u3001\u53e4\u5178\u7684\u306a\u62e1\u5f35\u6a5f\u80fd\u8a08\u7b97\u306e\u30d1\u30e9\u30c9\u30c3\u30af\u30b9\u306e\u5206\u6790\u3078\u306e\u9069\u7528\u3002 -ob odnomtr\u00e9hzna\u010dnomisisl\u00e9niii\u00e9goprim\u00e9n\u00e9n\u00e9n\u00e9n\u00e9n\u00e9n\u00e9n\u00e9n\u00e9n\u00e9nenikanalizu paradoksovklassich\u00e9skogorasir\u00e9nogofunkcional’nogois\u010disl\u00e9ni\u00e1\u3002 \u306e\uff1a Mat\u00e9mati\u010d\u00e9skySbornik\u3002 \u30dc\u30ea\u30e5\u30fc\u30e046-4\u3002 1938\u3001pp\u3002287-308\uff08\u30ed\u30b7\u30a2\u8a9e\uff09\u3002  \u2191  \u30b8\u30fc\u30af\u30d5\u30ea\u30fc\u30c9\u30b4\u30c3\u30c8\u30ef\u30eb\u30c9\uff1a \u3055\u307e\u3056\u307e\u306a\u30ed\u30b8\u30c3\u30af\u3002\u7406\u8ad6\u3068\u5fdc\u7528\u306e\u7d39\u4ecb\u3002 Akademie-verlag\u3001\u30d9\u30eb\u30ea\u30f31989\u3001p\u3002165f\u3002  \u2191  \u30b9\u30fc\u30b6\u30f3\u30fb\u30cf\u30c3\u30af\uff1a \u8ad6\u7406\u306e\u54f2\u5b66\u3002 \u30b1\u30f3\u30d6\u30ea\u30c3\u30b81978\u3001S\u3002207\u3002  \u2191  \u30b9\u30fc\u30b6\u30f3\u30fb\u30cf\u30c3\u30af\uff1a \u8ad6\u7406\u306e\u54f2\u5b66\u3002 \u30b1\u30f3\u30d6\u30ea\u30c3\u30b81978\u3001S\u3002211\u3002       (adsbygoogle = window.adsbygoogle || []).push({});after-content-x4"},{"@context":"http:\/\/schema.org\/","@type":"BreadcrumbList","itemListElement":[{"@type":"ListItem","position":1,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/#breadcrumbitem","name":"Enzyklop\u00e4die"}},{"@type":"ListItem","position":2,"item":{"@id":"https:\/\/wiki.edu.vn\/all2jp\/wiki10\/archives\/8156#breadcrumbitem","name":"Drorefine\u30ed\u30b8\u30c3\u30af – \u30a6\u30a3\u30ad\u30da\u30c7\u30a3\u30a2"}}]}]