作者luciferii (路西瓜)
看板logic
标题Re: [讨论] 只有英文及格的人可以吃巧克力
时间Thu Oct 16 11:14:53 2008
※ 引述《teves (teves)》之铭言：
: 至於把P->Q 的Q定义成"可以吃巧克力"
: 虽然还说的通
: 但是这样做很奇怪
一点都不奇怪
"->"在逻辑里并不是「可以」的意思，而是「则、就」
像是
P不可以吃巧克力
是这样写
P -> ~Q
而不是写成
~(P->Q)
当然也不会是写成
p ~-> Q
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 59.121.4.71
※ 编辑: luciferii 来自: 59.121.4.71 (10/16 11:15)
1F：推 somedoubt:你确定"可以"的语意是你说的这样？ 10/18 06:46