Question

逻辑数学中P→Q和P＝＞Q的区别是什么，不要用一个是联结词一个不是联结词来糊弄我。

Answer 1

个人的理解：举个例子来说明：有这样的一个命题：P∧(P→Q)=>Q，其中P→Q表示若P则Q，也就是说，在P值为真的前提下，就可以得到一个结论即P=>Q，所以=>符号主要是指在逻辑运算式中得到一个结论的符号。就像我们平时做加减乘除，需要一个等号一样。而P→Q就是指若P则Q的意思。

追问

若P为假，P=>Q总是真的呀

追答

若P为假，则就推导不出Q啊 现在我只是把→、=>这两个符合放在同一个命题里来理解他们的区别，如果仅仅是P=>Q 这样一个命题，就是表示，有P就可以推导得到Q的结论

追问

P=>Q表示为若P则Q，P为真时Q为真，但P为假时，Q应当是既可为真也可为假呀，如：若天冷则A会感冒，天不冷的话，A可能会感冒也可能不会感冒呀。

追答

嗯，你说的是对的。P=>Q、 P→Q 其实都是表示若P则Q的意思，只是现在你似乎跑题了。你只是问这两个符合的区别，所以现在不需要讨论Q是真还是假的意思吧，这里只是表示充分条件而已。所以不需要我再解释了吧

追问

P=>Q、 P→Q 都是表示若P则Q的意思的话，为什么要有两个符号

追答

请你仔细看我的第一次回答。我已经按照我的理解回答你的了。行不行就这样了。我的能力就这么多！

Answer 2

按照惯常用法的话，前一个是形式语言中的蕴涵连接词，后一个是元语言中的蕴涵连接词。

Answer 3

P箭头Q是P是Q的子集的意思吗？