单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级协议验证技术4- 网 络 协 议 工 程 第 4讲：协议验证技术41920221协议验证技术第 4 讲：协议验证技术4.1 概述4.2 协议性质4.3 可达性分析4.4 不变性分析4.5 逻辑证明4.6 其它验证方法?41920222协议验证技术协议验证每一个新设计的协议在被完全证明没有错误之前都应认为不是完全正确的协议验证技

反證法:什麼是反證法反證法是一種常用的間接証明方法它是從否命題的結論出發通過正確的邏輯推理導致矛盾達到推翻了結論的反面從而肯定這個命題真實反證法在邏輯上的理論依據是形式邏輯中的兩個基本規律──矛盾律和排中律即在是和不是這兩個判斷中總有一個是真的另一是假的用反證法證明一命題有三個步驟：(1)反證：假設待證的結論不成立即假定原結論的反面為真(2)歸謬：由反設和已知條件出發通過一系列正確的邏輯推理