{"id":33825,"date":"2021-01-27T13:00:27","date_gmt":"2021-01-27T13:00:27","guid":{"rendered":"https:\/\/toposuranos.com\/material\/?p=33825"},"modified":"2025-07-31T02:12:57","modified_gmt":"2025-07-31T02:12:57","slug":"%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95","status":"publish","type":"post","link":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/","title":{"rendered":"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5"},"content":{"rendered":"<div style=\"background-color:#F3F3F3; padding:20px;\">\n<center><\/p>\n<h1>\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\u3092\u5b66\u307c\u3046<\/h1>\n<p><\/center><\/p>\n<p style=\"text-align:center;\"><em><strong>\u8981\u7d04\uff1a<\/strong><\/br>\u3053\u306e\u6388\u696d\u3067\u306f\u3001\u3053\u308c\u307e\u3067\u306b\u7d39\u4ecb\u3055\u308c\u305f\u521d\u6b69\u7684\u306a\u547d\u984c\u8ad6\u7406\u306e\u8a08\u7b97\u3092\u767a\u5c55\u3055\u305b\u308b\u305f\u3081\u306b\u30014\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\u306b\u3064\u3044\u3066\u8aac\u660e\u3057\u307e\u3059\u3002\u4eee\u5b9a\u898f\u5247\u3068\u305d\u306e\u5358\u8abf\u6027\u898f\u5247\u3068\u306e\u7d50\u5408\u3001\u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\u3068\u305d\u306e\u63a8\u8ad6\u898f\u5247\u306e\u5c0e\u51fa\u65b9\u6cd52\u901a\u308a\u3001\u4e8c\u91cd\u5426\u5b9a\u306e\u540c\u5024\u3001\u305d\u3057\u3066\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\u306b\u3064\u3044\u3066\u89e3\u8aac\u3057\u307e\u3059\u3002<\/em><\/p>\n<p style=\"text-align:center;\"><strong><u>\u5b66\u7fd2\u76ee\u6a19<\/u>\uff1a<\/strong><br \/>\u3053\u306e\u6388\u696d\u306e\u7d42\u4e86\u6642\u306b\u306f\u3001\u5b66\u751f\u306f\u6b21\u306e\u3053\u3068\u304c\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<ol>\n<li><strong>\u601d\u3044\u51fa\u3059<\/strong> \u63a8\u8ad6\u306e\u69cb\u9020\u3068\u7c21\u5358\u306a\u4f8b\u3002<\/li>\n<li><strong>\u7406\u89e3\u3059\u308b<\/strong> \u4eee\u5b9a\u898f\u5247\u3068\u63a8\u8ad6\u5b9a\u7406\u3068\u306e\u95a2\u4fc2\u3002<\/li>\n<li><strong>\u7406\u89e3\u3059\u308b<\/strong> \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\u3068\u30e2\u30fc\u30c0\u30b9\u30dd\u30cd\u30f3\u30b9\u3068\u306e\u95a2\u4fc2\u3002<\/li>\n<li><strong>\u9069\u7528\u3059\u308b<\/strong> \u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u63a8\u8ad6\u5b9a\u7406\u3002<\/li>\n<li><strong>\u9069\u7528\u3059\u308b<\/strong> \u8868\u73fe\u306e\u63a8\u8ad6\u306b\u304a\u3051\u308b\u5358\u8abf\u6027\u898f\u5247\u3002<\/li>\n<li><strong>\u7406\u89e3\u3059\u308b<\/strong> \u4e8c\u91cd\u5426\u5b9a\u306e\u540c\u5024\u6027\u304a\u3088\u3073\u547d\u984c\u8ad6\u7406\u306e\u542b\u610f\u306e\u5bfe\u5076\u3002<\/li>\n<li><strong>\u7fd2\u5f97\u3059\u308b<\/strong> \u63a8\u8ad6\u6280\u6cd5\u306e\u8a3c\u660e\u3092\u5b66\u3073\u3001\u5b9f\u8df5\u306b\u5fdc\u7528\u3067\u304d\u308b\u3088\u3046\u306b\u3059\u308b\u3002<\/li>\n<\/ol>\n<p style=\"text-align:center;\"><strong>\u76ee\u6b21<\/strong><br \/>\n<a href=\"#1\">\u4eee\u5b9a\u898f\u5247\uff08PRE\uff09<\/a><br \/>\n<a href=\"#2\">\u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09<\/a><br \/>\n<a href=\"#3\">\u4e8c\u91cd\u5426\u5b9a\u306e\u540c\u5024\u6027\uff08DN\uff09<\/a><br \/>\n<a href=\"#4\">\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\uff08CPI\uff09<\/a>\n<\/p>\n<p><center><br \/>\n<iframe class=\"lazyload\" width=\"560\" height=\"315\" data-src=\"https:\/\/www.youtube.com\/embed\/6f_aavuC4E0\" frameborder=\"0\" allow=\"accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen=\"allowfullscreen\"><\/iframe><\/center>\n<\/div>\n<p style=\"text-align: justify;\">\u3059\u3067\u306b\u63a8\u8ad6\u306e\u69cb\u9020\u3068\u7c21\u5358\u306a\u4f8b\u306b\u3064\u3044\u3066\u5b66\u3073\u307e\u3057\u305f\u3002\u3053\u3053\u3067\u306f\u305d\u306e\u77e5\u8b58\u3092\u7528\u3044\u3066\u3001<strong>\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5<\/strong>\u3092\u4f7f\u3063\u3066\u63a8\u8ad6\u3092\u884c\u3063\u3066\u307f\u307e\u3057\u3087\u3046\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u3053\u308c\u3089\u306e\u6280\u6cd5\u304c\u5b9f\u969b\u306b\u6a5f\u80fd\u3059\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b\u3060\u3051\u3067\u306a\u304f\u3001\u3053\u308c\u307e\u3067\u521d\u6b69\u7684\u3060\u3063\u305f\u547d\u984c\u8ad6\u7406\u306e\u8a08\u7b97\u306b\u8c4a\u304b\u3055\u3092\u4e0e\u3048\u308b\u624b\u7d9a\u304d\u304c\u5c0e\u5165\u3055\u308c\u307e\u3059\u3002<\/p>\n<p style=\"text-align: justify;\"><strong>\u547d\u984c\u8ad6\u7406\u306e\u5f0f <span class=\"katex-eq\" data-katex-display=\"false\">\\alpha<\/span>, <span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span>, <span class=\"katex-eq\" data-katex-display=\"false\">\\gamma<\/span> \u306b\u5bfe\u3057\u3066\u3001\u4ee5\u4e0b\u306e\u63a8\u8ad6\u6280\u6cd5\u3092\u57fa\u790e\u304b\u3089\u5c0e\u304f\u3053\u3068\u304c\u53ef\u80fd\u3067\u3059\uff1a<\/strong><\/p>\n<p><a name=\"1\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h2>\u4eee\u5b9a\u898f\u5247\uff08Pre\uff09<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=6f_aavuC4E0&amp;t=168s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">\u6700\u3082\u57fa\u672c\u7684\u306a\u63a8\u8ad6\u898f\u5247<\/span><\/strong><\/a>\u306f\u4eee\u5b9a\u898f\u5247\u3067\u3059\u3002\u3053\u308c\u306f\u3001\u5b9a\u7406 <span class=\"katex-eq\" data-katex-display=\"false\">\\vdash(\\alpha\\rightarrow\\alpha)<\/span> \u306b\u5bfe\u3057\u3066<strong>\u63a8\u8ad6\u5b9a\u7406\u306e\u9006<\/strong>\u3092\u76f4\u63a5\u9069\u7528\u3059\u308b\u3053\u3068\u3067\u5c0e\u51fa\u3055\u308c\u307e\u3059\u3002\u3082\u3057\u3053\u306e\u8aac\u660e\u304c\u96e3\u3057\u304f\u805e\u3053\u3048\u305f\u3068\u3057\u3066\u3082\u3001\u5fc5\u8981\u306a\u60c5\u5831\u306f\u3059\u3079\u3066<a href=\"http:\/\/toposuranos.com\/material\/es\/sistemas-deductivos-formales-y-definiciones\/\" rel=\"noopener\" target=\"_blank\"><strong>\u3053\u3061\u3089<\/strong><\/a>\u306b\u3042\u308a\u307e\u3059\u3002<\/p>\n<p style=\"text-align: center;\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\}\\vdash \\alpha <\/span>\n<p style=\"text-align: justify;\">\u3053\u306e\u898f\u5247\u3092\u5358\u8abf\u6027\u898f\u5247\u3068\u7d44\u307f\u5408\u308f\u305b\u308b\u3053\u3068\u3067\u3001\u63a8\u8ad6\u5185\u306b\u90fd\u5408\u306e\u3088\u3044\u5f0f\u3092\u52a0\u3048\u308b\u3053\u3068\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002<\/p>\n<p><a name=\"2\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h2>\u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=6f_aavuC4E0&amp;t=206s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">\u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5<\/span><\/strong><\/a>\u3001\u3059\u306a\u308f\u3061\u542b\u610f\u306e\u63a8\u79fb\u5f8b\u306f\u3001\u30e2\u30fc\u30c0\u30b9\u30dd\u30cd\u30f3\u30b9\u306e\u767a\u5c55\u5f62\u3068\u3082\u3044\u3048\u308b\u898f\u5247\u3067\u3059\u3002\u305d\u306e\u5f62\u5f0f\u306f\u4ee5\u4e0b\u306e\u3068\u304a\u308a\u3067\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha\\rightarrow\\beta), (\\beta\\rightarrow\\gamma)\\}\\vdash (\\alpha\\rightarrow\\gamma)<\/span>\n<p style=\"text-align: justify;\">\u3053\u306e\u63a8\u8ad6\u898f\u5247\u306b\u306f\u3044\u304f\u3064\u304b\u306e\u5c0e\u51fa\u65b9\u6cd5\u304c\u5b58\u5728\u3057\u307e\u3059\u304c\u3001\u3053\u3053\u3067\u306f\u305d\u306e\u3046\u3061\u306e2\u901a\u308a\u3092\u7d39\u4ecb\u3057\u307e\u3059\u3002<\/p>\n<p style=\"text-align: justify;\">\u5f0f\u3092\u524d\u63d0\u3068\u3057\u3066\u63a8\u8ad6\u3059\u308b\u5834\u5408\u3001\u6b21\u306e\u3088\u3046\u306a\u63a8\u8ad6\u306e\u69cb\u7bc9\u306f\u5bb9\u6613\u3067\u3059\uff1a<\/p>\n<table style=\"text-align: justify;\">\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 class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta)<\/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\\rightarrow \\gamma)<\/span><\/td>\n<td>; \u524d\u63d0<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\beta<\/span><\/td>\n<td>; MP(1,2)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\gamma<\/span><\/td>\n<td>; MP(4,3)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: center;\">\u3057\u305f\u304c\u3063\u3066<span class=\"katex-eq\" data-katex-display=\"false\"> \\{\\alpha,(\\alpha\\rightarrow\\beta),(\\beta\\rightarrow\\gamma)\\}\\vdash\\gamma<\/span>\n<p style=\"text-align: justify;\">\u6700\u5f8c\u306b\u3001\u3053\u306e\u5f0f\u306b\u63a8\u8ad6\u5b9a\u7406\u3092\u9069\u7528\u3059\u308c\u3070\u3001\u6b21\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span class=\"katex-eq\" data-katex-display=\"false\"> \\{(\\alpha\\rightarrow\\beta),(\\beta\\rightarrow\\gamma)\\}\\vdash(\\alpha\\rightarrow \\gamma)<\/span>\n<p style=\"text-align: justify;\">\u3053\u306e\u898f\u5247\u3092\u8a3c\u660e\u3059\u308b\u3082\u3046\u4e00\u3064\u306e\u65b9\u6cd5\u306f\u3001\u63a8\u8ad6\u306e\u5f62\u5f0f\u81ea\u4f53\u3092\u57fa\u306b\u3057\u3066\u69cb\u7bc9\u3059\u308b\u3053\u3068\u3067\u3042\u308a\u3001\u4eee\u5b9a\u898f\u5247\u3068\u5358\u8abf\u6027\u3092\u7528\u3044\u3066\u69cb\u6210\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u3001\u63a8\u8ad6\u3092\u7528\u3044\u305f\u8a3c\u660e\u3092\u898b\u3066\u307f\u307e\u3057\u3087\u3046\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha, (\\alpha\\rightarrow \\beta), (\\beta\\rightarrow\\gamma)\\}\\vdash \\alpha <\/span><\/td>\n<td>; \u4eee\u5b9a\u3068\u5358\u8abf\u6027<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha, (\\alpha\\rightarrow \\beta), (\\beta\\rightarrow\\gamma)\\}\\vdash (\\alpha\\rightarrow \\beta) <\/span><\/td>\n<td>; \u4eee\u5b9a\u3068\u5358\u8abf\u6027<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha, (\\alpha\\rightarrow \\beta), (\\beta\\rightarrow\\gamma)\\}\\vdash (\\beta\\rightarrow\\gamma) <\/span><\/td>\n<td>; \u4eee\u5b9a\u3068\u5358\u8abf\u6027<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha, (\\alpha\\rightarrow \\beta), (\\beta\\rightarrow\\gamma)\\}\\vdash \\beta <\/span><\/td>\n<td>; MP(1,2)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha, (\\alpha\\rightarrow \\beta), (\\beta\\rightarrow\\gamma)\\}\\vdash \\gamma <\/span><\/td>\n<td>; MP(4,3)<\/td>\n<\/tr>\n<tr>\n<td>(6)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha\\rightarrow \\beta), (\\beta\\rightarrow\\gamma)\\}\\vdash (\\alpha \\rightarrow \\gamma) <\/span><\/td>\n<td>; \u63a8\u8ad6\u5b9a\u7406 (TD)(5)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: justify;\">\u3053\u3053\u3067\u6ce8\u610f\u3059\u3079\u304d\u70b9\u306f\u3001\u4e21\u65b9\u306e\u8a3c\u660e\u304c\u5b9f\u8cea\u7684\u306b\u540c\u4e00\u3067\u3042\u308b\u3068\u3044\u3046\u3053\u3068\u3067\u3059\u3002\u305f\u3060\u3057\u3001\u305d\u308c\u305e\u308c\u7570\u306a\u308b\u30b9\u30bf\u30a4\u30eb\u3067\u5c55\u958b\u3055\u308c\u3066\u3044\u307e\u3059\u3002\u5b9f\u969b\u306e\u5834\u9762\u3067\u306f\u3001\u81ea\u5206\u306b\u3068\u3063\u3066\u4f7f\u3044\u3084\u3059\u3044\u30b9\u30bf\u30a4\u30eb\u3092\u9078\u3093\u3067\u4f7f\u3044\u5206\u3051\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002<\/p>\n<p><a name=\"3\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h2>\u4e8c\u91cd\u5426\u5b9a\u306e\u540c\u5024\u6027\uff08DN\uff09<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=6f_aavuC4E0&amp;t=500s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">\u4e8c\u91cd\u5426\u5b9a\u306e\u540c\u5024\u6027<\/span><\/strong><\/a>\u306f\u3001\u3042\u308b\u4e3b\u5f35\u306b\u5bfe\u3059\u308b\u4e8c\u91cd\u5426\u5b9a\u304c\u5143\u306e\u4e3b\u5f35\u3068\u540c\u5024\u3067\u3042\u308b\u3068\u3044\u3046\u76f4\u611f\u7684\u306a\u6982\u5ff5\u3092\u518d\u73fe\u3059\u308b\u3082\u306e\u3067\u3059\u3002\u3053\u308c\u3092\u8a18\u53f7\u7684\u306b\u8868\u3059\u3068\u3001\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha\\dashv\\vdash\\neg\\neg\\alpha<\/span>\n<p style=\"text-align: justify;\">\u305d\u308c\u3067\u306f\u3001\u3053\u306e\u540c\u5024\u6027\u306e\u8a3c\u660e\u3092\u898b\u3066\u307f\u307e\u3057\u3087\u3046\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg\\neg \\alpha \\rightarrow (\\neg\\neg\\neg\\neg \\alpha \\rightarrow\\neg\\neg\\alpha))<\/span><\/td>\n<td>; A1\uff08\u516c\u74061\uff09<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash ((\\neg\\neg\\neg\\neg\\alpha \\rightarrow \\neg\\neg\\alpha)\\rightarrow(\\neg\\alpha \\rightarrow \\neg\\neg\\neg\\alpha))<\/span><\/td>\n<td>; A3\uff08\u516c\u74063\uff09<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash ((\\neg\\alpha \\rightarrow \\neg\\neg\\neg\\alpha)\\rightarrow(\\neg\\neg\\alpha \\rightarrow \\alpha))<\/span><\/td>\n<td>; A3\uff08\u516c\u74063\uff09<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash ((\\neg\\neg\\neg\\neg\\alpha \\rightarrow \\neg\\neg\\alpha)\\rightarrow(\\neg\\neg\\alpha \\rightarrow \\alpha))<\/span><\/td>\n<td>; \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09(2,3)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg\\neg \\alpha \\} \\vdash (\\neg\\neg\\neg\\neg \\alpha \\rightarrow\\neg\\neg\\alpha)<\/span><\/td>\n<td>; \u63a8\u8ad6\u5b9a\u7406\u306e\u9006\uff08RTD\uff09(1)<\/td>\n<\/tr>\n<tr>\n<td>(6)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg\\neg \\alpha \\} \\vdash ((\\neg\\neg\\neg\\neg\\alpha \\rightarrow \\neg\\neg\\alpha)\\rightarrow(\\neg\\neg\\alpha \\rightarrow \\alpha))<\/span><\/td>\n<td>; \u5358\u8abf\u6027\uff084\uff09<\/td>\n<\/tr>\n<tr>\n<td>(7)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg\\neg \\alpha \\} \\vdash (\\neg\\neg\\alpha \\rightarrow \\alpha)<\/span><\/td>\n<td>; MP\uff085,6\uff09<\/td>\n<\/tr>\n<tr>\n<td>(8)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg\\neg \\alpha \\} \\vdash \\alpha<\/span><\/td>\n<td>; \u63a8\u8ad6\u5b9a\u7406\u306e\u9006\uff08RTD\uff09(7)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: center;\">\u3057\u305f\u304c\u3063\u3066<span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg\\neg \\alpha \\} \\vdash \\alpha <\/span>\n<p style=\"text-align: justify;\">\u9006\u65b9\u5411\u306e\u8a3c\u660e\u3092\u884c\u3046\u306b\u306f\u3001\u4eca\u884c\u3063\u305f\u8a3c\u660e\u3092\u5358\u7d14\u306a\u7f6e\u63db\u306b\u3088\u3063\u3066\u518d\u5229\u7528\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u3059\u308b\u3068\u6b21\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg\\neg \\neg \\alpha \\} \\vdash \\neg \\alpha <\/span>\n<p style=\"text-align: justify;\">\u3053\u308c\u306b\u57fa\u3065\u3044\u3066\u3001\u9006\u65b9\u5411\u306e\u8a3c\u660e\u3092\u69cb\u7bc9\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\neg\\neg \\neg \\alpha \\} \\vdash \\neg \\alpha <\/span><\/td>\n<td>; \u76f4\u524d\u306b\u8a3c\u660e\u3057\u305f\u3082\u306e<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash(\\neg\\neg \\neg \\alpha\\rightarrow \\neg \\alpha) <\/span><\/td>\n<td>; \u63a8\u8ad6\u5b9a\u7406\uff08TD\uff09(1)<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash((\\neg\\neg \\neg \\alpha\\rightarrow \\neg \\alpha) \\rightarrow(\\alpha \\rightarrow\\neg\\neg\\alpha)) <\/span><\/td>\n<td>; \u516c\u7406A3<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash(\\alpha \\rightarrow\\neg\\neg\\alpha) <\/span><\/td>\n<td>; \u30e2\u30fc\u30c0\u30b9\u30dd\u30cd\u30f3\u30b9 MP(2,3)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha\\}\\vdash\\neg\\neg\\alpha <\/span><\/td>\n<td>; \u9006\u63a8\u8ad6\u5b9a\u7406\uff08RTD\uff09(4)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: center;\">\u3057\u305f\u304c\u3063\u3066 <span class=\"katex-eq\" data-katex-display=\"false\">\\{\\alpha \\} \\vdash \\neg\\neg \\alpha <\/span>\n<p style=\"text-align: justify;\">\u6700\u7d42\u7684\u306b\u3001\u3053\u308c\u30892\u3064\u306e\u8a3c\u660e\u304b\u3089\u6b21\u306e\u95a2\u4fc2\u304c\u5c0e\u304b\u308c\u307e\u3059\uff1a<span class=\"katex-eq\" data-katex-display=\"false\"> \\alpha \\dashv\\vdash \\neg\\neg \\alpha <\/span>\n<p><a name=\"4\"><\/a><br \/>\n<\/br><\/br><\/p>\n<h2>\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\uff08CpI\uff09<\/h2>\n<p style=\"text-align: justify;\"><a href=\"https:\/\/www.youtube.com\/watch?v=6f_aavuC4E0&amp;t=948s\" target=\"_blank\" rel=\"noopener\"><strong><span style=\"color: #ff0000;\">\u3053\u308c\u306f\u6b21\u306e\u540c\u5024\u95a2\u4fc2\u306b\u5bfe\u5fdc\u3057\u307e\u3059\uff1a<\/span><\/strong><\/a><\/p>\n<p style=\"text-align: center;\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha \\rightarrow \\beta) \\dashv\\vdash (\\neg\\beta \\rightarrow \\neg\\alpha)<\/span>\n<p style=\"text-align: center;\"><span class=\"katex-eq\" data-katex-display=\"false\">\n(\\neg\\alpha\\rightarrow\\beta)\\dashv\\vdash (\\neg\\beta\\rightarrow\\alpha)<\/span>\n<p style=\"text-align: center;\"><span class=\"katex-eq\" data-katex-display=\"false\">(\\alpha\\rightarrow\\neg\\beta) \\dashv\\vdash (\\beta\\rightarrow\\neg\\alpha)<\/span>\n<p style=\"text-align: justify;\">\u6700\u521d\u306e\u95a2\u4fc2\u306e\u8a3c\u660e\u306f\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u884c\u308f\u308c\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: justify;\">\u4e00\u65b9\u306e\u65b9\u5411\u306f\u3001\u7b2c3\u516c\u7406\u304b\u3089\u76f4\u63a5\u5c0e\u304b\u308c\u307e\u3059\u3002<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash ((\\neg\\beta\\rightarrow \\neg\\alpha) \\rightarrow (\\alpha \\rightarrow\\beta))<\/span><\/td>\n<td>; \u516c\u7406A3<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\beta\\rightarrow \\neg\\alpha)\\}\\vdash (\\alpha \\rightarrow \\beta)<\/span><\/td>\n<td>; \u9006\u63a8\u8ad6\u5b9a\u7406\uff08RTD\uff09(1)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: center;\">\u3057\u305f\u304c\u3063\u3066 <span class=\"katex-eq\" data-katex-display=\"false\"> \\{(\\neg\\beta\\rightarrow \\neg\\alpha)\\}\\vdash (\\alpha \\rightarrow \\beta)<\/span>\n<p style=\"text-align: justify;\">\u9006\u65b9\u5411\u306e\u8a3c\u660e\u306f\u3001\u6b21\u306e\u63a8\u8ad6\u304b\u3089\u5f97\u3089\u308c\u307e\u3059\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\neg\\neg\\alpha \\dashv \\vdash \\alpha<\/span><\/td>\n<td>; \u4e8c\u91cd\u5426\u5b9a\uff08DN\uff09<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\neg\\neg \\alpha \\rightarrow \\alpha)<\/span><\/td>\n<td>; \u63a8\u8ad6\u5b9a\u7406\uff08TD\uff09(1)<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\neg\\neg\\beta \\dashv \\vdash \\beta<\/span><\/td>\n<td>; \u4e8c\u91cd\u5426\u5b9a\uff08DN\uff09<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\beta \\rightarrow \\neg\\neg \\beta)<\/span><\/td>\n<td>; \u63a8\u8ad6\u5b9a\u7406\uff08TD\uff09(3)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\rightarrow \\beta)\\}\\vdash (\\neg\\neg \\alpha \\rightarrow \\alpha)<\/span><\/td>\n<td>; \u5358\u8abf\u6027\uff08Mon\uff09(2)<\/td>\n<\/tr>\n<tr>\n<td>(6)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\rightarrow \\beta)\\}\\vdash (\\alpha \\rightarrow \\beta)<\/span><\/td>\n<td>; \u4eee\u5b9a\u898f\u5247\uff08Pre\uff09<\/td>\n<\/tr>\n<tr>\n<td>(7)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\rightarrow \\beta)\\}\\vdash (\\neg\\neg \\alpha \\rightarrow\\beta)<\/span><\/td>\n<td>; \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09(5,6)<\/td>\n<\/tr>\n<tr>\n<td>(8)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\"> \\{(\\alpha \\rightarrow \\beta)\\} \\vdash (\\beta \\rightarrow \\neg\\neg \\beta)<\/span><\/td>\n<td>; \u5358\u8abf\u6027\uff08Mon\uff09(4)<\/td>\n<\/tr>\n<tr>\n<td>(9)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\rightarrow \\beta)\\}\\vdash (\\neg\\neg \\alpha \\rightarrow \\neg\\neg \\beta)<\/span><\/td>\n<td>; \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09(7,8)<\/td>\n<\/tr>\n<tr>\n<td>(10)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\neg\\neg \\alpha \\rightarrow \\neg\\neg \\beta) \\rightarrow (\\neg \\beta \\rightarrow \\neg \\alpha )<\/span><\/td>\n<td>; \u516c\u7406A3<\/td>\n<\/tr>\n<tr>\n<td>(11)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\rightarrow \\beta)\\}\\vdash ((\\neg\\neg \\alpha \\rightarrow \\neg\\neg \\beta) \\rightarrow (\\neg \\beta \\rightarrow \\neg \\alpha ))<\/span><\/td>\n<td>; \u5358\u8abf\u6027\uff08Mon\uff09(10)<\/td>\n<\/tr>\n<tr>\n<td>(11)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\rightarrow \\beta)\\}\\vdash (\\neg \\beta \\rightarrow \\neg \\alpha )<\/span><\/td>\n<td>; \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09(10,11)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: center;\">\u3057\u305f\u304c\u3063\u3066 <span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\alpha \\rightarrow \\beta)\\}\\vdash (\\neg \\beta \\rightarrow \\neg \\alpha )<\/span>\n<p style=\"text-align: justify;\">\u3057\u305f\u304c\u3063\u3066\u3001\u524d\u306e2\u3064\u306e\u63a8\u8ad6\u304b\u3089\u6b21\u306e\u3053\u3068\u304c\u6210\u308a\u7acb\u3061\u307e\u3059\uff1a<\/p>\n<p style=\"text-align: center;\"><span class=\"katex-eq\" data-katex-display=\"false\"> (\\alpha \\rightarrow \\beta) \\dashv\\vdash (\\neg \\beta \\rightarrow \\neg \\alpha ) <\/span>\n<p style=\"text-align: justify;\">2\u3064\u76ee\u306e\u540c\u5024\u95a2\u4fc2\u3092\u8a3c\u660e\u3059\u308b\u305f\u3081\u306b\u306f\u3001\u6b21\u306e2\u3064\u306e\u63a8\u8ad6\u3092\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\beta \\dashv\\vdash \\neg\\neg\\beta<\/span><\/td>\n<td>; \u4e8c\u91cd\u5426\u5b9a\uff08DN\uff09<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\neg\\neg\\neg\\alpha \\dashv\\vdash \\neg\\alpha<\/span><\/td>\n<td>; \u4e8c\u91cd\u5426\u5b9a\uff08DN\uff09<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\beta \\rightarrow \\neg\\neg\\beta)<\/span><\/td>\n<td>; \u63a8\u8ad6\u5b9a\u7406\uff08TD\uff09(1)<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\neg\\neg\\neg\\alpha \\rightarrow \\neg\\alpha)<\/span><\/td>\n<td>; \u63a8\u8ad6\u5b9a\u7406\uff08TD\uff09(2)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\rightarrow \\beta)\\}\\vdash (\\neg\\alpha \\rightarrow \\beta)<\/span><\/td>\n<td>; \u4eee\u5b9a\uff08Pre\uff09<\/td>\n<\/tr>\n<tr>\n<td>(6)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\rightarrow \\beta)\\}\\vdash (\\beta \\rightarrow \\neg\\neg\\beta)<\/span><\/td>\n<td>; \u5358\u8abf\u6027\uff08Mon\uff09(3)<\/td>\n<\/tr>\n<tr>\n<td>(7)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\rightarrow \\beta)\\}\\vdash (\\neg\\neg\\neg\\alpha \\rightarrow \\neg\\alpha)<\/span><\/td>\n<td>; \u5358\u8abf\u6027\uff08Mon\uff09(4)<\/td>\n<\/tr>\n<tr>\n<td>(8)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\rightarrow \\beta)\\}\\vdash (\\neg\\alpha \\rightarrow \\neg\\neg\\beta)<\/span><\/td>\n<td>; \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09(5,6)<\/td>\n<\/tr>\n<tr>\n<td>(9)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\rightarrow \\beta)\\}\\vdash (\\neg\\neg\\neg\\alpha \\rightarrow \\neg\\neg\\beta)<\/span><\/td>\n<td>; \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09(7,8)<\/td>\n<\/tr>\n<tr>\n<td>(10)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\neg\\neg\\neg\\alpha \\rightarrow \\neg\\neg\\beta) \\rightarrow (\\neg\\beta \\rightarrow \\neg\\neg\\alpha)<\/span><\/td>\n<td>; \u516c\u7406A3<\/td>\n<\/tr>\n<tr>\n<td>(11)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\rightarrow \\beta)\\}\\vdash ((\\neg\\neg\\neg\\alpha \\rightarrow \\neg\\neg\\beta) \\rightarrow (\\neg\\beta \\rightarrow \\neg\\neg\\alpha))<\/span><\/td>\n<td>; \u5358\u8abf\u6027\uff08Mon\uff09(10)<\/td>\n<\/tr>\n<tr>\n<td>(12)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\rightarrow \\beta)\\}\\vdash (\\neg\\beta \\rightarrow \\neg\\neg\\alpha)<\/span><\/td>\n<td>; \u30e2\u30fc\u30c0\u30b9\u30dd\u30cd\u30f3\u30b9\uff08MP\uff09(9,11)<\/td>\n<\/tr>\n<tr>\n<td>(13)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\neg\\neg \\alpha \\dashv \\vdash \\alpha<\/span><\/td>\n<td>; \u4e8c\u91cd\u5426\u5b9a\uff08DN\uff09<\/td>\n<\/tr>\n<tr>\n<td>(14)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\"> \\vdash (\\neg\\neg \\alpha\\rightarrow \\alpha)<\/span><\/td>\n<td>; \u63a8\u8ad6\u5b9a\u7406\uff08TD\uff09(13)<\/td>\n<\/tr>\n<tr>\n<td>(15)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\rightarrow \\beta)\\} \\vdash (\\neg\\neg \\alpha\\rightarrow \\alpha)<\/span><\/td>\n<td>; \u5358\u8abf\u6027\uff08Mon\uff09(14)<\/td>\n<\/tr>\n<tr>\n<td>(16)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\rightarrow \\beta)\\} \\vdash(\\neg\\beta \\rightarrow \\alpha)<\/span><\/td>\n<td>; \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09(12,15)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: center;\">\u3057\u305f\u304c\u3063\u3066 <span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\alpha \\rightarrow \\beta)\\} \\vdash(\\neg\\beta \\rightarrow \\alpha) <\/span>\n<p style=\"text-align: justify;\">\u3053\u3053\u3067\u3001\u9006\u65b9\u5411\u306e\u8a3c\u660e\u3092\u884c\u3046\u5fc5\u8981\u304c\u3042\u308a\u307e\u3059\u3002\u6b21\u306e\u63a8\u8ad6\u306b\u3088\u3063\u3066\u884c\u3046\u3053\u3068\u304c\u3067\u304d\u307e\u3059\uff1a<\/p>\n<table style=\"text-align: justify;\">\n<tbody>\n<tr>\n<td>(1)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\alpha \\dashv \\vdash \\neg\\neg\\alpha<\/span><\/td>\n<td>; \u4e8c\u91cd\u5426\u5b9a\uff08DN\uff09<\/td>\n<\/tr>\n<tr>\n<td>(2)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\alpha \\rightarrow \\neg\\neg\\alpha)<\/span><\/td>\n<td>; \u63a8\u8ad6\u5b9a\u7406\uff08TD\uff09(1)<\/td>\n<\/tr>\n<tr>\n<td>(3)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\beta\\rightarrow\\alpha)\\}\\vdash (\\neg\\beta\\rightarrow\\alpha)<\/span><\/td>\n<td>; \u4eee\u5b9a\u898f\u5247\uff08Pre\uff09<\/td>\n<\/tr>\n<tr>\n<td>(4)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\beta\\rightarrow\\alpha)\\}\\vdash (\\alpha \\rightarrow \\neg\\neg\\alpha)<\/span><\/td>\n<td>; \u5358\u8abf\u6027\uff08Mon\uff09(2)<\/td>\n<\/tr>\n<tr>\n<td>(5)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\beta\\rightarrow\\alpha)\\}\\vdash (\\neg\\beta\\rightarrow\\neg\\neg\\alpha)<\/span><\/td>\n<td>; \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09(3,4)<\/td>\n<\/tr>\n<tr>\n<td>(6)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\vdash (\\neg\\beta\\rightarrow\\neg\\neg\\alpha)\\rightarrow (\\neg\\alpha \\rightarrow \\beta) <\/span><\/td>\n<td>; \u516c\u7406A3<\/td>\n<\/tr>\n<tr>\n<td>(7)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\beta\\rightarrow\\alpha)\\}\\vdash ((\\neg\\beta\\rightarrow\\neg\\neg\\alpha)\\rightarrow (\\neg\\alpha \\rightarrow \\beta)) <\/span><\/td>\n<td>; \u5358\u8abf\u6027\uff08Mon\uff09(6)<\/td>\n<\/tr>\n<tr>\n<td>(8)<\/td>\n<td><span class=\"katex-eq\" data-katex-display=\"false\">\\{(\\neg\\beta\\rightarrow\\alpha)\\}\\vdash (\\neg\\alpha \\rightarrow \\beta) <\/span><\/td>\n<td>; \u30e2\u30fc\u30c0\u30b9\u30dd\u30cd\u30f3\u30b9\uff08MP\uff09(5,7)<\/td>\n<\/tr>\n<\/tbody>\n<\/table>\n<p style=\"text-align: center;\">\u3057\u305f\u304c\u3063\u3066 <span class=\"katex-eq\" data-katex-display=\"false\"> \\{(\\neg\\beta\\rightarrow\\alpha)\\}\\vdash (\\neg\\alpha \\rightarrow \\beta) <\/span>\n<p style=\"text-align: justify;\">\u6700\u5f8c\u306b\u3001\u3053\u308c\u30892\u3064\u306e\u63a8\u8ad6\u304b\u3089\u6b21\u306e\u540c\u5024\u6027\u304c\u5c0e\u304b\u308c\u307e\u3059\uff1a<span class=\"katex-eq\" data-katex-display=\"false\"> (\\neg\\beta\\rightarrow\\alpha) \\dashv \\vdash (\\neg\\alpha \\rightarrow \\beta) <\/span>\u3002\u3053\u308c\u304c\u793a\u3057\u305f\u304b\u3063\u305f\u3053\u3068\u3067\u3059\u3002<\/p>\n<p style=\"text-align: justify;\">\u6700\u5f8c\u306e\u540c\u5024\u6027\u306f\u7df4\u7fd2\u554f\u984c\u3068\u3057\u3066\u6b8b\u3057\u3066\u304a\u304d\u307e\u3059\u3002\u8a3c\u660e\u3059\u308b\u306b\u306f\u3001\u3053\u308c\u307e\u3067\u306b\u793a\u3057\u305f2\u3064\u306e\u8a3c\u660e\u3092\u53c2\u8003\u306b\u3057\u3066\u304f\u3060\u3055\u3044\u3002\u3053\u308c\u306f\u63a8\u8ad6\u6280\u8853\u3092\u7fd2\u5f97\u3059\u308b\u6700\u3082\u52b9\u679c\u7684\u306a\u65b9\u6cd5\u3067\u3059\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\u3092\u5b66\u307c\u3046 \u8981\u7d04\uff1a\u3053\u306e\u6388\u696d\u3067\u306f\u3001\u3053\u308c\u307e\u3067\u306b\u7d39\u4ecb\u3055\u308c\u305f\u521d\u6b69\u7684\u306a\u547d\u984c\u8ad6\u7406\u306e\u8a08\u7b97\u3092\u767a\u5c55\u3055\u305b\u308b\u305f\u3081\u306b\u30014\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\u306b\u3064\u3044\u3066\u8aac\u660e\u3057\u307e\u3059\u3002\u4eee\u5b9a\u898f\u5247\u3068\u305d\u306e\u5358\u8abf\u6027\u898f\u5247\u3068\u306e\u7d50\u5408\u3001\u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\u3068\u305d\u306e\u63a8\u8ad6\u898f\u5247\u306e\u5c0e\u51fa\u65b9\u6cd52\u901a\u308a\u3001\u4e8c\u91cd\u5426\u5b9a\u306e\u540c\u5024\u3001\u305d\u3057\u3066\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\u306b\u3064\u3044\u3066\u89e3\u8aac\u3057\u307e\u3059\u3002 \u5b66\u7fd2\u76ee\u6a19\uff1a\u3053\u306e\u6388\u696d\u306e\u7d42\u4e86\u6642\u306b\u306f\u3001\u5b66\u751f\u306f\u6b21\u306e\u3053\u3068\u304c\u3067\u304d\u308b\u3088\u3046\u306b\u306a\u308a\u307e\u3059\u3002 \u601d\u3044\u51fa\u3059 \u63a8\u8ad6\u306e\u69cb\u9020\u3068\u7c21\u5358\u306a\u4f8b\u3002 \u7406\u89e3\u3059\u308b \u4eee\u5b9a\u898f\u5247\u3068\u63a8\u8ad6\u5b9a\u7406\u3068\u306e\u95a2\u4fc2\u3002 \u7406\u89e3\u3059\u308b \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\u3068\u30e2\u30fc\u30c0\u30b9\u30dd\u30cd\u30f3\u30b9\u3068\u306e\u95a2\u4fc2\u3002 \u9069\u7528\u3059\u308b \u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b\u63a8\u8ad6\u5b9a\u7406\u3002 \u9069\u7528\u3059\u308b \u8868\u73fe\u306e\u63a8\u8ad6\u306b\u304a\u3051\u308b\u5358\u8abf\u6027\u898f\u5247\u3002 \u7406\u89e3\u3059\u308b \u4e8c\u91cd\u5426\u5b9a\u306e\u540c\u5024\u6027\u304a\u3088\u3073\u547d\u984c\u8ad6\u7406\u306e\u542b\u610f\u306e\u5bfe\u5076\u3002 \u7fd2\u5f97\u3059\u308b \u63a8\u8ad6\u6280\u6cd5\u306e\u8a3c\u660e\u3092\u5b66\u3073\u3001\u5b9f\u8df5\u306b\u5fdc\u7528\u3067\u304d\u308b\u3088\u3046\u306b\u3059\u308b\u3002 \u76ee\u6b21 \u4eee\u5b9a\u898f\u5247\uff08PRE\uff09 \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09 \u4e8c\u91cd\u5426\u5b9a\u306e\u540c\u5024\u6027\uff08DN\uff09 \u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\uff08CPI\uff09 \u3059\u3067\u306b\u63a8\u8ad6\u306e\u69cb\u9020\u3068\u7c21\u5358\u306a\u4f8b\u306b\u3064\u3044\u3066\u5b66\u3073\u307e\u3057\u305f\u3002\u3053\u3053\u3067\u306f\u305d\u306e\u77e5\u8b58\u3092\u7528\u3044\u3066\u3001\u547d\u984c\u8ad6\u7406\u306b\u304a\u3051\u308b4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\u3092\u4f7f\u3063\u3066\u63a8\u8ad6\u3092\u884c\u3063\u3066\u307f\u307e\u3057\u3087\u3046\u3002\u3053\u308c\u306b\u3088\u308a\u3001\u3053\u308c\u3089\u306e\u6280\u6cd5\u304c\u5b9f\u969b\u306b\u6a5f\u80fd\u3059\u308b\u3053\u3068\u3092\u78ba\u8a8d\u3059\u308b\u3060\u3051\u3067\u306a\u304f\u3001\u3053\u308c\u307e\u3067\u521d\u6b69\u7684\u3060\u3063\u305f\u547d\u984c\u8ad6\u7406\u306e\u8a08\u7b97\u306b\u8c4a\u304b\u3055\u3092\u4e0e\u3048\u308b\u624b\u7d9a\u304d\u304c\u5c0e\u5165\u3055\u308c\u307e\u3059\u3002 \u547d\u984c\u8ad6\u7406\u306e\u5f0f , , \u306b\u5bfe\u3057\u3066\u3001\u4ee5\u4e0b\u306e\u63a8\u8ad6\u6280\u6cd5\u3092\u57fa\u790e\u304b\u3089\u5c0e\u304f\u3053\u3068\u304c\u53ef\u80fd\u3067\u3059\uff1a \u4eee\u5b9a\u898f\u5247\uff08Pre\uff09 \u6700\u3082\u57fa\u672c\u7684\u306a\u63a8\u8ad6\u898f\u5247\u306f\u4eee\u5b9a\u898f\u5247\u3067\u3059\u3002\u3053\u308c\u306f\u3001\u5b9a\u7406 \u306b\u5bfe\u3057\u3066\u63a8\u8ad6\u5b9a\u7406\u306e\u9006\u3092\u76f4\u63a5\u9069\u7528\u3059\u308b\u3053\u3068\u3067\u5c0e\u51fa\u3055\u308c\u307e\u3059\u3002\u3082\u3057\u3053\u306e\u8aac\u660e\u304c\u96e3\u3057\u304f\u805e\u3053\u3048\u305f\u3068\u3057\u3066\u3082\u3001\u5fc5\u8981\u306a\u60c5\u5831\u306f\u3059\u3079\u3066\u3053\u3061\u3089\u306b\u3042\u308a\u307e\u3059\u3002 \u3053\u306e\u898f\u5247\u3092\u5358\u8abf\u6027\u898f\u5247\u3068\u7d44\u307f\u5408\u308f\u305b\u308b\u3053\u3068\u3067\u3001\u63a8\u8ad6\u5185\u306b\u90fd\u5408\u306e\u3088\u3044\u5f0f\u3092\u52a0\u3048\u308b\u3053\u3068\u304c\u53ef\u80fd\u306b\u306a\u308a\u307e\u3059\u3002 \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\uff08SH\uff09 \u4eee\u8a00\u4e09\u6bb5\u8ad6\u6cd5\u3001\u3059\u306a\u308f\u3061\u542b\u610f\u306e\u63a8\u79fb\u5f8b\u306f\u3001\u30e2\u30fc\u30c0\u30b9\u30dd\u30cd\u30f3\u30b9\u306e\u767a\u5c55\u5f62\u3068\u3082\u3044\u3048\u308b\u898f\u5247\u3067\u3059\u3002\u305d\u306e\u5f62\u5f0f\u306f\u4ee5\u4e0b\u306e\u3068\u304a\u308a\u3067\u3059\uff1a \u3053\u306e\u63a8\u8ad6\u898f\u5247\u306b\u306f\u3044\u304f\u3064\u304b\u306e\u5c0e\u51fa\u65b9\u6cd5\u304c\u5b58\u5728\u3057\u307e\u3059\u304c\u3001\u3053\u3053\u3067\u306f\u305d\u306e\u3046\u3061\u306e2\u901a\u308a\u3092\u7d39\u4ecb\u3057\u307e\u3059\u3002 \u5f0f\u3092\u524d\u63d0\u3068\u3057\u3066\u63a8\u8ad6\u3059\u308b\u5834\u5408\u3001\u6b21\u306e\u3088\u3046\u306a\u63a8\u8ad6\u306e\u69cb\u7bc9\u306f\u5bb9\u6613\u3067\u3059\uff1a (1) ; \u524d\u63d0 (2) ; \u524d\u63d0 (3) ; \u524d\u63d0 (4) ; MP(1,2) (5) ; MP(4,3) \u3057\u305f\u304c\u3063\u3066 \u6700\u5f8c\u306b\u3001\u3053\u306e\u5f0f\u306b\u63a8\u8ad6\u5b9a\u7406\u3092\u9069\u7528\u3059\u308c\u3070\u3001\u6b21\u306e\u3088\u3046\u306b\u306a\u308a\u307e\u3059\uff1a \u3053\u306e\u898f\u5247\u3092\u8a3c\u660e\u3059\u308b\u3082\u3046\u4e00\u3064\u306e\u65b9\u6cd5\u306f\u3001\u63a8\u8ad6\u306e\u5f62\u5f0f\u81ea\u4f53\u3092\u57fa\u306b\u3057\u3066\u69cb\u7bc9\u3059\u308b\u3053\u3068\u3067\u3042\u308a\u3001\u4eee\u5b9a\u898f\u5247\u3068\u5358\u8abf\u6027\u3092\u7528\u3044\u3066\u69cb\u6210\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u307e\u3059\u3002\u4ee5\u4e0b\u306e\u3088\u3046\u306b\u3001\u63a8\u8ad6\u3092\u7528\u3044\u305f\u8a3c\u660e\u3092\u898b\u3066\u307f\u307e\u3057\u3087\u3046\uff1a (1) ; [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":27340,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"iawp_total_views":1,"footnotes":""},"categories":[1362,1300,1356],"tags":[],"class_list":["post-33825","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-1362","category--ja","category-1356"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.4 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5 - toposuranos.com\/material<\/title>\n<meta name=\"description\" content=\"\u540c\u5024\u6027\u3001\u305d\u3057\u3066\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\u3092\u89e3\u8aac\u3057\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\/\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\/\" \/>\n<meta property=\"og:locale\" content=\"es_ES\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\" \/>\n<meta property=\"og:description\" content=\"\u540c\u5024\u6027\u3001\u305d\u3057\u3066\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\u3092\u89e3\u8aac\u3057\u307e\u3059\u3002\" \/>\n<meta property=\"og:url\" content=\"http:\/\/toposuranos.com\/material\/ja\/\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\/\" \/>\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-27T13:00:27+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2025-07-31T02:12:57+00:00\" \/>\n<meta property=\"og:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/sistemasdeductivos.jpg\" \/>\n<meta name=\"author\" content=\"giorgio.reveco\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:title\" content=\"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\" \/>\n<meta name=\"twitter:description\" content=\"\u540c\u5024\u6027\u3001\u305d\u3057\u3066\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\u3092\u89e3\u8aac\u3057\u307e\u3059\u3002\" \/>\n<meta name=\"twitter:image\" content=\"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/sistemasdeductivos.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%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/#article\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/\"},\"author\":{\"name\":\"giorgio.reveco\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#\\\/schema\\\/person\\\/e15164361c3f9a2a02cf6c234cf7fdc1\"},\"headline\":\"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\",\"datePublished\":\"2021-01-27T13:00:27+00:00\",\"dateModified\":\"2025-07-31T02:12:57+00:00\",\"mainEntityOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/\"},\"wordCount\":968,\"commentCount\":0,\"publisher\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#organization\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/sistemasdeductivos.jpg\",\"articleSection\":[\"\u547d\u984c\u8ad6\u7406\",\"\u6570\u5b66\",\"\u6570\u7406\u8ad6\u7406\u5b66\"],\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/\",\"name\":\"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5 - toposuranos.com\\\/material\",\"isPartOf\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/#primaryimage\"},\"image\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/#primaryimage\"},\"thumbnailUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/sistemasdeductivos.jpg\",\"datePublished\":\"2021-01-27T13:00:27+00:00\",\"dateModified\":\"2025-07-31T02:12:57+00:00\",\"description\":\"\u540c\u5024\u6027\u3001\u305d\u3057\u3066\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\u3092\u89e3\u8aac\u3057\u307e\u3059\u3002\",\"breadcrumb\":{\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/#breadcrumb\"},\"inLanguage\":\"es\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"es\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/#primaryimage\",\"url\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/sistemasdeductivos.jpg\",\"contentUrl\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/wp-content\\\/uploads\\\/2024\\\/07\\\/sistemasdeductivos.jpg\",\"width\":1024,\"height\":356,\"caption\":\"Created with GIMP\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/ja\\\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Portada\",\"item\":\"http:\\\/\\\/toposuranos.com\\\/material\\\/es\\\/cursos-de-matematica-y-fisica\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\"}]},{\"@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":"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5 - toposuranos.com\/material","description":"\u540c\u5024\u6027\u3001\u305d\u3057\u3066\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\u3092\u89e3\u8aac\u3057\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\/\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\/","og_locale":"es_ES","og_type":"article","og_title":"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5","og_description":"\u540c\u5024\u6027\u3001\u305d\u3057\u3066\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\u3092\u89e3\u8aac\u3057\u307e\u3059\u3002","og_url":"http:\/\/toposuranos.com\/material\/ja\/\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5\/","og_site_name":"toposuranos.com\/material","article_publisher":"https:\/\/www.facebook.com\/groups\/toposuranos","article_published_time":"2021-01-27T13:00:27+00:00","article_modified_time":"2025-07-31T02:12:57+00:00","og_image":[{"url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/sistemasdeductivos.jpg","type":"","width":"","height":""}],"author":"giorgio.reveco","twitter_card":"summary_large_image","twitter_title":"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5","twitter_description":"\u540c\u5024\u6027\u3001\u305d\u3057\u3066\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\u3092\u89e3\u8aac\u3057\u307e\u3059\u3002","twitter_image":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/sistemasdeductivos.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%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/#article","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/"},"author":{"name":"giorgio.reveco","@id":"http:\/\/toposuranos.com\/material\/#\/schema\/person\/e15164361c3f9a2a02cf6c234cf7fdc1"},"headline":"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5","datePublished":"2021-01-27T13:00:27+00:00","dateModified":"2025-07-31T02:12:57+00:00","mainEntityOfPage":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/"},"wordCount":968,"commentCount":0,"publisher":{"@id":"http:\/\/toposuranos.com\/material\/#organization"},"image":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/sistemasdeductivos.jpg","articleSection":["\u547d\u984c\u8ad6\u7406","\u6570\u5b66","\u6570\u7406\u8ad6\u7406\u5b66"],"inLanguage":"es","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/#respond"]}]},{"@type":"WebPage","@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/","url":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/","name":"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5 - toposuranos.com\/material","isPartOf":{"@id":"http:\/\/toposuranos.com\/material\/#website"},"primaryImageOfPage":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/#primaryimage"},"image":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/#primaryimage"},"thumbnailUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/sistemasdeductivos.jpg","datePublished":"2021-01-27T13:00:27+00:00","dateModified":"2025-07-31T02:12:57+00:00","description":"\u540c\u5024\u6027\u3001\u305d\u3057\u3066\u542b\u610f\u306e\u5bfe\u5076\u306b\u3088\u308b\u540c\u5024\u6027\u3092\u89e3\u8aac\u3057\u307e\u3059\u3002","breadcrumb":{"@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/#breadcrumb"},"inLanguage":"es","potentialAction":[{"@type":"ReadAction","target":["http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/"]}]},{"@type":"ImageObject","inLanguage":"es","@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/#primaryimage","url":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/sistemasdeductivos.jpg","contentUrl":"http:\/\/toposuranos.com\/material\/wp-content\/uploads\/2024\/07\/sistemasdeductivos.jpg","width":1024,"height":356,"caption":"Created with GIMP"},{"@type":"BreadcrumbList","@id":"http:\/\/toposuranos.com\/material\/ja\/%e5%91%bd%e9%a1%8c%e8%ab%96%e7%90%86%e3%81%ae%e4%b8%8d%e5%8f%af%e6%ac%a0%e3%81%aa4%e3%81%a4%e3%81%ae%e6%8e%a8%e8%ab%96%e6%8a%80%e6%b3%95\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Portada","item":"http:\/\/toposuranos.com\/material\/es\/cursos-de-matematica-y-fisica\/"},{"@type":"ListItem","position":2,"name":"\u547d\u984c\u8ad6\u7406\u306e\u4e0d\u53ef\u6b20\u306a4\u3064\u306e\u63a8\u8ad6\u6280\u6cd5"}]},{"@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\/33825","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=33825"}],"version-history":[{"count":0,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/posts\/33825\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media\/27340"}],"wp:attachment":[{"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/media?parent=33825"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/categories?post=33825"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/toposuranos.com\/material\/wp-json\/wp\/v2\/tags?post=33825"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}