作者theyangist (theyangist)
看板logic
標題Re: [請益] 請問一個邏輯問題 急! 麻煩大家解答
時間Thu Dec 27 01:38:09 2012
※ 引述《jodawa (jodaway)》之銘言:
: 如何運用邏輯規則
: 從[(A -> B ) & ( C -> D )] -> {A -> [B & ( C -> D)]}
: 請教各位大大
: 謝謝!
1.|(A -> B) & (C -> D) /假設
2.||A /假設
3.||(A -> B) /1,Simp.
4.||B /2,3,MP
5.||(C -> D) /1,Simp.
6.||B & (C -> D) /4,5,Conj.
7.|(2.) -> (6.) /2-6,CP
8.(1.) -> (7.) /1-7,CP
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 115.82.140.157