离散数学问题,关于一阶逻辑

2024-11-22 22:13:44
推荐回答(1个)
回答1:

  1. 对任意xF(x)成立,可以得到存在x,F(x)成立,所以左边为真

  2. A∧A的真值和A相同

    综上第二题为永真式