[請益] 公理系統的解題

看板logic作者wccccc (喔)時間17年前 (2008/11/12 23:07)推噓2(2推 0噓 0→)

留言2則, 2人參與討論串1/1

請在以下定理的證明的空格中填入適當的式子 P>(Q>(P>Q)) 1. Q>(P>Q) (A1) 2. ___________ (A1) 3. P>(Q>(P>Q)) 1,2,(MP) ((P>(Q>R))>(P>Q))>((P>(Q>R))>(P>R)) 1. (P>(Q>R))>((P>Q)>(P>R)) (A2) 2. ______________________________ (A2) 3. ((P>(Q>R))>(P>Q))>((P>(Q>R))>(P>R)) 1,2,(MP) 公理系統的基本規則有這三個 A1 (φ>(Ψ>φ)) A2 ((φ>(Ψ>θ))>((φ>Ψ)>(φ>θ))) A3 ((┐φ>┐Ψ)>(Ψ>φ)) 我在解的時候都是括號的數量上出了問題不太懂為什麼會這樣推理煩請大家幫幫忙感謝!!! -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 140.112.245.7

推

wilo

11/17 00:39, , 1^F

11/17 00:39, 1^F

推

dementia

11/17 02:38, , 2^F

11/17 02:38, 2^F

‣ 返回看板[ logic ] 邏輯

‣ 更多 wccccc 的文章

文章代碼(AID): #196l4q5D (logic)