当前位置 :
离散数学中“同永真”、“同可满足”是什么意思,怎么定义的?
更新时间:2024-03-29 05:47:02
2人问答
问题描述:

离散数学中“同永真”、“同可满足”是什么意思,怎么定义的?

吉德志回答:
  不同的书有不同的说法,你所说的“同永真”、“同可满足”在清华大学耿素云的书中应该就是“重言的”、“可满足的”的意思吧?尽管本人没见过这种说法.   在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“可满足式”三种.
吉德志回答:
  明白你的意思了,“同永真”、“同可满足”指的是两个命题公式具有相同的真值。另外,我回答的后一句应该是:“在命题逻辑中,对命题公式的分类有“重言式”、“矛盾式”和“非重言可满足式”三种。”这样,就没交叉了。
数学推荐
最新更新
优秀数学推荐
热门数学
我查吗(wochama.com)汇总了汉语字典,新华字典,成语字典,组词,词语,在线查字典,中文字典,英汉字典,在线字典,康熙字典等等,是学生查询学习资料的好帮手,是老师教学的好助手。
声明:本网站尊重并保护知识产权,根据《信息网络传播权保护条例》,如果我们转载的作品侵犯了您的权利,请在一个月内通知我们,我们会及时删除。
电话:  邮箱:
Copyright©2009-2021 我查吗 wochama.com 版权所有 闽ICP备2021002822号-4