推 thalesf:應該是指另外一個符號，他的符號代表"實質蘊含" 218.171.140.82 08/25
→ thalesf:而一般的箭頭是"邏輯蘊含" 218.171.140.82 08/25
推 aletheia:嗯 我講的是因果關係 實質蘊含通常就是箭頭 59.112.241.210 09/02
雖然還不太懂 不過覺得好像有說到我的問題所在
我會再想一下
謝謝
By the way
你的 p -3 q 等同於 p -> q 嗎
還是 "-3 " 是另一個符號？
※ 引述《aletheia (HERESY)》之銘言：
: 這裡的Condition 和 "條件"
: 是不太一樣的東西
: 一般中文裡的條件 有"原因"的意思
: 當我們用中文說甲是乙的條件時
: 某種程度上的意思是說 甲是乙的原因之一
: 但在命題邏輯裡面講的condition
: 則沒有別的意思 而就只是
: "當一condition成立 其前件為真時 後件不可能為假"
: 你舉的例子比較像是
: p -3 q
: (天下雨的結果是地面濕)
: ※ 引述《ewn (nwe)》之銘言：
: : 那我依照你說的 試著去舉例 看看對不對
: : ex.p：天下雨 q:地面溼
: : 也就是 天下雨（現在正好下大雨 ^^）=>地面溼
: : 「天下雨」是「地面溼」的充分條件
: : 「地面溼」是「天下雨」的必要條件
: : -舉例完畢-
: : -以下是我的看法-
: : 我搞不太清楚「充分」、「必要」字面上的意思
: : 如果必要條件指的是一定要有的條件
: : 那「『地面溼』是『天下雨』的必要條件」就顯得有點怪怪的
: : 因為 地面溼不一定是天下雨的關係，也有可能是小狗撒尿的關係
: : 所以我覺得「地面溼」應該說是「天下雨」的必要「結果」
: : 而不是條件…
: : 是不是這樣啊？
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 60.248.28.46