证明或反驳量词(命题逻辑)



我可以采取什么方法来解决这些问题:
证明或反驳下列陈述。话语的宇宙是N={1,2,3,4,…}。

(a) ∀x∃y,y=x·x
(b) ∀y∃x,y=x·x
(c) y,y=x·x

解决此类问题的最佳方法是首先思考它们,直到你确信它们可以被证明或被推翻。

如果它们可以反证,那么你所要做的就是提供一个反例来反证这个说法。例如,对于b,我可以想到反例y=2。N中不存在N*N=2的数字x。因此,有一个反例,这个说法是错误的。

如果这个陈述看起来是真的,那么可能需要使用一些公理或重言法来证明这个陈述。例如,已知两个整数相乘后总会产生另一个整数。

希望这是一个足够的方法让你去。

要证明某些东西的存在,请找到一个它为真的例子
为了证明∀xF(x),取任意常数a并证明F(a)为真
反例可以用来反驳陈述,但不能反驳陈述。要反驳∃xF(x),请证明∀x!F(x)。所以,取一个任意的常数a,证明F(a)是假的。

相关内容

  • 没有找到相关文章

最新更新