移动端

  • 题王微信公众号

    题王微信公众号

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

名词解释题

重言式

发布日期:2020-12-11

重言式

试题解析

重言式规则

重言式规则(tautology rule)是2018年公布的计算机科学技术名词。

中文名
重言式规则
所属学科
计算机科学技术
外文名
tautology rule
公布时间
2018年

重言式

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

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

永真式

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

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

标签: 重言式

题王网让考试变得更简单

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

此试题出现在

大学试题

哲学

去刷题