Re: [請益] 請問一個邏輯問題 急! 麻煩大家解答
※ 引述《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
討論串 (同標題文章)
本文引述了以下文章的的內容：
完整討論串 (本文為第 2 之 2 篇)：