Re: [請益] 關於真假值的問題
※ 引述《yuggoth (yuggoth)》之銘言：
: 有人可以幫忙證明
: 為什麼一敘述 P 為真，則它的否定敘述敘述 ~P 為假；
: 敘述 P 為假，則它的否定敘述敘述 ~P 為真。
: 謝謝幫忙和指教。
Define H﹁＝｛〈T,F〉〈F,T〉｝,
and φ=｛p∣p belongs to language of propositional logic｝→｛T,F｝
那麼你的問題可以有兩種詮釋：1, φ（﹁p）= H﹁（φ（p））
2, ﹁（φ（p）=φ（﹁p））
從定義可知，我已經預設語句的真假值只有真及假二值，我只能向你證明
這兩個詮釋是等價。證明的過程也很簡單，只要操弄上述定義就可以了。
就我曾學過的系統，你的問題是被當成定義來使用的，
而排中律是這個定義的邏輯結果。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.168.168.181
推
01/29 21:32, , 1F
01/29 21:32, 1F
討論串 (同標題文章)