离散数学中“同永真”、“同可满足”是什么意思,怎么定义的?
人气:281 ℃ 时间:2020-03-20 14:19:44
解答
不同的书有不同的说法,你所说的“同永真”、“同可满足”在清华大学耿素云的书中应该就是“重言的”、“可满足的”的意思吧?尽管本人没见过这种说法.
在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“可满足式”三种. 明白你的意思了,“同永真”、“同可满足”指的是两个命题公式具有相同的真值。 另外,我回答的后一句应该是: “ 在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“非重言可满足式”三种。”这样,就没交叉了。
推荐
- 关于离散数学基数概念的
- 离散数学的一道题(就是个概念)
- 离散数学当中的"哑元"是什么含义?
- 在离散数学中,“割点”的准确定义是什么?
- 到底什么是范式,能否下一个精确定义?
- 一句诗或词中楼字的诗词句有哪些?
- 如图,在平行四边形ABCD中,AB=4,∠BAD的平分线与BC的延长线交于点E,与DC交于点F,且点F为边DC的中点,DG⊥AE,垂足为G,若DG=1,则AE的边长
- X1的平方+X2的平方+X3的平方=15,那么数据的标准差是多少?
猜你喜欢