移动端

  • 题王微信公众号

    题王微信公众号

    微信搜“题王网”真题密题、最新资讯、考试攻略、轻松拿下考试

填空题

谓词逻辑中,重言式(tautlogy)的值是()。

发布日期:2020-12-11

谓词逻辑中,重言式(tautlogy)的值是()。

试题解析

谓词逻辑

谓词,在谓词逻辑中,原子命题分解成个体词和谓词。 个体词是可以独立存在的事或物,包括现实物、精神物和精神事三种。谓词则是用来刻画个体词的性质的词,即刻画事和物之间的某种关系表现的词。如“苹果”是一个现实物个体词,"苹果可以吃"是一个原子命题,“可以吃”是谓词,刻划“苹果”的一个性质,即与动物或人的一个关系。

中文名
谓词逻辑
主体
形式逻辑
类别
逻辑
学科
数学

重言式

重言式(Tautology )又称为永真式,它的汉语拼音为:[Chóng yán shì],是逻辑学的名词。命题公式中有一类重言式。如果一个公式,对于它的任一解释下其真值都为真,就称为重言式(永真式)。数理逻辑旨在利用有限的公理推出尽可能多的重言式,除此之外,重言式在计算机词法分析领域也具有重要应用。

中文名
重言式
别名
永真式
类别
命题公式
外文名
Tautology
拼音
Chóng yán shì
所属学科
离散数学、逻辑学

题王网让考试变得更简单

扫码关注题王,更多免费功能准备上线!

此试题出现在

大学试题

工学

去刷题
热门试题热门资讯 相关试题

暂无相关推荐~