p → q真值表

题目

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
数理逻辑?是不是数学中的定理?
我感觉数学中的定理--充分条件的话,如果条件不满足,只能推出来不一定得不到结论才是正确的啊

答案

此题为命题逻辑,故不管前提与条件,只要是1,0就能推出结论为0.而其余都为假.
而在数理逻辑中,情况就不同了.
楼主自己可以去实验.