单选题
用真值表检验重言式与矛盾式需要针对所讨论的命题建立一个（）。
发布日期：2020-12-11
重言式
矛盾式
真值列
真值行
试题解析
真值表
表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。 (表达式可以是论证；就是说，表达式的合取，它的每个结合项(conjunct)都是最后要做的结论的一个前提。)
- 中文名
- 真值表
- 别名
- 逻辑真值表
- 应用
- 计算机、通信
- 外文名
- truth table
- 学科
- 数理逻辑
- 作用
- 确定一个表达式是否为真或有效
矛盾式
矛盾式(contradictory formula)又称永假式、不可满足公式，是逻辑演算的一类公式。如果对任意一个赋值V，都有V[A]=0，即公式A对任一赋值均取“假”值，则公式A为矛盾式。在逻辑演算中，公式按取值情况分为三种：对任一赋值都取“真”值的为恒真式，恒真式在命题演算中为重言式，在谓词演算中即为普遍有效式；对某些赋值取“真”值、对某些赋值取“假”值的为可满足但非恒真式；还有一类即为矛盾式。其中普遍有效式表达一定的逻辑规律，而矛盾式则表达一的逻辑矛盾。
- 中文名
- 矛盾式
- 别名
- 常假式、永假式、不可满足式
- 外文名
- contradictory formula，unsatisfiable formula
- 所属学科
- 数学（逻辑演算）
讨论
讨论（tǎo lùn），汉语词汇，指就某一问题交换意见或进行辩论，引申指用于数学问题不确定条件的穷举演绎。
- 中文名
- 讨论
- 拼音
- tǎolùn
- 反义词
- 武断、独断
- 词性
- 动词
- 外文名
- discuss
- 近义词
- 议论
- 注音
- ㄊㄠˇ ㄌㄨㄣˋ
题王网让考试变得更简单
扫码关注题王，更多免费功能准备上线！
此试题出现在
营业线旁路堤帮宽施工要注意既有营业线施工路堤安全，施工中若发现（）要立即停止施工，并采取巡守、加固措施。[img:LzIwMTQtMDkvbWFqdW5waW5nLzIwMTQwOTAyMDkxNjA5MzQ1NTkucG5n]
患者女，65岁，因“多饮、多尿4年余，发现血钙升高1年9个月”来诊。近1周食欲减退、恶心、呕吐，口干明显，便秘。既往史：结节性甲状腺肿8年。查体：T36.5℃，P106次/min，R30次/min，BP90/50mmHg；意识清楚，精神萎靡；皮肤、口唇干燥；甲状腺Ⅱ度肿大，可触及多个结节，质中，无压痛；HR106次/min，律齐；双下肢无水肿。目前主要考虑的疾病有（）。
消除管道振动的有效措施之一是，在管道适当的位置设置固定支架、导向支架、滑动支架或限位装置，必要时设置减振器或阻尼器。
运行跟踪任务时，操作员可以手动将消息浏览窗口中的全部或部分消息存为.对mf对x对或.csv格式的文件，可以通过业务数据回顾工具对所有格式的消息文件进行离线浏览。
什么是新时代做好“三农”工作的总抓手？（）
张爱玲在《金锁记》的后半部分，主要描写了曹七巧与儿女之间的家庭矛盾，作品中曹七巧的儿媳名叫（）。
有关暴发型流脑败血症休克型的描述，下列哪项是错误的？（ ）
岩石本构方程
炭电极类
患者，女，59岁，一月前患胃溃疡，近日查体发现血脂异常，化验结果：TC 7.2mmol/L，TG 1.7mmol/L，LDL-C 4.3mmol/L，ALT 56U/L，AST 80U/L。该患者首选的调脂药是（ ）
暂无相关推荐~