作者somedoubt (人独立燕双飞)
看板logic
标题Re: [请益] 关於真假值的问题
时间Tue Nov 14 22:57:46 2006
※ 引述《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
1F：推 yuggoth:谢谢指教，不过我看不懂... 01/29 21:32