命题都能写成“如果…那么…”形式吗？

命题都能写成“如果…那么…”形式吗？

期权匿名回答 · 2023-2-10 08:33:07

1、符号 P ∨ q 还原：
2、如果， P曹雪芹 ∨ 红楼梦 q ，
3、那么 GoD：
G 本还>原末/昰人非猴 P ∨ q 小说<文学<艺术<科学<思想<事实<上帝 D本体。 ,

期权匿名回答 · 2023-2-10 08:34:07

刚才看了另一个回答，有一个疑问，{→，﹁}是完备集，那“如果。。。那么。。。”是否包括“如果不。。。那么。。。”、“如果。。。那么不。。。”、“如果不。。。那么不。。。”呢？这样是否就可以涵盖了？
更新：是我理解错了，按题目要求的话，是不能用「不」的，也就是只有「→」而没有「﹁」。

期权匿名回答 · 2023-2-10 08:35:04

不行。如果...那么...其实就是逻辑运算符→，如果→可以表示任何命题，那么∧、 V、都要能用→表示。举个例子，一个命题P ∨ Q就可以用→表示成P → Q。显然，P ∧ Q、P都是无法仅用一个→符号就能表示的。
这方面严谨的推导论证需要看数理逻辑教材。

3 个回复