作者weipoyen (除非己莫为)
看板Logic
标题Re: [问题] 一个自然演绎法的问题
时间Sun Dec 12 18:28:49 2004
论证的有效性
一论证是有效的,如底下条件成立的话:必然地当它所有前题为真,则结论也真.
[必然地]是指说
当论证在任何情况下皆为真
也就是不管其中的变数怎麽乱来
它运算过程的最後一步骤为真
p∥p →p
────
T∥T T T
F∥F T F
^
这一行要是T
(有错请指正)
--
如果我是一个完全的白痴,我就当飞行员;但是,如果不是,我就当哲学家.
---维根斯坦
只要我不当飞行员,我就不是完全的白痴;而且,如果是,我就不当哲学家.
---佚
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.239.100
※ 编辑: weipoyen 来自: 140.112.239.100 (12/12 18:49)