推 somedoubt:你確定"可以"的語意是你說的這樣？ 10/18 06:46
※ 引述《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)