作者totopi (totopi)
看板logic
標題Re: [請益] 簡易語意邏輯
時間Sat Aug 20 01:49:26 2005
※ 引述《nEOpReNCeDo (justNeo)》之銘言：
: 因為
: 你在這
: 我才來
: 是指
: 我來===>你在這
: (充分) (必要)
: 是這樣意思吧?
: 唔....還是iff >"<
你想的對了，可是符號不能這樣寫喔。
你在這 P
我來 Q
P--> Q
當上一句成立，也就是有效時，
我們稱P為充分條件，而Q則是使這句有效的必要條件。
但是呢，P--> Q 不等於 Q----> P
所以你上面指的 我來----> 你在這 是另外一個語句喔。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 218.170.22.91