作者wccccc (喔)
看板logic
标题[请益] 公理系统的解题
时间Wed Nov 12 23:07:31 2008
请在以下定理的证明的空格中填入适当的式子
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
1F：推 wilo:你的符号好乱... 11/17 00:39
2F：推 dementia:我根本就看无 11/17 02:38