杭州紫金港培训学校(紫金港专升本)杭州紫金港培训学校(紫金港专升本)
同等学力申硕学科综合(计算机科学与技术)

设 D(x):x 是数据库产品,S(x):x 支持事务处理。「有的数据库产品不支…

第 1 题单选题模拟题较易

设 D(x):x 是数据库产品,S(x):x 支持事务处理。「有的数据库产品不支持事务处理」形式化为( )

自然语句形式化谓词与量词否定型等值式量词分配等值式
回到课节:第 4 节 谓词逻辑:量词与自然语句的形式化
我要提问免费报名咨询