{"id":10391,"date":"2023-07-20T12:50:48","date_gmt":"2023-07-20T04:50:48","guid":{"rendered":"https:\/\/blog.iyatt.com\/?p=10391"},"modified":"2025-03-24T22:28:26","modified_gmt":"2025-03-24T14:28:26","slug":"%e5%85%85%e5%88%86%e5%bf%85%e8%a6%81%e6%9d%a1%e4%bb%b6","status":"publish","type":"post","link":"https:\/\/blog.iyatt.com\/?p=10391","title":{"rendered":"\u5145\u5206\u5fc5\u8981\u6761\u4ef6"},"content":{"rendered":"<div id=\"ez-toc-container\" class=\"ez-toc-v2_0_84 ez-toc-wrap-center counter-hierarchy ez-toc-counter ez-toc-light-blue ez-toc-container-direction\">\n<div class=\"ez-toc-title-container\">\n<p class=\"ez-toc-title ez-toc-toggle\" style=\"cursor:pointer\">\u76ee\u5f55<\/p>\n<span class=\"ez-toc-title-toggle\"><a href=\"#\" class=\"ez-toc-pull-right ez-toc-btn ez-toc-btn-xs ez-toc-btn-default ez-toc-toggle\" aria-label=\"Toggle Table of Content\"><span class=\"ez-toc-js-icon-con\"><span class=\"\"><span class=\"eztoc-hide\" style=\"display:none;\">Toggle<\/span><span class=\"ez-toc-icon-toggle-span\"><svg style=\"fill: #999;color:#999\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" class=\"list-377408\" width=\"20px\" height=\"20px\" viewBox=\"0 0 24 24\" fill=\"none\"><path d=\"M6 6H4v2h2V6zm14 0H8v2h12V6zM4 11h2v2H4v-2zm16 0H8v2h12v-2zM4 16h2v2H4v-2zm16 0H8v2h12v-2z\" fill=\"currentColor\"><\/path><\/svg><svg style=\"fill: #999;color:#999\" class=\"arrow-unsorted-368013\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\" width=\"10px\" height=\"10px\" viewBox=\"0 0 24 24\" version=\"1.2\" baseProfile=\"tiny\"><path d=\"M18.2 9.3l-6.2-6.3-6.2 6.3c-.2.2-.3.4-.3.7s.1.5.3.7c.2.2.4.3.7.3h11c.3 0 .5-.1.7-.3.2-.2.3-.5.3-.7s-.1-.5-.3-.7zM5.8 14.7l6.2 6.3 6.2-6.3c.2-.2.3-.5.3-.7s-.1-.5-.3-.7c-.2-.2-.4-.3-.7-.3h-11c-.3 0-.5.1-.7.3-.2.2-.3.5-.3.7s.1.5.3.7z\"\/><\/svg><\/span><\/span><\/span><\/a><\/span><\/div>\n<nav><ul class='ez-toc-list ez-toc-list-level-1 ' ><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-1\" href=\"https:\/\/blog.iyatt.com\/?p=10391\/#%E5%85%85%E5%88%86%E5%BF%85%E8%A6%81%E6%9D%A1%E4%BB%B6\" >\u5145\u5206\u5fc5\u8981\u6761\u4ef6<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-2\" href=\"https:\/\/blog.iyatt.com\/?p=10391\/#%E5%85%85%E5%88%86%E4%B8%8D%E5%BF%85%E8%A6%81%E6%9D%A1%E4%BB%B6\" >\u5145\u5206\u4e0d\u5fc5\u8981\u6761\u4ef6<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-3\" href=\"https:\/\/blog.iyatt.com\/?p=10391\/#%E5%BF%85%E8%A6%81%E4%B8%8D%E5%85%85%E5%88%86%E6%9D%A1%E4%BB%B6\" >\u5fc5\u8981\u4e0d\u5145\u5206\u6761\u4ef6<\/a><\/li><li class='ez-toc-page-1 ez-toc-heading-level-2'><a class=\"ez-toc-link ez-toc-heading-4\" href=\"https:\/\/blog.iyatt.com\/?p=10391\/#%E6%97%A2%E4%B8%8D%E5%85%85%E5%88%86%E4%B9%9F%E4%B8%8D%E5%BF%85%E8%A6%81%E6%9D%A1%E4%BB%B6\" >\u65e2\u4e0d\u5145\u5206\u4e5f\u4e0d\u5fc5\u8981\u6761\u4ef6<\/a><\/li><\/ul><\/nav><\/div>\n<h2><span class=\"ez-toc-section\" id=\"%E5%85%85%E5%88%86%E5%BF%85%E8%A6%81%E6%9D%A1%E4%BB%B6\"><\/span>\u5145\u5206\u5fc5\u8981\u6761\u4ef6<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p><code class=\"katex-inline\">a\\Leftrightarrow b<\/code><br \/>\na \u662f b \u7684\u5145\u5206\u5fc5\u8981\u6761\u4ef6\uff0c\u7531 a \u53ef\u4ee5\u63a8\u51fa b\uff0c\u7531 b \u4e5f\u53ef\u4ee5\u63a8\u51fa a<\/p>\n<p>\u4f8b\uff1a&quot;\u8d28\u91cf\u5927\u662f\u60ef\u6027\u5927\u7684\u5145\u5206\u5fc5\u8981\u6761\u4ef6&quot;\u3002\u56e0\u4e3a\u60ef\u6027\u7684\u552f\u4e00\u51b3\u5b9a\u56e0\u7d20\u662f\u8d28\u91cf\uff0c\u6240\u4ee5\u8d28\u91cf\u5927\u53ef\u4ee5\u5f97\u51fa\u60ef\u6027\u5927\uff0c\u60ef\u6027\u5927\u4e5f\u80fd\u5f97\u51fa\u8d28\u91cf\u5927\u3002<\/p>\n<h2><span class=\"ez-toc-section\" id=\"%E5%85%85%E5%88%86%E4%B8%8D%E5%BF%85%E8%A6%81%E6%9D%A1%E4%BB%B6\"><\/span>\u5145\u5206\u4e0d\u5fc5\u8981\u6761\u4ef6<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p><code class=\"katex-inline\">a\\Rightarrow b<\/code><br \/>\na \u662f b \u7684\u5145\u5206\u4e0d\u5fc5\u8981\u6761\u4ef6\uff0c\u7531 a \u53ef\u4ee5\u63a8\u51fa b\uff0c\u7531 b \u4e0d\u80fd\u63a8\u51fa a<\/p>\n<p>\u4f8b\uff1a\u201c\u5403\u82f9\u679c\u662f\u5403\u6c34\u679c\u7684\u5145\u5206\u4e0d\u5fc5\u8981\u6761\u4ef6\u201d\u3002\u82f9\u679c\u5c5e\u4e8e\u6c34\u679c\u7684\u4e00\u79cd\uff0c\u56e0\u6b64\u5403\u82f9\u679c\u53ef\u4ee5\u63a8\u51fa\u5403\u7684\u662f\u6c34\u679c\uff0c\u4f46\u662f\u5403\u6c34\u679c\u4e0d\u4e00\u5b9a\u662f\u5403\u82f9\u679c\uff0c\u9006\u5411\u5c31\u4e0d\u6210\u7acb\u4e86\u3002<\/p>\n<h2><span class=\"ez-toc-section\" id=\"%E5%BF%85%E8%A6%81%E4%B8%8D%E5%85%85%E5%88%86%E6%9D%A1%E4%BB%B6\"><\/span>\u5fc5\u8981\u4e0d\u5145\u5206\u6761\u4ef6<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p><code class=\"katex-inline\">a\\Leftarrow b<\/code><br \/>\na \u662f b \u7684\u5fc5\u8981\u4e0d\u5145\u5206\u6761\u4ef6\uff0c\u7531 b \u53ef\u4ee5\u63a8\u51fa a\uff0c\u4f46\u662f\u4e0d\u80fd\u7531 a \u63a8\u51fa b<\/p>\n<p>\u4f8b\uff1a\u201c\u5403\u6c34\u679c\u662f\u5403\u82f9\u679c\u7684\u5fc5\u8981\u4e0d\u5145\u5206\u6761\u4ef6\u201d\u3002\u5403\u6c34\u679c\u4e0d\u4e00\u5b9a\u662f\u5403\u82f9\u679c\uff0c\u6b63\u5411\u4e0d\u6210\u7acb\uff0c\u4f46\u662f\u5403\u82f9\u679c\u4e00\u5b9a\u662f\u5403\u6c34\u679c\uff0c\u9006\u5411\u6210\u7acb\u3002<\/p>\n<h2><span class=\"ez-toc-section\" id=\"%E6%97%A2%E4%B8%8D%E5%85%85%E5%88%86%E4%B9%9F%E4%B8%8D%E5%BF%85%E8%A6%81%E6%9D%A1%E4%BB%B6\"><\/span>\u65e2\u4e0d\u5145\u5206\u4e5f\u4e0d\u5fc5\u8981\u6761\u4ef6<span class=\"ez-toc-section-end\"><\/span><\/h2>\n<p>\u6761\u4ef6\u4e0d\u80fd\u63a8\u51fa\u7ed3\u8bba\uff0c\u7ed3\u8bba\u4e5f\u4e0d\u80fd\u63a8\u51fa\u6761\u4ef6<\/p>\n","protected":false},"excerpt":{"rendered":"<p>\u5145\u5206\u5fc5\u8981\u6761\u4ef6 a\\Leftrightarrow b a \u662f b \u7684\u5145\u5206\u5fc5\u8981\u6761\u4ef6\uff0c\u7531 a \u53ef\u4ee5\u63a8\u51fa b\uff0c\u7531 b  [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"zakra_page_container_layout":"customizer","zakra_page_sidebar_layout":"customizer","zakra_remove_content_margin":false,"zakra_sidebar":"customizer","zakra_transparent_header":"customizer","zakra_logo":0,"zakra_main_header_style":"default","zakra_menu_item_color":"","zakra_menu_item_hover_color":"","zakra_menu_item_active_color":"","zakra_menu_active_style":"","zakra_page_header":true,"_lmt_disableupdate":"no","_lmt_disable":"no","footnotes":""},"categories":[1,612],"tags":[],"class_list":["post-10391","post","type-post","status-publish","format-standard","hentry","category-all","category-612"],"modified_by":"IYATT-yx","_links":{"self":[{"href":"https:\/\/blog.iyatt.com\/index.php?rest_route=\/wp\/v2\/posts\/10391","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.iyatt.com\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.iyatt.com\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.iyatt.com\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.iyatt.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=10391"}],"version-history":[{"count":1,"href":"https:\/\/blog.iyatt.com\/index.php?rest_route=\/wp\/v2\/posts\/10391\/revisions"}],"predecessor-version":[{"id":19686,"href":"https:\/\/blog.iyatt.com\/index.php?rest_route=\/wp\/v2\/posts\/10391\/revisions\/19686"}],"wp:attachment":[{"href":"https:\/\/blog.iyatt.com\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=10391"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.iyatt.com\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=10391"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.iyatt.com\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=10391"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}