替代规则.pptVIP

邏 輯課程網頁：.tw/~ 第十二週： 自然演繹法III：替代規則 一、簡介替代規則 替代規則：以邏輯等值的形式來陳述(又被稱為「等值規則」)。 引入「≡」的符號：表示在它兩邊的語句是邏輯上等值的。在做證明時，邏輯等值的語句可以彼此替代。 一、簡介替代規則 十個替代規則：德摩根律(DeM)、對換法(Comm)、結合法(Assoc)、分配法(Dist)、雙重否定法(DN)、質位變換法(Contra)、蘊含法(Impl)、等值法(Equiv)、輸入輸出法(IE)、重複增減法(Idemp)。 替代規則可以用在整個語句，也可用在一個語句的一部份。 替代規則 德摩根律(DeM) ~( p ? q ) ≡ (~p ? ~q) ~( p ? q) ≡ (~p ? ~q) 對換法(Comm) ( p ? q ) ≡ ( q ? p ) ( p ? q) ≡ ( q ? p) 雙重否定法(DN) p ≡ ~ ~p 分配法(Dist) (p ? (q ? r)) ≡ (( p ? q) ? ( p ? r)) (p ? (q ? r)) ≡ (( p ? q) ? ( p ? r)) 質位變換法(Contra) (p→q) ≡ (~q→~p) 結合法(Assoc) (p ? (q ? r)) ≡ ((p ? q) ? r) (p ? (q ? r)) ≡ ((p