作者aletheia (HERESY)
看板Logic
标题Re: 请问各位大大
时间Fri May 2 14:26:34 2003
※ 引述《rudypann (最近喜欢桑田佳佑的歌)》之铭言：
: LOGIC真不代表前提是真
逻辑上必然为真指的是在所有的可能状况中为真
他问的可能是说逻辑上必然为真吧？
如果他是问逻辑上所说的「真」是什麽意思？
那就要另外回答了
: 蕴含是由於前提是结论的充份条件而言
: 而结论是前提的必要条件
: LOGIC蕴含有两种
: 第一是前提是结论之充份条件而言
: P-->Q
: 第二是两箭头的"若且唯若"式
: P<-->Q
: 第二种有一种样态叫套套LOGIC
: 此种比如:A是A(这是简单的)
......
蕴含有实质蕴含与逻辑蕴含不同
逻辑蕴含指的是从前提entail出结论
结论和前提具有entailment relation
实质蕴含所说的才是一般的条件句
--
※ 发信站: 批踢踢实业坊(ptt.csie.ntu.edu.tw)
◆ From: 140.112.197.39