推 wilo:你的符號好亂... 11/17 00:39
推 dementia:我根本就看無 11/17 02:38
請在以下定理的證明的空格中填入適當的式子
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