(单选题)

重言式（Tautology）又称为永真式，是逻辑学的名词。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。
下列选项不属于重言式的是：

A.马是动物，动物都有生命，所以马有生命

B.人的性别只有男女两种，所以某个人的性别也只有男女两种可能性

C.A>B，B>C，则A>C

D.如果爱一个人，就会和他结婚

参考答案：D

参考解析：

第一步，本题考查单定义，属于选非题。
       第二步，关键信息为“对于它的任一解释下其真值都为真”。
       因此，选择D选项。
       A项：马是动物为真，动物有生命为真，所以马有生命也为真，符合定义。
       B项：人的性别只有男女两种为真，某个人的性别也只有两种为真，符合定义。
       C项：A>B，B>C为真时，A>C必然为真，符合定义。

知识点：单定义判断推理定义判断地市级公务员考试地级市考