作者ewn (nwe)
看板logic
标题Re: [请益] 何谓充要条件
时间Thu Aug 25 10:50:01 2005
虽然还不太懂 不过觉得好像有说到我的问题所在
我会再想一下
谢谢
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
1F:推 thalesf:应该是指另外一个符号,他的符号代表"实质蕴含" 218.171.140.82 08/25
2F:→ thalesf:而一般的箭头是"逻辑蕴含" 218.171.140.82 08/25
3F:推 aletheia:嗯 我讲的是因果关系 实质蕴含通常就是箭头 59.112.241.210 09/02