作者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)