移动端

  • 题王微信公众号

    题王微信公众号

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

单选题

永真式的否定是(  )。

发布日期:2022-07-20

永真式的否定是(  )。
A

永真式

B

永假式

C

可满足式子

D

A,B,C均有可能

试题解析

重言式

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

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

标签: 定是

题王网让考试变得更简单

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

此试题出现在

计算机科学与技术

离散数学与组合数学

去刷题