{"id":33813,"date":"2021-01-25T00:00:52","date_gmt":"2021-01-25T00:00:52","guid":{"rendered":"https:\/\/toposuranos.com\/material\/?p=33813"},"modified":"2025-07-31T01:50:59","modified_gmt":"2025-07-31T01:50:59","slug":"%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/","title":{"rendered":"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b"},"content":{"rendered":"<p><center><\/p>\n<h1 style=\"text-align:center;\">\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb<\/h1>\n<p style=\"text-align:center;\"><em><strong>\u8981\u7d04\uff1a<\/strong><\/br>\u3053\u306e\u6388\u696d\u3067\u306f\u3001\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306b\u3064\u3044\u3066\u518d\u691c\u8a0e\u3057\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u4f53\u7cfb\u304c\u3001\u7570\u306a\u308b\u8ad6\u7406\u5f0f\u306e\u9593\u306b\u5b58\u5728\u3057\u3046\u308b\u95a2\u4fc2\u3092\u89e3\u660e\u3059\u308b\u305f\u3081\u306b\u3069\u306e\u3088\u3046\u306b\u7528\u3044\u3089\u308c\u308b\u304b\u3001\u305d\u3057\u3066\u8a3c\u660e\u3092\u69cb\u6210\u3059\u308b\u305f\u3081\u306e\u57fa\u672c\u8981\u7d20\u2014\u2014\u8a00\u8a9e\u3001\u516c\u7406\u3001\u63a8\u8ad6\u898f\u5247\u2014\u2014\u306b\u3064\u3044\u3066\u8aac\u660e\u3057\u307e\u3059\u3002\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u304c\u7d39\u4ecb\u3055\u308c\u3001\u547d\u984c\u8a08\u7b97\u306b\u304a\u3051\u308b\u63a8\u8ad6\u306e\u539f\u52d5\u529b\u3068\u3057\u3066\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u304c\u89e3\u8aac\u3055\u308c\u307e\u3059\u3002\u3055\u3089\u306b\u3001\u63a8\u8ad6\u30fb\u5b9a\u7406\u30fb\u524d\u63d0\u3068\u3044\u3046\u6982\u5ff5\u306b\u3082\u89e6\u308c\u3001\u6f14\u7e79\u4f53\u7cfb\u306b\u304a\u3051\u308b\u8a3c\u660e\u306e\u5b9f\u884c\u65b9\u6cd5\u304c\u793a\u3055\u308c\u307e\u3059\u3002<\/em><\/p>\n<p style=\"text-align:center;\"><strong>\u5b66\u7fd2\u76ee\u6a19\uff1a<\/strong><\/p>\n<ol style=\"text-align:left;\">\n<li><strong>\u7406\u89e3\u3059\u308b<\/strong>\uff1a\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u6982\u5ff5\u3092\u3002<\/li>\n<li><strong>\u8b58\u5225\u3059\u308b<\/strong>\uff1a\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u57fa\u672c\u69cb\u6210\u8981\u7d20\u3092\u3002<\/li>\n<li><strong>\u628a\u63e1\u3059\u308b<\/strong>\uff1a\u547d\u984c\u8a08\u7b97\u306b\u304a\u3051\u308b\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u3092\u3002<\/li>\n<li><strong>\u7406\u89e3\u3059\u308b<\/strong>\uff1a\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u304c\u547d\u984c\u8a08\u7b97\u306e\u63a8\u8ad6\u30a8\u30f3\u30b8\u30f3\u3067\u3042\u308b\u3053\u3068\u3092\u3002<\/li>\n<li><strong>\u7406\u89e3\u3059\u308b<\/strong>\uff1a\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306b\u304a\u3051\u308b\u8a3c\u660e\u306e\u5b9f\u884c\u65b9\u6cd5\u3068\u3001\u524d\u63d0\u30fb\u63a8\u8ad6\u30fb\u5b9a\u7406\u306e\u9055\u3044\u3092\u3002<\/li>\n<li><strong>\u7406\u89e3\u3059\u308b<\/strong>\uff1a\u516c\u7406\u30b9\u30ad\u30fc\u30e0\u3068\u63a8\u8ad6\u898f\u5247\u3092\u901a\u3058\u3066\u3001\u3044\u304b\u306b\u3057\u3066\u6f14\u7e79\u304c\u751f\u6210\u3055\u308c\u308b\u304b\u3092\u3002<\/li>\n<li><strong>\u8a8d\u8b58\u3059\u308b<\/strong>\uff1a\u8ad6\u7406\u304c\u8868\u73fe\u9593\u306e\u95a2\u4fc2\u3092\u63a5\u7d9a\u3057\u3001\u81ea\u7136\u8a00\u8a9e\u306e\u8868\u73fe\u3078\u7f6e\u304d\u63db\u3048\u308b\u80fd\u529b\u3092\u3002<\/li>\n<\/ol>\n<p style=\"text-align:center;\"><strong><u>\u5185\u5bb9\u76ee\u6b21<\/u>\uff1a<\/strong><br \/>\n<a href=\"#1\">\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u3068\u306f\u4f55\u304b\uff1f<\/a><br \/>\n<a href=\"#2\">\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406<\/a><br \/>\n<a href=\"#3\">\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\uff1a\u547d\u984c\u8a08\u7b97\u306e\u63a8\u8ad6\u30a8\u30f3\u30b8\u30f3<\/a><br \/>\n<a href=\"#4\">\u63a8\u8ad6\u30fb\u5b9a\u7406\u30fb\u524d\u63d0<\/a><br \/>\n<a href=\"#5\">\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u8a3c\u660e\u306f\u3069\u306e\u3088\u3046\u306b\u5b9f\u884c\u3055\u308c\u308b\u304b\uff1f<\/a><br \/>\n<a href=\"#6\">\u8a3c\u660e\u3055\u308c\u305f\u540c\u5024\u6982\u5ff5<\/a><br \/>\n<a href=\"#7\">\uff08\u30e1\u30bf\uff09\u6f14\u7e79\u5b9a\u7406<\/a><br \/>\n<a href=\"#8\">\u6f14\u7e79\u5b9a\u7406\u306e\u9006<\/a><br \/>\n<a href=\"#9\">\u8868\u73fe\u306b\u95a2\u3059\u308b\u6f14\u7e79\u3068\u3001\u6f14\u7e79\u306b\u95a2\u3059\u308b\u6f14\u7e79<\/a><br \/>\n<a href=\"#10\">\u5358\u8abf\u6027\u306e\u898f\u5247<\/a><br \/>\n<a href=\"#11\">\u6f14\u7e79\u4f53\u7cfb\u3068\u547d\u984c\u8ad6\u7406\u306b\u95a2\u3059\u308b\u7dcf\u62ec\u3068\u8003\u5bdf<\/a>\n<\/p>\n<p><iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/OvoEDefcSZg\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen=\"allowfullscreen\"><\/iframe><br \/>\n<\/center><\/p>\n<p style=\"text-align: justify;\">\u8ad6\u7406\u5b66\u306e\u5b66\u7fd2\u306b\u304a\u3044\u3066\u3001\u79c1\u305f\u3061\u306f\u8ee2\u63db\u70b9\u306b\u5230\u9054\u3057\u307e\u3057\u305f\u3002\u3053\u3053\u304b\u3089\u547d\u984c\u8ad6\u7406\u306e\u6f14\u7e79\u4f53\u7cfb\u306e\u691c\u8a0e\u304c\u59cb\u307e\u308a\u307e\u3059\u3002\u3053\u3053\u3067\u306f\u3001\u3053\u308c\u307e\u3067\u5b66\u3093\u3060\u5185\u5bb9\u304c\u5b9f\u8df5\u7684\u306b\u6a5f\u80fd\u3057\u59cb\u3081\u3001\u8ad6\u7406\u306e\u771f\u306e\u7cbe\u795e\u304c\u73fe\u308c\u307e\u3059\u3002\u306a\u305c\u306a\u3089\u3001\u8a3c\u660e\u306e\u672c\u8cea\u3092\u63a2\u6c42\u3059\u308b\u304b\u3089\u3067\u3059\u3002\u3053\u306e\u6bb5\u968e\u3067\u306f\u3001\u3059\u3067\u306b\u8ad6\u7406\u5f0f\u306e\u66f8\u304d\u65b9\u3084\u547d\u984c\u8ad6\u7406\u306e\u6982\u8981\u3092\u7406\u89e3\u3057\u3066\u3044\u308b\u3053\u3068\u304c\u524d\u63d0\u3067\u3059\u3002\u3082\u3057\u5b8c\u5168\u306b\u7406\u89e3\u3067\u304d\u3066\u3044\u306a\u3044\u5834\u5408\u306f\u3001\u3053\u306e\u6388\u696d\u306e\u524d\u306b\u884c\u308f\u308c\u305f\u8b1b\u7fa9\u3092\u898b\u76f4\u3059\u3053\u3068\u3092\u304a\u52e7\u3081\u3057\u307e\u3059\u3002<\/p>\n<p style=\"text-align: justify;\">\u3053\u306e\u6e96\u5099\u304c\u6574\u3063\u305f\u5f8c\u3001\u6b21\u306b\u9032\u3080\u3079\u304d\u306f\u3001\u547d\u984c\u8ad6\u7406\u306e\u8868\u73fe\u304c\u3069\u306e\u3088\u3046\u306b\u76f8\u4e92\u306b\u95a2\u4fc2\u3057\u3066\u6f14\u7e79\u3092\u69cb\u6210\u3059\u308b\u306e\u304b\u3092\u691c\u8a0e\u3059\u308b\u3053\u3068\u3067\u3059\u3002\u305d\u306e\u95a2\u4fc2\u3092\u69cb\u7bc9\u3059\u308b\u305f\u3081\u306e\u4ed5\u7d44\u307f\u304c<strong>\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb<\/strong>\u306a\u306e\u3067\u3059\u3002<\/p>\n<p><a name=\"1\"><\/a><\/p>\n<h2>\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u3068\u306f\u4f55\u304b\uff1f<\/h2>\n<p style=\"text-align: justify;\">\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u3001\u307e\u305f\u306f\u6f14\u7e79\u8a08\u7b97\u4f53\u7cfb\u306b\u306f\u3001\u4ee5\u4e0b\u306e3\u3064\u306e\u57fa\u672c\u7684\u69cb\u6210\u8981\u7d20\u304c\u3042\u308a\u307e\u3059\uff1a<\/p>\n<ol style=\"color: #000000; text-align: justify;\">\n<li><strong>\u5f62\u5f0f\u8a00\u8a9e\u3002<\/strong><\/li>\n<li><strong>\u516c\u7406\u30b9\u30ad\u30fc\u30e0\u3002<\/strong><\/li>\n<li><strong>\u57fa\u672c\u7684\u306a\u63a8\u8ad6\u898f\u5247\u3002<\/strong><\/li>\n<\/ol>\n<p style=\"text-align: justify;\">\u5f62\u5f0f\u8a00\u8a9e\u306b\u95a2\u3057\u3066\u306f\u3059\u3067\u306b\u5b66\u7fd2\u6e08\u307f\u3067\u3059\u3002\u3053\u308c\u304b\u3089\u306f\u3001\u516c\u7406\u30b9\u30ad\u30fc\u30e0\u3068\u57fa\u672c\u63a8\u8ad6\u898f\u5247\u306b\u3064\u3044\u3066\u5c0e\u5165\u3057\u3066\u3044\u304d\u307e\u3059\u3002<\/p>\n<p style=\"text-align: justify;\">\u547d\u984c\u8a08\u7b97\u306e\u6f14\u7e79\u4f53\u7cfb\u3092\u69cb\u7bc9\u3059\u308b\u306b\u3042\u305f\u308a\u3001<strong><a href=\"https:\/\/es.wikipedia.org\/wiki\/Jan_%C5%81ukasiewicz\" rel=\"noopener\" target=\"_blank\">\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1<\/a><\/strong>\u306e<strong>\u516c\u7406<\/strong>\u3092\u51fa\u767a\u70b9\u3068\u3057\u3001\u57fa\u672c\u7684\u306a\u63a8\u8ad6\u898f\u5247\u3068\u3057\u3066<strong>\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9<\/strong>\u3092\u4f7f\u7528\u3057\u307e\u3059\u3002<\/p>\n<p><a name=\"2\"><\/a><\/p>\n<h2>\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=OvoEDefcSZg&amp;t=206s\" target=\"_blank\" rel=\"noopener\"><strong>\u3082\u3057 <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha, \\beta<\/span><\/span> \u304a\u3088\u3073 <span class=\"katex-eq\" data-katex-display=\"false\">\\gamma<\/span> \u304c\u547d\u984c\u8a08\u7b97\u306e\u5f0f\u3067\u3042\u308b\u306a\u3089\u3070\u3001<\/strong><\/a> \u4ee5\u4e0b\u306e\u5f0f\u306f\u547d\u984c\u8a08\u7b97\u306e\u516c\u7406\u3067\u3042\u308b\uff1a<\/p>\n<table>\n<tbody>\n<tr>\n<td>[A1]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow (\\beta \\rightarrow \\alpha))<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td>[A2]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">((\\alpha \\rightarrow (\\beta \\rightarrow \\gamma))\\rightarrow ((\\alpha\\rightarrow \\beta)\\rightarrow(\\alpha \\rightarrow \\gamma)))<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td>[A3]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">((\\neg\\beta \\rightarrow \\neg\\alpha)\\rightarrow(\\alpha\\rightarrow \\beta))<\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p><a name=\"3\"><\/a><\/p>\n<h2>\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\uff1a\u547d\u984c\u8a08\u7b97\u306e\u63a8\u8ad6\u30a8\u30f3\u30b8\u30f3<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=OvoEDefcSZg&amp;t=392s\" target=\"_blank\" rel=\"noopener\"><strong><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u3068 <span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span> \u304c\u547d\u984c\u8a08\u7b97\u306b\u304a\u3051\u308b\u6709\u52b9\u306a\u5f0f\u3067\u3042\u308b\u3068\u3059\u308b\u3002 <\/strong><\/a>\u305d\u306e\u3068\u304d\u3001\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u306f\u3001<span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u304a\u3088\u3073 <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta)<\/span><\/span> \u304b\u3089 <span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span> \u3092\u5c0e\u51fa\u3067\u304d\u308b\u3068\u898f\u5b9a\u3059\u308b\u3002\u3053\u306e\u63a8\u8ad6\u5f62\u5f0f\u306f\u6b21\u306e\u3088\u3046\u306b\u8868\u3055\u308c\u308b\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<caption>\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u306e\u69cb\u9020<\/caption>\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/td>\n<td>; \u524d\u63d0<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta)<\/span><\/span><\/td>\n<td>; \u524d\u63d0<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/td>\n<td>; MP(1,2)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">\u3053\u3053\u3067\u306f\u3001\u30b9\u30c6\u30c3\u30d7 (1) \u3068 (2) \u306e\u9593\u3067\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u3092\u300cMP(1,2)\u300d\u3068\u7565\u8a18\u3057\u3066\u8868\u73fe\u3057\u3066\u304a\u308a\u3001\u5168\u4f53\u306e\u8981\u7d04\u306f\u6b21\u306e\u8a18\u6cd5\u3067\u793a\u3055\u308c\u308b\uff1a<\/p>\n<p style=\"text-align: center;\">\u3057\u305f\u304c\u3063\u3066\u3001<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\alpha, (\\alpha \\rightarrow \\beta)\\}\\vdash \\beta <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">\u307e\u3082\u306a\u304f\u3001\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u3068\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u304b\u3089\u3001\u547d\u984c\u8a08\u7b97\u306e\u3059\u3079\u3066\u306e\u6f14\u7e79\u6280\u6cd5\u3092\u69cb\u7bc9\u3067\u304d\u308b\u3053\u3068\u304c\u5206\u304b\u308b\u3067\u3057\u3087\u3046\u3002\u3053\u308c\u3089\u306f\u65e5\u5e38\u7684\u63a8\u8ad6\u306e\u57fa\u672c\u898f\u5247\u3092\u8981\u7d04\u3057\u3001<strong>\u53e4\u5178\u8ad6\u7406<\/strong>\u306e\u57fa\u790e\u3092\u306a\u3059\u3082\u306e\u3067\u3059\u3002<\/p>\n<p><a name=\"4\"><\/a><\/p>\n<h2>\u63a8\u8ad6\u3001\u5b9a\u7406\u3001\u304a\u3088\u3073\u524d\u63d0<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=OvoEDefcSZg&amp;t=506s\" target=\"_blank\" rel=\"noopener\"><strong>\u547d\u984c\u8ad6\u7406\u306e\u6f14\u7e79\u4f53\u7cfb\u3067\u306f\u3001\u63a8\u8ad6\uff08\u3042\u308b\u3044\u306f\u6f14\u7e79\uff09\u304c\u5b9f\u884c\u3055\u308c\u307e\u3059\u3002<\/strong><\/a>\u3053\u308c\u3089\u306f\u3001\u4e00\u9023\u306e\u5f0f\u306e\u5217\u3067\u3042\u308a\u3001\u5404\u5f0f\u306f\u524d\u63d0\u3067\u3042\u308b\u304b\u3001\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u3068\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u306e\u307f\u3092\u7528\u3044\u3066\u524d\u63d0\u304b\u3089\u5c0e\u304b\u308c\u308b\u5f0f\u3067\u3042\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u5b9a\u7406\u3068\u306f\u3001\u524d\u63d0\u306a\u3057\u3067\u5f97\u3089\u308c\u308b\u6f14\u7e79\u306e\u7d50\u679c\u3067\u3059\u3002\u524d\u63d0\u3068\u306f\u3001\u516c\u7406\u3067\u306f\u306a\u304f\u3001\u516c\u7406\u304b\u3089\u3082\u5c0e\u304b\u308c\u306a\u3044\u4efb\u610f\u306e\u5f0f\u306e\u3053\u3068\u3092\u6307\u3057\u307e\u3059\u3002\u4e00\u822c\u7684\u306b\u3001\u524d\u63d0\u306e\u96c6\u5408\u3092 <span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span>\u3001\u305d\u3053\u304b\u3089\u5c0e\u304b\u308c\u308b\u5f0f\u3092 <span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u3068\u3059\u308b\u3068\u304d\u3001\u6b21\u306e\u3088\u3046\u306b\u8a18\u8ff0\u3057\u307e\u3059\uff1a\u300c<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma \\vdash \\alpha<\/span><\/span>\u300d\u305d\u3057\u3066\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u8a00\u3044\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><em><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span> \u304b\u3089 <\/em><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u304c\u5c0e\u304b\u308c\u308b<\/p>\n<p style=\"text-align: justify;\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span> \u304c\u7a7a\u96c6\u5408\u3067\u3042\u308b\u5834\u5408\u3001\u300c<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\emptyset\\vdash \\alpha<\/span><\/span>\u300d\u3068\u306f\u66f8\u304b\u305a\u3001\u300c<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash \\alpha <\/span><\/span>\u300d\u3068\u66f8\u304d\u307e\u3059\u3002\u3053\u308c\u306f\u300c<span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u306f\u5b9a\u7406\u3067\u3042\u308b\u300d\u3068\u8aad\u307f\u307e\u3059\u3002\u3053\u306e\u5b9a\u7406\u306e\u8868\u8a18\u6cd5\u306f\u3001\u516c\u7406\u306e\u8868\u8a18\u306b\u3082\u62e1\u5f35\u3067\u304d\u3001<span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span>\u3001<span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span>\u3001<span class=\"katex-eq\" data-katex-display=\"false\">\\gamma<\/span> \u304c\u5f0f\u3067\u3042\u308b\u306a\u3089\u3070\u3001\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u306f\u6b21\u306e\u3088\u3046\u306b\u8868\u3055\u308c\u307e\u3059\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>[A1]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\alpha \\rightarrow (\\beta \\rightarrow \\alpha))<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td>[A2]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash((\\alpha \\rightarrow (\\beta \\rightarrow \\gamma))\\rightarrow ((\\alpha\\rightarrow \\beta)\\rightarrow(\\alpha \\rightarrow \\gamma)))<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td>[A3]<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash((\\neg\\beta \\rightarrow \\neg\\alpha)\\rightarrow(\\alpha\\rightarrow \\alpha))<\/span><\/span><\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">\u3053\u306e\u3053\u3068\u304b\u3089\u3001\u516c\u7406\u306f\u305d\u308c\u81ea\u4f53\u3067\u660e\u767d\u306a\u547d\u984c\u3067\u3042\u308b\u3001\u5b9a\u7406\u306f\u7a7a\u304b\u3089\u5c0e\u304b\u308c\u308b\u5f0f\u3067\u3042\u308b\u3001\u3042\u308b\u3044\u306f\u516c\u7406\u3068\u5b9a\u7406\u306f\u547d\u984c\u8a08\u7b97\u306b\u304a\u3051\u308b\u7279\u6027\u3067\u3042\u308b\u3001\u3068\u8a00\u308f\u308c\u308b\u306e\u3067\u3059\u3002<\/p>\n<p><a name=\"5\"><\/a><\/p>\n<h2>\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u8a3c\u660e\u306f\u3069\u306e\u3088\u3046\u306b\u5b9f\u884c\u3055\u308c\u308b\u304b\uff1f<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=OvoEDefcSZg&amp;t=783s\" target=\"_blank\" rel=\"noopener\"><strong>\u3053\u3053\u304b\u3089\u7406\u8ad6\u7684\u306a\u8a71\u3092\u96e2\u308c\u3001\u5b9f\u8df5\u306b\u5165\u308a\u307e\u3059\u3002<\/strong><\/a>\u8a3c\u660e\u306e\u5b9f\u884c\u65b9\u6cd5\u306b\u3064\u3044\u3066\u306f\u3001\u591a\u304f\u306e\u3053\u3068\u3092\u8a9e\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3057\u304b\u3057\u3001\u6f14\u7e79\u4f53\u7cfb\u3084\u547d\u984c\u8ad6\u7406\u306b\u3064\u3044\u3066\u3069\u308c\u307b\u3069\u512a\u308c\u305f\u8aac\u660e\u304c\u306a\u3055\u308c\u3001\u7406\u89e3\u3055\u308c\u3066\u3044\u305f\u3068\u3057\u3066\u3082\u3001\u305d\u308c\u3060\u3051\u3067\u8a3c\u660e\u3092\u5b9f\u884c\u3059\u308b\u305f\u3081\u306b\u5fc5\u8981\u306a\u80fd\u529b\u304c\u81ea\u52d5\u7684\u306b\u8eab\u306b\u3064\u304f\u308f\u3051\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u3002\u305d\u306e\u305f\u3081\u3001\u8a3c\u660e\u306e\u3084\u308a\u65b9\u3092\u6559\u3048\u308b\u306b\u306f\u3001\u307e\u305a\u7c21\u5358\u306a\u5b9a\u7406\u306e\u8a3c\u660e\u3092\u78ba\u8a8d\u3059\u308b\u3053\u3068\u304c\u6709\u52b9\u3067\u3059\u3002<\/p>\n<p style=\"text-align: justify; color: #880000;\"><strong>\u5b9a\u7406<\/strong><\/p>\n<p style=\"text-align: justify;\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u304c\u547d\u984c\u8ad6\u7406\u306e\u5f0f\u3067\u3042\u308b\u306a\u3089\u3070\u3001\u6b21\u304c\u6210\u308a\u7acb\u3061\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\alpha\\rightarrow \\alpha)<\/span><\/span><\/p>\n<p style=\"text-align: justify; color: #000088;\"><strong>\u8a3c\u660e<\/strong><\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> (\\alpha\\rightarrow ( \\alpha \\rightarrow \\alpha)) <\/span><\/span><\/td>\n<td>; A1<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> (\\alpha\\rightarrow ((\\alpha\\rightarrow \\alpha)\\rightarrow\\alpha)) <\/span><\/span><\/td>\n<td>; A1<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> ( (\\alpha\\rightarrow((\\alpha\\rightarrow\\alpha)\\rightarrow\\alpha)) \\rightarrow ((\\alpha\\rightarrow (\\alpha\\rightarrow\\alpha))\\rightarrow( \\alpha\\rightarrow \\alpha))) <\/span><\/span><\/td>\n<td>; A2<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> ((\\alpha\\rightarrow (\\alpha\\rightarrow\\alpha))\\rightarrow( \\alpha\\rightarrow \\alpha)) <\/span><\/span><\/td>\n<td>; MP(2,3)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> ( \\alpha\\rightarrow \\alpha) <\/span><\/span><\/td>\n<td>; MP(1,5)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: center;\">\u3057\u305f\u304c\u3063\u3066\u3001<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\alpha\\rightarrow\\alpha)<\/span><\/span><\/p>\n<p>\u8a3c\u660e\u7d42\u308f\u308a\u3002<\/p>\n<p style=\"text-align: justify;\">\u898b\u3066\u306e\u901a\u308a\u3001\u6f14\u7e79\u4f53\u7cfb\u304a\u3088\u3073\u547d\u984c\u8ad6\u7406\u306b\u304a\u3044\u3066\u8a3c\u660e\u306f\u6c7a\u3057\u3066\u81ea\u660e\u306a\u3082\u306e\u3067\u306f\u3042\u308a\u307e\u305b\u3093\u304c\u3001\u4e00\u5ea6\u69cb\u7bc9\u3055\u308c\u308c\u3070\u3001\u305d\u308c\u3092\u518d\u73fe\u3059\u308b\u306e\u306f\u5bb9\u6613\u3067\u3059\u3002<\/p>\n<p style=\"text-align: justify;\">\u3055\u3066\u3001\u3053\u308c\u3089\u306e\u6280\u6cd5\u3092\u4f7f\u3063\u3066\u672c\u683c\u7684\u306b\u6f14\u7e79\u3092\u884c\u3046\u524d\u306b\u3001\u307e\u305a\u306f\u305d\u308c\u3092\u52b9\u679c\u7684\u306b\u884c\u3046\u305f\u3081\u306b\u975e\u5e38\u306b\u6709\u7528\u3068\u306a\u308b\u3044\u304f\u3064\u304b\u306e\u6027\u8cea\u3084\u5b9a\u7fa9\u3092\u7d39\u4ecb\u3057\u307e\u3059\u3002\u3068\u3044\u3046\u306e\u3082\u3001\u3082\u3057\u3053\u308c\u3089\u3060\u3051\u306b\u983c\u3063\u3066\u63a8\u8ad6\u3057\u3088\u3046\u3068\u3059\u308b\u3068\u3001\u6df1\u523b\u306a\u554f\u984c\u306b\u76f4\u9762\u3059\u308b\u3053\u3068\u306b\u306a\u308b\u304b\u3089\u3067\u3059\u3002<\/p>\n<p><a name=\"6\"><\/a><\/p>\n<h2>\u8a3c\u660e\u3055\u308c\u305f\u540c\u5024\u306e\u6982\u5ff5<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=OvoEDefcSZg&amp;t=1191s\" target=\"_blank\" rel=\"noopener\"><strong><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u3068 <span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span> \u304c\u4efb\u610f\u306e\u5f0f\u3067\u3042\u308a\u3001\u6b21\u306e\u4e21\u65b9\u304c\u6210\u308a\u7acb\u3064\u3068\u304d\uff1a<\/strong><\/a><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\}\\vdash \\beta<\/span><\/span> \u304b\u3064 <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\beta\\} \\vdash \\alpha<\/span><\/span>\u3001\u3053\u306e\u3068\u304d <span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u3068 <span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span> \u306f**\u8a3c\u660e\u306b\u304a\u3044\u3066\u540c\u5024**\u3067\u3042\u308b\u3068\u8a00\u3044\u3001\u6b21\u306e\u3088\u3046\u306b\u8a18\u8ff0\u3055\u308c\u307e\u3059\uff1a<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha \\dashv \\vdash \\beta<\/span><\/span>\u3002\u3053\u308c\u306f\u6b21\u306e\u3088\u3046\u306b\u8a18\u53f7\u7684\u306b\u8981\u7d04\u3055\u308c\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\left(\\{\\alpha\\}\\vdash\\beta \\wedge \\{\\beta\\}\\vdash\\alpha \\right) \\Leftrightarrow \\left(\\alpha\\dashv\\vdash\\beta\\right)<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u306f\u6b21\u306e\u3088\u3046\u306b\u8aad\u307f\u307e\u3059\uff1a <span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u304b\u3089 <span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span> \u304c\u5c0e\u304b\u308c\u3001<span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span> \u304b\u3089 <span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u304c\u5c0e\u304b\u308c\u308b\u3001**\u305d\u306e\u5834\u5408\u306b\u9650\u308a**\u3001<span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u3068 <span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span> \u306f\u8a3c\u660e\u306b\u304a\u3044\u3066\u540c\u5024\u3067\u3042\u308b\u3002<\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u306f\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u30e1\u30bf\u6027\u8cea\u306e\u3072\u3068\u3064\u3067\u3059\u3002<\/p>\n<p><a name=\"7\"><\/a><\/p>\n<h2>\uff08\u30e1\u30bf\uff09\u6f14\u7e79\u5b9a\u7406<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=OvoEDefcSZg&amp;t=1355s\" target=\"_blank\" rel=\"noopener\"><strong><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u304a\u3088\u3073 <span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span> \u304c\u547d\u984c\u8a08\u7b97\u306b\u304a\u3051\u308b\u5f0f\u3067\u3042\u308a\u3001<\/strong><\/a> <span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span> \u304c\u524d\u63d0\u306e\u96c6\u5408\u3067\u3042\u308b\u3068\u3059\u308b\u3002\u305d\u306e\u3068\u304d\u3001<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma \\cup \\{\\alpha\\}<\/span><\/span> \u304b\u3089 <span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span> \u304c\u5c0e\u304b\u308c\u308b\u306a\u3089\u3070\u3001<span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span> \u304b\u3089 <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta)<\/span><\/span> \u304c\u5c0e\u304b\u308c\u308b\u3002\u3053\u308c\u306f\u6b21\u306e\u3088\u3046\u306b\u8a18\u53f7\u3067\u8868\u3055\u308c\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span class=\"katex-eq\" data-katex-display=\"false\">\\left(\\Gamma \\cup \\{\\alpha\\}\\vdash \\beta \\right) \\Rightarrow \\left( \\Gamma\\vdash(\\alpha\\rightarrow\\beta)\\right)<\/span>\n<p style=\"text-align: justify; color: #880000;\"><strong>\u8a3c\u660e\uff1a<\/strong><\/p>\n<p style=\"text-align: justify;\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma \\cup \\{\\alpha\\}\\vdash \\beta<\/span> \u304c\u6210\u308a\u7acb\u3064\u305f\u3081\u306b\u306f\u3001\u6b21\u306e\u3088\u3046\u306a\u5f62\u306e\u6f14\u7e79\u304c\u5b58\u5728\u3059\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma_1<\/span><\/span><\/td>\n<td>; <span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span> \u306e\u524d\u63d01<\/td>\n<\/tr>\n<tr>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdots<\/span><\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdots<\/span><\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>(n)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma_n<\/span><\/span><\/td>\n<td>; <span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span> \u306e\u524d\u63d0n<\/td>\n<\/tr>\n<tr>\n<td>(n+1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\overline{\\gamma}_1<\/span><\/span><\/td>\n<td>; \u524d\u306e\u3044\u305a\u308c\u304b\u306e\u884c\u3068\u306e\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9<\/td>\n<\/tr>\n<tr>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdots<\/span><\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdots<\/span><\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>(n+m)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\overline{\\gamma}_m<\/span><\/span><\/td>\n<td>; \u524d\u306e\u3044\u305a\u308c\u304b\u306e\u884c\u3068\u306e\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9<\/td>\n<\/tr>\n<tr>\n<td>(n+m+1)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/td>\n<td>; \u524d\u63d0<\/td>\n<\/tr>\n<tr>\n<td>(n+m+2)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/td>\n<td>; \u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9 (n+m+1, \u305d\u308c\u4ee5\u524d\u306e\u30b9\u30c6\u30c3\u30d7\u306e\u3044\u305a\u308c\u304b)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: center;\">\u3057\u305f\u304c\u3063\u3066\u3001<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\Gamma\\cup\\{\\alpha\\} \\vdash \\beta <\/span><\/span><\/p>\n<p style=\"text-align: justify;\">\u3053\u306e\u3053\u3068\u304c\u53ef\u80fd\u3067\u3042\u308b\u305f\u3081\u306b\u306f\u3001\u5f0f <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma_1, \\cdots \\gamma_n,\\overline{\\gamma_1},\\cdots,\\overline{\\gamma_m}<\/span><\/span> \u306e\u5c11\u306a\u304f\u3068\u30821\u3064\u304c <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha\\rightarrow \\beta)<\/span><\/span> \u306e\u5f62\u3067\u3042\u308b\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u3057\u304b\u3057\u3001\u3053\u308c\u3089\u306e\u884c\u306f\u3059\u3079\u3066 <span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span> \u306e\u8981\u7d20\u304a\u3088\u3073\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u306e\u307f\u3092\u7528\u3044\u3066\u5c0e\u304b\u308c\u3066\u3044\u308b\u305f\u3081\u3001<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma\\vdash (\\alpha \\rightarrow \\beta)<\/span><\/span> \u304c\u6210\u308a\u7acb\u3064\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002\u3088\u3063\u3066\u3001\u5b9a\u7406\u304c\u8a3c\u660e\u3055\u308c\u305f\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<p>\u8a3c\u660e\u7d42\u308f\u308a\u3002<\/p>\n<p><a name=\"8\"><\/a><\/p>\n<h2>\u6f14\u7e79\u5b9a\u7406\u306e\u9006<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=OvoEDefcSZg&amp;t=1668s\" target=\"_blank\" rel=\"noopener\"><strong>\u6f14\u7e79\u5b9a\u7406\u3068\u540c\u69d8\u306e\u6761\u4ef6\u306b\u304a\u3044\u3066\u3001\u6b21\u304c\u6210\u308a\u7acb\u3061\u307e\u3059\uff1a<\/strong><\/a><\/p>\n<p style=\"text-align: center;\"><span class=\"katex-eq\" data-katex-display=\"false\">\n\\left(\\Gamma\\vdash(\\alpha \\rightarrow \\beta)\\right) \\Rightarrow \\left( \\Gamma \\cup \\{\\alpha\\}\\vdash \\beta \\right)\n\n<\/span>\n<p style=\"text-align: justify; color: #880000;\"><strong>\u8a3c\u660e\uff1a<\/strong><\/p>\n<p style=\"text-align: justify;\">\u3082\u3057 <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma\\vdash (\\alpha\\rightarrow \\beta)<\/span><\/span> \u304c\u6210\u308a\u7acb\u3064\u306a\u3089\u3070\u3001\u6b21\u306e\u3088\u3046\u306a\u5f62\u306e\u6f14\u7e79\u304c\u5b58\u5728\u3057\u307e\u3059\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma_1<\/span><\/span><\/td>\n<td>; <span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span> \u306e\u524d\u63d01<\/td>\n<\/tr>\n<tr>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdots<\/span><\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdots<\/span><\/td>\n<td><\/td>\n<\/tr>\n<tr>\n<td>(n)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma_n<\/span><\/span><\/td>\n<td>; <span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span> \u306e\u524d\u63d0n<\/td>\n<\/tr>\n<tr>\n<td>(n+1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta)<\/span><\/span><\/td>\n<td>; \u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\uff08\u4e0a\u306e\u3069\u3053\u304b\u306e\u884c\u306e\u7d44\u304b\u3089\uff09<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">\u3053\u306e\u63a8\u8ad6\u306b <span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u3092\u8ffd\u52a0\u306e\u524d\u63d0\u3068\u3057\u3066\u52a0\u3048\u308b\u3068\u3001\u6b21\u306e\u3088\u3046\u306a\u884c\u304c\u5f97\u3089\u308c\u307e\u3059\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(n+2)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span><\/td>\n<td>; \u8ffd\u52a0\u306e\u524d\u63d0<\/td>\n<\/tr>\n<tr>\n<td>(n+3)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/td>\n<td>; MP(n+1,n+2)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: center;\">\u3057\u305f\u304c\u3063\u3066\u3001<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\Gamma \\cup \\{\\alpha\\} \\vdash \\beta<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u304c\u8a3c\u660e\u3059\u3079\u304d\u3053\u3068\u3067\u3042\u3063\u305f\u3002<\/p>\n<p>\u8a3c\u660e\u7d42\u308f\u308a\u3002<br \/>\n<a name=\"9\"><\/a><\/p>\n<h2>\u5f0f\u306b\u95a2\u3059\u308b\u6f14\u7e79\u3068\u3001\u6f14\u7e79\u306b\u95a2\u3059\u308b\u6f14\u7e79<\/h2>\n<p style=\"text-align: justify;\">\u5148\u306b\u793a\u3057\u305f <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\alpha\\rightarrow \\alpha)<\/span><\/span> \u3068\u3044\u3046\u7d50\u679c\u306b\u81f3\u308b\u8a3c\u660e\u306f\u3001\u300c\u5f0f\u306b\u57fa\u3065\u304f\u6f14\u7e79\u300d\u306e\u4e00\u4f8b\u3067\u3059\u3002\u306a\u305c\u306a\u3089\u5404\u30b9\u30c6\u30c3\u30d7\u304c\u5177\u4f53\u7684\u306a\u5f0f\u3092\u542b\u3093\u3067\u3044\u308b\u304b\u3089\u3067\u3059\u3002\u540c\u69d8\u306b\u3001\u300c\u6f14\u7e79\u306b\u57fa\u3065\u304f\u6f14\u7e79\u300d\u3082\u69cb\u6210\u53ef\u80fd\u3067\u3042\u308a\u3001\u305d\u306e\u5834\u5408\u3001\u5404\u30b9\u30c6\u30c3\u30d7\u306f\u305d\u308c\u81ea\u4f53\u304c\u4e00\u3064\u306e\u6f14\u7e79\u3068\u306a\u308a\u307e\u3059\u3002\u5b9f\u969b\u306b\u306f\u3001\u4e21\u8005\u306f\u985e\u4f3c\u3057\u305f\u624b\u7d9a\u304d\u3067\u884c\u308f\u308c\u307e\u3059\u304c\u3001\u5f8c\u8005\u3067\u306f\u6f14\u7e79\u5b9a\u7406\u3068\u305d\u306e\u9006\u3092\u6d3b\u7528\u3067\u304d\u308b\u305f\u3081\u3001\u63a8\u8ad6\u6280\u6cd5\u306b\u5927\u304d\u306a\u67d4\u8edf\u6027\u304c\u3082\u305f\u3089\u3055\u308c\u307e\u3059\u3002\u3053\u308c\u3092\u78ba\u8a8d\u3059\u308b\u305f\u3081\u306b\u3001\u3082\u3046\u4e00\u5ea6 <span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\alpha \\rightarrow \\alpha)<\/span><\/span> \u3092\u8a3c\u660e\u3057\u3066\u307f\u307e\u3057\u3087\u3046\u3002\u305f\u3060\u3057\u3001\u4eca\u5ea6\u306f\u5f0f\u306e\u5217\u3067\u306f\u306a\u304f\u3001\u6f14\u7e79\u306e\u5217\u3068\u3057\u3066\u884c\u3044\u307e\u3059\u3002\u305d\u306e\u4e00\u4f8b\u306f\u4ee5\u4e0b\u306e\u901a\u308a\u3067\u3059\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\alpha \\rightarrow (\\alpha \\rightarrow \\alpha))<\/span><\/span><\/td>\n<td>; A1<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\}\\vdash ( \\alpha \\rightarrow \\alpha)<\/span><\/span><\/td>\n<td>; RTD(1)<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\}\\cup \\{\\alpha\\}\\vdash \\alpha<\/span><\/span><\/td>\n<td>; RTD(2)<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\}\\vdash \\alpha<\/span><\/span><\/td>\n<td>; \u6ce8\u610f\uff1a<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\}\\cup\\{\\alpha\\}=\\{\\alpha\\}<\/span><\/span><\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\alpha\\rightarrow \\alpha)<\/span><\/span><\/td>\n<td>; TD(4)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">\u3053\u306e\u63a8\u8ad6\u306f\u3001\u4ee5\u524d\u306b\u884c\u3063\u305f\u3082\u306e\u3088\u308a\u3082\u77ed\u304f\u306f\u3042\u308a\u307e\u305b\u3093\u304c\u3001\u3088\u308a\u5bb9\u6613\u306b\u69cb\u7bc9\u3067\u304d\u307e\u3059\u3002\u306a\u305c\u306a\u3089\u3001\u6f14\u7e79\u5b9a\u7406\u3001\u305d\u306e\u9006\u3001\u304a\u3088\u3073\u516c\u7406\u30b9\u30ad\u30fc\u30e0 A1 \u306e\u307f\u3092\u7528\u3044\u3066\u3044\u308b\u304b\u3089\u3067\u3059\u3002<\/p>\n<p style=\"text-align: justify;\">\u4e00\u898b\u3059\u308b\u3068\u3001\u3053\u306e\u5c55\u958b\u3067\u306f\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u306e\u3046\u30611\u3064\u3057\u304b\u4f7f\u7528\u3057\u3066\u304a\u3089\u305a\u3001\u4ed6\u306e\u516c\u7406\u3084\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u3092\u307e\u3063\u305f\u304f\u4f7f\u3063\u3066\u3044\u306a\u3044\u3088\u3046\u306b\u601d\u3048\u307e\u3059\u3002\u3067\u306f\u3001\u3053\u306e\u63a8\u8ad6\u65b9\u6cd5\u306b\u3088\u3063\u3066\u4ed6\u306e\u516c\u7406\u3084\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u3092\u5fd8\u308c\u3066\u3057\u307e\u3063\u3066\u3082\u3088\u3044\u306e\u3067\u3057\u3087\u3046\u304b\uff1f\u7b54\u3048\u306f\u300c\u306f\u3044\u300d\u3068\u300c\u3044\u3044\u3048\u300d\u306e\u4e21\u65b9\u3067\u3059\u3002\u4e00\u65b9\u3067\u3001\u660e\u793a\u7684\u306b\u4f7f\u7528\u3057\u306a\u3044\u305f\u3081\u3001\u4f7f\u7528\u3057\u3066\u3044\u306a\u3044\u304b\u306e\u3088\u3046\u306b\u6271\u3046\u3053\u3068\u306f\u53ef\u80fd\u3067\u3059\u3002\u3057\u304b\u3057\u4ed6\u65b9\u3067\u3001\u6f14\u7e79\u5b9a\u7406\u304a\u3088\u3073\u305d\u306e\u9006\u306f\u3001\u307e\u3055\u306b\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u3068\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u304b\u3089\u5c0e\u304b\u308c\u308b\u7d50\u679c\u3067\u3042\u308b\u305f\u3081\u3001\u305d\u308c\u3089\u3092\u4f7f\u7528\u3059\u308b\u3053\u3068\u306f\u3001\u6697\u9ed9\u306e\u3046\u3061\u306b\u3053\u308c\u3089\u306e\u69cb\u6210\u8981\u7d20\u3092\u4f7f\u7528\u3057\u3066\u3044\u308b\u3053\u3068\u306b\u306a\u308b\u306e\u3067\u3059\u3002<\/p>\n<p><a name=\"10\"><\/a><\/p>\n<h2>\u5358\u8abf\u6027\u306e\u898f\u5247<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=OvoEDefcSZg&amp;t=1972s\" target=\"_blank\" rel=\"noopener\"><strong><span class=\"katex-eq\" data-katex-display=\"false\">\\tau<\/span> \u304c\u5b9a\u7406\u3067\u3042\u308b\u3068\u3059\u308b\u3068\u3001<\/strong><\/a> \u4efb\u610f\u306e\u5f0f <span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span> \u306b\u5bfe\u3057\u3066\u6b21\u304c\u6210\u308a\u7acb\u3061\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\beta\\}\\vdash\\tau<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u306f\u975e\u5e38\u306b\u7c21\u5358\u306b\u8a3c\u660e\u3067\u304d\u308b\u898f\u5247\u3067\u3059\u3002\u306a\u305c\u306a\u3089 <span class=\"katex-eq\" data-katex-display=\"false\">\\tau<\/span> \u304c\u5b9a\u7406\u3067\u3042\u308b\u3068\u3044\u3046\u3053\u3068\u306f\u3001<span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash \\tau<\/span><\/span> \u304c\u6210\u308a\u7acb\u3064\u3001\u3059\u306a\u308f\u3061\u3001\u524d\u63d0\u3092\u52a0\u3048\u308b\u3053\u3068\u306a\u304f <span class=\"katex-eq\" data-katex-display=\"false\">\\tau<\/span> \u306b\u5230\u9054\u3059\u308b\u63a8\u8ad6\u304c\u5b58\u5728\u3059\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u3057\u305f\u304c\u3063\u3066\u3001\u7a7a\u96c6\u5408\u306b\u5f0f <span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span> \u3092\u8ffd\u52a0\u3057\u3066\u3082\u3001\u7d50\u8ad6\u306b\u306f\u5f71\u97ff\u3092\u4e0e\u3048\u307e\u305b\u3093\u3002<\/p>\n<p style=\"text-align: justify;\">\u3053\u308c\u3068\u985e\u4f3c\u306e\u7d50\u679c\u3068\u3057\u3066\u3001\u6b21\u306e\u3053\u3068\u3082\u8a00\u3048\u307e\u3059\u3002\u3082\u3057\u524d\u63d0\u306e\u96c6\u5408 <span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma<\/span> \u304b\u3089 <span class=\"katex-eq\" data-katex-display=\"false\">\\gamma<\/span> \u304c\u5c0e\u304b\u308c\u308b\u306a\u3089\u3070\u3001<\/p>\n<p style=\"text-align: center;\"><span dir=\"ltr\"><span class=\"katex-eq\" data-katex-display=\"false\">\\Gamma\\cup\\{\\alpha\\}\\vdash\\gamma<\/span><\/span><\/p>\n<p style=\"text-align: justify;\">\u304c\u6210\u308a\u7acb\u3061\u307e\u3059\u3002\u3053\u3053\u3067 <span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span> \u306f\u4efb\u610f\u306e\u5f0f\u3067\u3059\u3002<\/p>\n<p><a name=\"11\"><\/a><\/p>\n<h2>\u6f14\u7e79\u4f53\u7cfb\u3068\u547d\u984c\u8ad6\u7406\u306b\u95a2\u3059\u308b\u7dcf\u62ec\u3068\u8003\u5bdf<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=OvoEDefcSZg&amp;t=1933s\" target=\"_blank\" rel=\"noopener\"><strong>\u547d\u984c\u8ad6\u7406\u306e\u8a00\u8a9e\u306b\u63a8\u8ad6\u898f\u5247\u3068\u57fa\u672c\u5f0f\u3092\u4e0e\u3048\u308b\u3068\uff1a<\/strong><\/a> \u3059\u306a\u308f\u3061\u3001\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u3068\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u3092\u4e0e\u3048\u308b\u3068\u3001\u305d\u308c\u306f\u300c\u6f14\u7e79\u6a5f\u68b0\u300d\u3092\u69cb\u7bc9\u3057\u3001\u52d5\u529b\u6e90\u3092\u4e0e\u3048\u3066\u305d\u306e\u6a5f\u68b0\u3092\u7a3c\u50cd\u3055\u305b\u308b\u306e\u3068\u540c\u3058\u3053\u3068\u306b\u306a\u308a\u307e\u3059\u3002\u3053\u3053\u304b\u3089\u81ea\u7136\u306b\u3001\u3059\u3079\u3066\u306e\u57fa\u672c\u7684\u306a\u6f14\u7e79\u898f\u5247\u304c\u73fe\u308c\u59cb\u3081\u307e\u3059\u3002\u3053\u308c\u3089\u306b\u3064\u3044\u3066\u306f\u3001\u6b21\u56de\u4ee5\u964d\u306e\u8b1b\u7fa9\u3067\u9806\u306b\u691c\u8a0e\u3057\u3066\u3044\u304d\u307e\u3059\u3002<\/p>\n<p style=\"text-align: justify;\">\u3082\u3046\u4e00\u3064\u91cd\u8981\u306a\u70b9\u3068\u3057\u3066\u3001\u547d\u984c\u8ad6\u7406\u306e\u5f0f\u306f\u3001\u4ee5\u524d\u5b66\u7fd2\u3057\u305f2\u3064\u306e\u8a18\u53f7\u306e\u8a00\u8a9e\u306b\u304a\u3051\u308b\u30e1\u30bf\u8868\u73fe\u3067\u3042\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u3053\u308c\u3089\u306e\u30e1\u30bf\u8868\u73fe\u306e\u5f37\u307f\u306f\u3001\u30e1\u30bf\u5909\u9805\u306b\u4efb\u610f\u306e\u5f0f\u3092\u4ee3\u5165\u3057\u3066\u3001\u305d\u306e\u69cb\u9020\u3092\u6e80\u305f\u3059\u65b0\u305f\u306a\u5f0f\u3092\u69cb\u7bc9\u3067\u304d\u308b\u70b9\u306b\u3042\u308a\u307e\u3059\u3002\u547d\u984c\u8ad6\u7406\u306e\u8a00\u8a9e\u306b\u516c\u7406\u30b9\u30ad\u30fc\u30e0\u3068\u63a8\u8ad6\u898f\u5247\u3092\u5c0e\u5165\u3059\u308b\u3053\u3068\u306b\u3088\u3063\u3066\u3001\u547d\u984c\u8ad6\u7406\u306e\u6f14\u7e79\u4f53\u7cfb\u304c\u69cb\u7bc9\u3055\u308c\u3001\u8868\u73fe\u3092\u7d50\u3073\u3064\u3051\u308b\u63a8\u8ad6\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002\u305d\u306e\u7d50\u679c\u3068\u3057\u3066\u3001\u7121\u9650\u306b\u591a\u304f\u306e\u63a8\u8ad6\u3092\u542b\u3080\u3053\u3068\u304c\u3067\u304d\u308b\u6f14\u7e79\u30b9\u30ad\u30fc\u30e0\u304c\u5f97\u3089\u308c\u307e\u3059\u3002\u306a\u305c\u306a\u3089\u3001\u4efb\u610f\u306e\u30e1\u30bf\u5909\u9805\u3092\u4efb\u610f\u306e\u5f0f\u3067\u7f6e\u304d\u63db\u3048\u308b\u3053\u3068\u306b\u3088\u3063\u3066\u3001\u305d\u308c\u3089\u3059\u3079\u3066\u306e\u6f14\u7e79\u3092\u751f\u6210\u3067\u304d\u308b\u304b\u3089\u3067\u3059\u3002\u8ad6\u7406\u306e\u771f\u306e\u529b\u304c\u767a\u63ee\u3055\u308c\u308b\u306e\u306f\u3001\u79c1\u305f\u3061\u304c\u3053\u306e2\u8a18\u53f7\u8a00\u8a9e\u306e\u5f0f\u3060\u3051\u3067\u306a\u304f\u3001\u305d\u308c\u3092\u81ea\u7136\u8a00\u8a9e\u306e\u8868\u73fe\u306b\u7f6e\u304d\u63db\u3048\u305f\u3068\u304d\u306b\u4f55\u304c\u8d77\u3053\u308b\u306e\u304b\u3092\u89b3\u5bdf\u3057\u59cb\u3081\u305f\u3068\u304d\u306a\u306e\u3067\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb \u8981\u7d04\uff1a\u3053\u306e\u6388\u696d\u3067\u306f\u3001\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306b\u3064\u3044\u3066\u518d\u691c\u8a0e\u3057\u307e\u3059\u3002\u3053\u308c\u3089\u306e\u4f53\u7cfb\u304c\u3001\u7570\u306a\u308b\u8ad6\u7406\u5f0f\u306e\u9593\u306b\u5b58\u5728\u3057\u3046\u308b\u95a2\u4fc2\u3092\u89e3\u660e\u3059\u308b\u305f\u3081\u306b\u3069\u306e\u3088\u3046\u306b\u7528\u3044\u3089\u308c\u308b\u304b\u3001\u305d\u3057\u3066\u8a3c\u660e\u3092\u69cb\u6210\u3059\u308b\u305f\u3081\u306e\u57fa\u672c\u8981\u7d20\u2014\u2014\u8a00\u8a9e\u3001\u516c\u7406\u3001\u63a8\u8ad6\u898f\u5247\u2014\u2014\u306b\u3064\u3044\u3066\u8aac\u660e\u3057\u307e\u3059\u3002\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u304c\u7d39\u4ecb\u3055\u308c\u3001\u547d\u984c\u8a08\u7b97\u306b\u304a\u3051\u308b\u63a8\u8ad6\u306e\u539f\u52d5\u529b\u3068\u3057\u3066\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u304c\u89e3\u8aac\u3055\u308c\u307e\u3059\u3002\u3055\u3089\u306b\u3001\u63a8\u8ad6\u30fb\u5b9a\u7406\u30fb\u524d\u63d0\u3068\u3044\u3046\u6982\u5ff5\u306b\u3082\u89e6\u308c\u3001\u6f14\u7e79\u4f53\u7cfb\u306b\u304a\u3051\u308b\u8a3c\u660e\u306e\u5b9f\u884c\u65b9\u6cd5\u304c\u793a\u3055\u308c\u307e\u3059\u3002 \u5b66\u7fd2\u76ee\u6a19\uff1a \u7406\u89e3\u3059\u308b\uff1a\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u6982\u5ff5\u3092\u3002 \u8b58\u5225\u3059\u308b\uff1a\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u57fa\u672c\u69cb\u6210\u8981\u7d20\u3092\u3002 \u628a\u63e1\u3059\u308b\uff1a\u547d\u984c\u8a08\u7b97\u306b\u304a\u3051\u308b\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u3092\u3002 \u7406\u89e3\u3059\u308b\uff1a\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u304c\u547d\u984c\u8a08\u7b97\u306e\u63a8\u8ad6\u30a8\u30f3\u30b8\u30f3\u3067\u3042\u308b\u3053\u3068\u3092\u3002 \u7406\u89e3\u3059\u308b\uff1a\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306b\u304a\u3051\u308b\u8a3c\u660e\u306e\u5b9f\u884c\u65b9\u6cd5\u3068\u3001\u524d\u63d0\u30fb\u63a8\u8ad6\u30fb\u5b9a\u7406\u306e\u9055\u3044\u3092\u3002 \u7406\u89e3\u3059\u308b\uff1a\u516c\u7406\u30b9\u30ad\u30fc\u30e0\u3068\u63a8\u8ad6\u898f\u5247\u3092\u901a\u3058\u3066\u3001\u3044\u304b\u306b\u3057\u3066\u6f14\u7e79\u304c\u751f\u6210\u3055\u308c\u308b\u304b\u3092\u3002 \u8a8d\u8b58\u3059\u308b\uff1a\u8ad6\u7406\u304c\u8868\u73fe\u9593\u306e\u95a2\u4fc2\u3092\u63a5\u7d9a\u3057\u3001\u81ea\u7136\u8a00\u8a9e\u306e\u8868\u73fe\u3078\u7f6e\u304d\u63db\u3048\u308b\u80fd\u529b\u3092\u3002 \u5185\u5bb9\u76ee\u6b21\uff1a \u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u3068\u306f\u4f55\u304b\uff1f \u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406 \u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\uff1a\u547d\u984c\u8a08\u7b97\u306e\u63a8\u8ad6\u30a8\u30f3\u30b8\u30f3 \u63a8\u8ad6\u30fb\u5b9a\u7406\u30fb\u524d\u63d0 \u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u8a3c\u660e\u306f\u3069\u306e\u3088\u3046\u306b\u5b9f\u884c\u3055\u308c\u308b\u304b\uff1f \u8a3c\u660e\u3055\u308c\u305f\u540c\u5024\u6982\u5ff5 \uff08\u30e1\u30bf\uff09\u6f14\u7e79\u5b9a\u7406 \u6f14\u7e79\u5b9a\u7406\u306e\u9006 \u8868\u73fe\u306b\u95a2\u3059\u308b\u6f14\u7e79\u3068\u3001\u6f14\u7e79\u306b\u95a2\u3059\u308b\u6f14\u7e79 \u5358\u8abf\u6027\u306e\u898f\u5247 \u6f14\u7e79\u4f53\u7cfb\u3068\u547d\u984c\u8ad6\u7406\u306b\u95a2\u3059\u308b\u7dcf\u62ec\u3068\u8003\u5bdf \u8ad6\u7406\u5b66\u306e\u5b66\u7fd2\u306b\u304a\u3044\u3066\u3001\u79c1\u305f\u3061\u306f\u8ee2\u63db\u70b9\u306b\u5230\u9054\u3057\u307e\u3057\u305f\u3002\u3053\u3053\u304b\u3089\u547d\u984c\u8ad6\u7406\u306e\u6f14\u7e79\u4f53\u7cfb\u306e\u691c\u8a0e\u304c\u59cb\u307e\u308a\u307e\u3059\u3002\u3053\u3053\u3067\u306f\u3001\u3053\u308c\u307e\u3067\u5b66\u3093\u3060\u5185\u5bb9\u304c\u5b9f\u8df5\u7684\u306b\u6a5f\u80fd\u3057\u59cb\u3081\u3001\u8ad6\u7406\u306e\u771f\u306e\u7cbe\u795e\u304c\u73fe\u308c\u307e\u3059\u3002\u306a\u305c\u306a\u3089\u3001\u8a3c\u660e\u306e\u672c\u8cea\u3092\u63a2\u6c42\u3059\u308b\u304b\u3089\u3067\u3059\u3002\u3053\u306e\u6bb5\u968e\u3067\u306f\u3001\u3059\u3067\u306b\u8ad6\u7406\u5f0f\u306e\u66f8\u304d\u65b9\u3084\u547d\u984c\u8ad6\u7406\u306e\u6982\u8981\u3092\u7406\u89e3\u3057\u3066\u3044\u308b\u3053\u3068\u304c\u524d\u63d0\u3067\u3059\u3002\u3082\u3057\u5b8c\u5168\u306b\u7406\u89e3\u3067\u304d\u3066\u3044\u306a\u3044\u5834\u5408\u306f\u3001\u3053\u306e\u6388\u696d\u306e\u524d\u306b\u884c\u308f\u308c\u305f\u8b1b\u7fa9\u3092\u898b\u76f4\u3059\u3053\u3068\u3092\u304a\u52e7\u3081\u3057\u307e\u3059\u3002 \u3053\u306e\u6e96\u5099\u304c\u6574\u3063\u305f\u5f8c\u3001\u6b21\u306b\u9032\u3080\u3079\u304d\u306f\u3001\u547d\u984c\u8ad6\u7406\u306e\u8868\u73fe\u304c\u3069\u306e\u3088\u3046\u306b\u76f8\u4e92\u306b\u95a2\u4fc2\u3057\u3066\u6f14\u7e79\u3092\u69cb\u6210\u3059\u308b\u306e\u304b\u3092\u691c\u8a0e\u3059\u308b\u3053\u3068\u3067\u3059\u3002\u305d\u306e\u95a2\u4fc2\u3092\u69cb\u7bc9\u3059\u308b\u305f\u3081\u306e\u4ed5\u7d44\u307f\u304c\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306a\u306e\u3067\u3059\u3002 \u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u3068\u306f\u4f55\u304b\uff1f \u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u3001\u307e\u305f\u306f\u6f14\u7e79\u8a08\u7b97\u4f53\u7cfb\u306b\u306f\u3001\u4ee5\u4e0b\u306e3\u3064\u306e\u57fa\u672c\u7684\u69cb\u6210\u8981\u7d20\u304c\u3042\u308a\u307e\u3059\uff1a \u5f62\u5f0f\u8a00\u8a9e\u3002 \u516c\u7406\u30b9\u30ad\u30fc\u30e0\u3002 \u57fa\u672c\u7684\u306a\u63a8\u8ad6\u898f\u5247\u3002 \u5f62\u5f0f\u8a00\u8a9e\u306b\u95a2\u3057\u3066\u306f\u3059\u3067\u306b\u5b66\u7fd2\u6e08\u307f\u3067\u3059\u3002\u3053\u308c\u304b\u3089\u306f\u3001\u516c\u7406\u30b9\u30ad\u30fc\u30e0\u3068\u57fa\u672c\u63a8\u8ad6\u898f\u5247\u306b\u3064\u3044\u3066\u5c0e\u5165\u3057\u3066\u3044\u304d\u307e\u3059\u3002 \u547d\u984c\u8a08\u7b97\u306e\u6f14\u7e79\u4f53\u7cfb\u3092\u69cb\u7bc9\u3059\u308b\u306b\u3042\u305f\u308a\u3001\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406\u3092\u51fa\u767a\u70b9\u3068\u3057\u3001\u57fa\u672c\u7684\u306a\u63a8\u8ad6\u898f\u5247\u3068\u3057\u3066\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u3092\u4f7f\u7528\u3057\u307e\u3059\u3002 \u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u30eb\u30ab\u30b7\u30a7\u30d3\u30c3\u30c1\u306e\u516c\u7406 \u3082\u3057 \u304a\u3088\u3073 \u304c\u547d\u984c\u8a08\u7b97\u306e\u5f0f\u3067\u3042\u308b\u306a\u3089\u3070\u3001 \u4ee5\u4e0b\u306e\u5f0f\u306f\u547d\u984c\u8a08\u7b97\u306e\u516c\u7406\u3067\u3042\u308b\uff1a [A1] [A2] [A3] \u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\uff1a\u547d\u984c\u8a08\u7b97\u306e\u63a8\u8ad6\u30a8\u30f3\u30b8\u30f3 \u3068 \u304c\u547d\u984c\u8a08\u7b97\u306b\u304a\u3051\u308b\u6709\u52b9\u306a\u5f0f\u3067\u3042\u308b\u3068\u3059\u308b\u3002 \u305d\u306e\u3068\u304d\u3001\u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u306f\u3001 \u304a\u3088\u3073 \u304b\u3089 \u3092\u5c0e\u51fa\u3067\u304d\u308b\u3068\u898f\u5b9a\u3059\u308b\u3002\u3053\u306e\u63a8\u8ad6\u5f62\u5f0f\u306f\u6b21\u306e\u3088\u3046\u306b\u8868\u3055\u308c\u308b\uff1a \u30e2\u30fc\u30c0\u30b9\u30fb\u30dd\u30cd\u30f3\u30b9\u306e\u69cb\u9020 (1) ; \u524d\u63d0 (2) ; \u524d\u63d0 (3) ; [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":33789,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":9,"footnotes":""},"categories":[1362,1300],"tags":[],"class_list":["post-33813","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-1362","category--ja"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u57fa\u790e\u3092\u63a2\u6c42\u3057\u3001\u516c\u7406\u30fb\u63a8\u8ad6\u30fb\u5b9a\u7406\u3092\u542b\u3080\u4f53\u7cfb\u7684\u306a\u67a0\u7d44\u307f\u3092\u5b66\u3073\u307e\u3059\u3002\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"http:\/\/toposuranos.com\/material\/ja\/\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b\" \/>\n<meta property=\"og:description\" content=\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u57fa\u790e\u3092\u63a2\u6c42\u3057\u3001\u516c\u7406\u30fb\u63a8\u8ad6\u30fb\u5b9a\u7406\u3092\u542b\u3080\u4f53\u7cfb\u7684\u306a\u67a0\u7d44\u307f\u3092\u5b66\u3073\u307e\u3059\u3002\" \/>\n<meta property=\"og:url\" content=\"http:\/\/toposuranos.com\/material\/ja\/\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b\/\" \/>\n<meta property=\"og:site_name\" content=\"toposuranos.com\/material\" \/>\n<meta property=\"article:publisher\" content=\"https:\/\/www.facebook.com\/groups\/toposuranos\" \/>\n<meta property=\"article:published_time\" content=\"2021-01-25T00:00:52+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-07-31T01:50:59+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/01\/sitemasdeductivos-1024x465.jpg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b\" \/>\n<meta name=\"twitter:description\" content=\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u57fa\u790e\u3092\u63a2\u6c42\u3057\u3001\u516c\u7406\u30fb\u63a8\u8ad6\u30fb\u5b9a\u7406\u3092\u542b\u3080\u4f53\u7cfb\u7684\u306a\u67a0\u7d44\u307f\u3092\u5b66\u3073\u307e\u3059\u3002\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/01\/sitemasdeductivos.jpg\" \/>\n<meta name=\"twitter:creator\" content=\"@topuranos\" \/>\n<meta name=\"twitter:site\" content=\"@topuranos\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"giorgio.reveco\" \/>\n\t<meta name=\"twitter:label2\" content=\"Tiempo de lectura\" \/>\n\t<meta name=\"twitter:data2\" content=\"1 minuto\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/#article\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b\",\"datePublished\":\"2021-01-25T00:00:52+00:00\",\"dateModified\":\"2025-07-31T01:50:59+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/\"},\"wordCount\":598,\"commentCount\":0,\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2021\\\/01\\\/sitemasdeductivos.jpg\",\"articleSection\":[\"\u547d\u984c\u8ad6\u7406\",\"\u6570\u5b66\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/\",\"name\":\"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b - toposuranos.com\\\/material\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/#primaryimage\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2021\\\/01\\\/sitemasdeductivos.jpg\",\"datePublished\":\"2021-01-25T00:00:52+00:00\",\"dateModified\":\"2025-07-31T01:50:59+00:00\",\"description\":\"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u57fa\u790e\u3092\u63a2\u6c42\u3057\u3001\u516c\u7406\u30fb\u63a8\u8ad6\u30fb\u5b9a\u7406\u3092\u542b\u3080\u4f53\u7cfb\u7684\u306a\u67a0\u7d44\u307f\u3092\u5b66\u3073\u307e\u3059\u3002\",\"breadcrumb\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/#primaryimage\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2021\\\/01\\\/sitemasdeductivos.jpg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2021\\\/01\\\/sitemasdeductivos.jpg\",\"width\":1536,\"height\":698},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/cursos-de-matematica-y-fisica\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b\"}]},{\"@type\":\"WebSite\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"name\":\"toposuranos.com\\\/material\",\"description\":\"\",\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"es\"},{\"@type\":\"Organization\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\",\"name\":\"toposuranos.com\\\/material\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/logo.png\",\"width\":2400,\"height\":2059,\"caption\":\"toposuranos.com\\\/material\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/logo\\\/image\\\/\"},\"sameAs\":[\"https:\\\/\\\/www.facebook.com\\\/groups\\\/toposuranos\",\"https:\\\/\\\/x.com\\\/topuranos\",\"https:\\\/\\\/www.youtube.com\\\/channel\\\/UC16yDm12cPcrwsE0fAM7X1g\",\"https:\\\/\\\/www.linkedin.com\\\/company\\\/69429190\"]},{\"@type\":\"Person\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\",\"name\":\"giorgio.reveco\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2023\\\/10\\\/1694478625378-96x96.jpeg\",\"caption\":\"giorgio.reveco\"},\"description\":\"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.\",\"sameAs\":[\"http:\\\/\\\/toposuranos.com\\\/material\"],\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/author\\\/giorgio-reveco\\\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b - toposuranos.com\/material","description":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u57fa\u790e\u3092\u63a2\u6c42\u3057\u3001\u516c\u7406\u30fb\u63a8\u8ad6\u30fb\u5b9a\u7406\u3092\u542b\u3080\u4f53\u7cfb\u7684\u306a\u67a0\u7d44\u307f\u3092\u5b66\u3073\u307e\u3059\u3002","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"http:\/\/toposuranos.com\/material\/ja\/\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b\/","og_locale":"es_ES","og_type":"article","og_title":"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b","og_description":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u57fa\u790e\u3092\u63a2\u6c42\u3057\u3001\u516c\u7406\u30fb\u63a8\u8ad6\u30fb\u5b9a\u7406\u3092\u542b\u3080\u4f53\u7cfb\u7684\u306a\u67a0\u7d44\u307f\u3092\u5b66\u3073\u307e\u3059\u3002","og_url":"http:\/\/toposuranos.com\/material\/ja\/\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-01-25T00:00:52+00:00","article_modified_time":"2025-07-31T01:50:59+00:00","og_image":[{"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/01\/sitemasdeductivos-1024x465.jpg","type":"","width":"","height":""}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b","twitter_description":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u57fa\u790e\u3092\u63a2\u6c42\u3057\u3001\u516c\u7406\u30fb\u63a8\u8ad6\u30fb\u5b9a\u7406\u3092\u542b\u3080\u4f53\u7cfb\u7684\u306a\u67a0\u7d44\u307f\u3092\u5b66\u3073\u307e\u3059\u3002","twitter_image":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/01\/sitemasdeductivos.jpg","twitter_creator":"@topuranos","twitter_site":"@topuranos","twitter_misc":{"Escrito por":"giorgio.reveco","Tiempo de lectura":"1 minuto"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/#article","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/"},"author":{"name":"giorgio.reveco","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b","datePublished":"2021-01-25T00:00:52+00:00","dateModified":"2025-07-31T01:50:59+00:00","mainEntityOfPage":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/"},"wordCount":598,"commentCount":0,"publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/01\/sitemasdeductivos.jpg","articleSection":["\u547d\u984c\u8ad6\u7406","\u6570\u5b66"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/#respond"]}]},{"@type":"WebPage","@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/","url":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/","name":"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b - toposuranos.com\/material","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/#primaryimage"},"image":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/01\/sitemasdeductivos.jpg","datePublished":"2021-01-25T00:00:52+00:00","dateModified":"2025-07-31T01:50:59+00:00","description":"\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\u306e\u57fa\u790e\u3092\u63a2\u6c42\u3057\u3001\u516c\u7406\u30fb\u63a8\u8ad6\u30fb\u5b9a\u7406\u3092\u542b\u3080\u4f53\u7cfb\u7684\u306a\u67a0\u7d44\u307f\u3092\u5b66\u3073\u307e\u3059\u3002","breadcrumb":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/#primaryimage","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/01\/sitemasdeductivos.jpg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2021\/01\/sitemasdeductivos.jpg","width":1536,"height":698},{"@type":"BreadcrumbList","@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%bd%a2%e5%bc%8f%e7%9a%84%e6%bc%94%e7%b9%b9%e4%bd%93%e7%b3%bb%ef%bc%9a%e5%ae%9a%e7%be%a9%e3%81%a8%e4%be%8b\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"http:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/"},{"@type":"ListItem","position":2,"name":"\u5f62\u5f0f\u7684\u6f14\u7e79\u4f53\u7cfb\uff1a\u5b9a\u7fa9\u3068\u4f8b"}]},{"@type":"WebSite","@id":"http:\/\/toposuranos.com\/material\/#website","url":"http:\/\/toposuranos.com\/material\/","name":"toposuranos.com\/material","description":"","publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"http:\/\/toposuranos.com\/material\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"es"},{"@type":"Organization","@id":"http:\/\/toposuranos.com\/material\/#organization","name":"toposuranos.com\/material","url":"http:\/\/toposuranos.com\/material\/","logo":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/logo.png","width":2400,"height":2059,"caption":"toposuranos.com\/material"},"image":{"@id":"http:\/\/toposuranos.com\/material\/#\/schema\/logo\/image\/"},"sameAs":["https:\/\/www.facebook.com\/groups\/toposuranos","https:\/\/x.com\/topuranos","https:\/\/www.youtube.com\/channel\/UC16yDm12cPcrwsE0fAM7X1g","https:\/\/www.linkedin.com\/company\/69429190"]},{"@type":"Person","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1","name":"giorgio.reveco","image":{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2023\/10\/1694478625378-96x96.jpeg","caption":"giorgio.reveco"},"description":"Soy Licenciado en F\u00edsica, Magister en Ingenier\u00eda Industrial y Docente Universitario. Me dedico a desmitificar la f\u00edsica y las matem\u00e1ticas. Mi objetivo es hacer que estos campos sean f\u00e1cilmente comprensibles para todos, proporcionando las herramientas para explorar no solo el mundo que nos rodea, sino tambi\u00e9n las profundidades de nuestra propia existencia y el orden natural que nos conecta con el cosmos.","sameAs":["http:\/\/toposuranos.com\/material"],"url":"http:\/\/toposuranos.com\/material\/author\/giorgio-reveco\/"}]}},"_links":{"self":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/33813","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/comments?post=33813"}],"version-history":[{"count":0,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/33813\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/33789"}],"wp:attachment":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=33813"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=33813"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=33813"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}