帮我看下这个反证法的数理逻辑是正确的吗？

starwing83

回复 50# sacry


    这么说的话也对……说谎者只是对命题真假进行判定，并没有对命题本身否定……

ethantsien

sacry 发表于 2012-10-10 10:27
回复 45# starwing83

在p为真的情况下，~(p->q) <-> p->~q

所以说

如果我问你天空是蓝色，AND 你不会告诉我”是的“
如果我问你天空是蓝色，AND 你会告诉我”不是“

这两句其实是一个意思

因为，你要证明一个逻辑，只有前提是真的情况下，这个逻辑才有意义，因为假前提的情况下，无论推倒出结论是真是假，这个逻辑永远是真的


结论

1 真命题只能推导出真命题

2 只有假命题才能推倒出假命题

编辑一下，这里的“推导“的意思是，”通过正确的逻辑关系“

sacry

回复 52# ethantsien

恩，你说的是对的

我那里写仓促了，
我说这句话其实是想去IF-THEN消歧义，这句话里应该不需要IF逻辑
否则 不会告诉我”是的“ 和 你会告诉我”不是“ 不等价的。
因为 告诉我”是的“ 是 告诉我 AND 是的，所以否定应该是 不会告诉我 OR 告诉我不是 的样子。

1，如果我问你天空是蓝色的，你会告诉我“是的”  这句话用来描述问题不准确，
这句话转成Formal应该是
Your answer to P will be "yes"和IF I ask ,THEN your will answer的组合。