哲概上課提到
(~p v p)為恆真句 ("~"為"非"表否定 "v"為或)
不管是在何種情況 這句話之所以為真是因為句型的關係
某次邱驗敏來我房裡討論 想到證明方法
希望大家能提出意見討論 有錯誤拜託指證 謝謝
*******證明開始分格線*******
前提:一個敘述不是真就是假 不可以同時為真或同假
設:(~p v p)為假
那[~(~p v p)]就為真
=> (p且~p)為真 (把"~"乘進去)
但同一個句子不能同時為真
所以(p且~p)為假
得知{[~(~p v p)]就為真 }為假
與假設矛盾
所以(~p v p)為真
得證
*******解說分格線*******
這是以數學歸謬法的方法來證明
我不會用傳統方法的邏輯證明...||| *殘念*
--
※ 發信站: 批踢踢實業坊(ptt.csie.ntu.edu.tw)
◆ From: 140.119.191.75