※ 引述《bigbrother (走自己的路)》之铭言： : ※ 引述《aletheia (HERESY)》之铭言： : 「ｖ」就能解决的。 ^^ : 是我没有表达清楚吧... : 你的意思是不是，逻辑符号「ｖ」和自然语言的「或」是不等同的？ : 不然逻辑符号的「ｖ」该如何翻译？选言？ @@ 喔喔 我先给你个建议好了 你在学东西的时候 会不会有时候发现 英文的名词和中文的名词一样看不太懂？ 在面对全新的符号时 把他就当作「那个」是个不错的习惯 尤其是在学逻辑时... 这符号英文名称叫做 disjunction : @@ 我们上课没有用教科书耶... 有一本参考书是叶新云的现代逻辑要义... : 但几乎没有用到书... : 就如你所说，逻辑蕴含成立若且唯若无情况Ｐ真Ｑ假，这我在下面也有提到 @@ : 我的意思是，光从ＰＱ的真假值「通常」是无法判断逻辑蕴含成立与否。例如当 : Ｐ真Ｑ真时，而只有在Ｐ真Ｑ假时才能确定逻辑蕴含不成立。 : 抱歉，你最後两句话我真的不懂你的意思 ^^* 简单来说 P和Q的意义就是真和假 要麽真 要麽假 就跟一般所说的「我吃饱了」的意义就是「我吃饱了」一样 : 另外，临时想到一个问题，若我已知Ｐ假Ｑ真，或是Ｐ假Ｑ假，能不能确定逻辑蕴含 : 成立？（这是不是你最後两句话的意思？） 喔喔 你的意思是说 「在一般的状况下 因为难以断定P和Q的真假值 所以有时不能以P和Q的真假值来断定逻辑蕴含成立与否」吗？ 至於你的问题 在命题逻辑的脉络下 是成立的 : : 我帮你补充一下 逻辑蕴含 entail 实质蕴含 : : 但实质蕴含并不 entail 逻辑蕴含 : : 我手边没有这的证明 不知道谁能贴上来一下 : 啊... entail 是指「导出」吗？ 若是的话，这部分我才刚学到 @@ 我一向不太清楚 entail到底是啥 你可以把他想为 「前提保证结论为真」 --

※ 发信站: 批踢踢实业坊(ptt.csie.ntu.edu.tw) ◆ From: 218.166.80.181 ※ 编辑: aletheia 来自: 218.166.80.181 (04/02 00:21)