（填空题）
谓词逻辑是一种表达能力很强的形式语言，其真值的特点和命题逻辑的区别是（）
正确答案
答案解析
略
相似试题
（填空题）
.CRC码的中文名称是（），又称（），是一种较为复杂的校验方法，有很强的检错能力。
（单选题）
（）也称为分支覆盖，是一种较强的逻辑覆盖。
（单选题）
VBS脚本病毒有很强的自我繁殖能力，其自我繁殖是指（）。
（判断题）
Word软件是一种功能很强的文字处理软件，可以编辑后缀名为.txt、.htm和.doc等多种格式的文件。
（单选题）
（）分镜台本：这种台本是一种常用的，实用性很强的台本，给动画制作后续部门一个很形象的指导蓝本。
（简答题）
产生式的基本形式是什么？它与谓词逻辑中的蕴含式有什么共同处及不同处？
（判断题）
已知x=’Python是一种非常好的编程语言’.encode（），那么表达式x.decode（’gbk’）的值为’Python是一种非常好的编程语言’。
（填空题）
Geodatabase是一种在（）和空间表达中组织GIS数据的核心地理信息模型，是一套获取和管理GIS数据的全面的应用逻辑和工具。
（判断题）
信息分析是一项应用性很强的工作。
