作者catawu ( ggg)
看板logic
标题Re: [请益] 真值表的判断
时间Sun Mar 27 21:27:33 2005
※ 引述《Noelyuan (疗伤中)》之铭言：
: Ａ Ｂ│Ａ→Ｂ
: Ｔ Ｔ Ｔ
: Ｔ Ｆ Ｆ
: Ｆ Ｔ Ｔ
: Ｆ Ｆ Ｔ
: 请问一下最後一行是怎麽判断的，如果是ＡˇＢ；Ａ˙Ｂ好像可以用图示判断
: 那if then的模式要怎麽判断？
: 还是这是规定的运算符？
有一点争议
这个运算有点算是配合刚刚的deductive theorem
不过基本上仍有一些道理
考虑以下情形
如果 x<4 则 x<2 这一是我们认为成立的
若 x=5,x=3,x=1 三种情形即是真直表当中的那三行
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.143.98