(单选题)
重言式(Tautology)又称为永真式,是逻辑学的名词。如果一个公式,对于它的任一解释下其真值都为真,就称为重言式(永真式)。数理逻辑旨在利用有限的公理推出尽可能多的重言式,除此之外,重言式在计算机词法分析领域也具有重要应用。
下列选项不属于重言式的是:
A.马是动物,动物都有生命,所以马有生命
B.人的性别只有男女两种,所以某个人的性别也只有男女两种可能性
C.A>B,B>C,则A>C
D.如果爱一个人,就会和他结婚
参考答案:D
知识点:单定义 判断推理 定义判断 地市级公务员考试 地级市考