Some propositions are true for any truth value of their variables . Such propositions are called tautology.

  • 某些命题对于变元后的任何一种真值状况,它均为真,这样的命题称为重言式.

  • 词典精选例句 2025-01-19 08:56:46

    • 相关例句
    精确
    • 模糊
    • 词首
    • 词尾
    • 词义
    • 例句