→ royt:------>u A true <= 這行的依據是? 10/25 00:18
→ yauhh:令A存在 10/25 15:58
※ 引述《brandonyuhu (雞排)》之銘言：
: 這題必須使用直接證法(即只能使用18條規則)
: 不可用間接證法&條件證法
: 題目如下：
: (A‧B)<-> (C‧D)
: A→B
: D→C
: ／∴A<->D
: 證明其有效性
: 不才的我想了四節課&兩個晚上還是證不出來
: 懇請大師們指點迷津(跪)
------>u A true
A->B true + A true --IE--> B true
A true + B true --AI--> (A.B) true
(A.B)->(C.D) true + (A.B) true --IE--> (C.D) true
(C.D) true --AE2--> D true
A true ... D true --II-->u A->D true
------>v D true
D->C true + D true --IE--> C true
C true + D true --AI--> (C.D) true
(C.D)->(A.B) true + (C.D) true --IE--> (A.B) true
(A.B) true --AE1--> A true
D true ... A true --II-->v D->A true
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.167.51.114
※ 編輯: yauhh 來自: 118.167.51.114 (10/20 23:18)