p → q真值表例：如果你是百万富翁,我就嫁给你.（ p → q） p→q 1若：p是真,q是真,则 p→q是真； 2若：p是真,q是假,则 p→q是假； 3若：p是假,q是真,则 p→q是真； 4若：p是假,q是假,则 p→q是真.为啥3和4都是真的呢?应该是“如果你不是百万富翁,我不一定嫁给你.”才是真啊,即有可能嫁也有可能不嫁;而3和4都说的是:3“如果你不是百万富翁,我一定不嫁给你.”4“如果你不是百万富翁,我一定嫁给你.”这怎么会是真的呢?能详说下吗?3Q数理逻辑?是不是数学中的定理?我感觉数学中的定理--充分条件的话,如果条件不满足,只能推出来不一定得不到结论才是正确的啊
问题描述：
p → q真值表
例：如果你是百万富翁,我就嫁给你.（ p → q）
p→q
1若：p是真,q是真,则 p→q是真；
2若：p是真,q是假,则 p→q是假；
3若：p是假,q是真,则 p→q是真；
4若：p是假,q是假,则 p→q是真.
为啥3和4都是真的呢?应该是“如果你不是百万富翁,我不一定嫁给你.”才是真啊,即有可能嫁也有可能不嫁;而3和4都说的是:
3“如果你不是百万富翁,我一定不嫁给你.”
4“如果你不是百万富翁,我一定嫁给你.”
这怎么会是真的呢?
能详说下吗?3Q
数理逻辑?是不是数学中的定理?
我感觉数学中的定理--充分条件的话,如果条件不满足,只能推出来不一定得不到结论才是正确的啊
答
你到维基上去搜搜一些关于模型论的信息吧，反正我个人觉得（ p → q）的真值应该跟命题的模型有点关系，通过模型论（ p → q）的真值似乎可以理解成使 p为真的模型构成的集合Mp与使q为真的模型构成的集合Mq之间的包含关系，而Mp包含Mq也存在Mp为空集（p永假）或Mq为空集（q永假）的情况,这就解释了为什么上述条件命题的真值要那样规定。
答
q
答
此题为命题逻辑,故不管前提与条件,只要是1,0就能推出结论为0.而其余都为假.
而在数理逻辑中,情况就不同了.
楼主自己可以去实验.
答
3如果你是百万富翁，我就嫁给你
你不是百万富翁，所以我说什么都是真的啊
4你不是百万富翁，就算你是，我也不嫁给你，合起来，我嫁不嫁你，你是不是百万富翁，都可以，所以，也是真的