离散数学中的蕴涵等值式是怎么回事，还有还有那个单横

如题所述

第1个回答 2016-12-21

本题不是等值式，是构造推理证明:
前提:┒Ex(P(x)∧H(x))，Ax(F(x)→H(x))。
结论:Ax(F(x)→┒P(x))
证明:
①┒Ex(P(x)∧H(x)) 前提引入
② Ax(┒P(x)∨┒H(x)) …… (以下每一步的理由留给你)
③Ax(H(x)→┒P(x))
④H(a)→┒P(a)
⑤Ax(F(x)→H(x))
⑥F(a)→H(a)
⑦F(a)→┒P(a)
⑧Ax(F(x)→┒P(x))
得证。本回答被网友采纳

第2个回答 2019-03-27

从真值的角度去理解最方便了，它的真值条件是：为真，当且仅当，左右两边的值一样。

相似回答

蕴含等值式如何理解???答：蕴含等值式理解误区：其一，在自然语言中，“如果p，则q“中的p 与q 往往有某种内在的联系，但在数理逻辑中“p→q"中的p与q不一定有什么内在联系。其二，在数学中，“如果p,则q“往往表示前件p 为真，q为真的推理关系，但在数理逻辑中，当前件p为假时，p→q为真。这个在现实中也有例子，比...