-
某些命题对于变元后的任何一种真值状况,它均为真,这样的命题称为重言式。
Some propositions are true for any truth value of their variables. Such propositions are called tautology.
youdao
-
某些命题对于变元后的任何一种真值状况,它均为真,这样的命题称为重言式。
Some propositions are true for any truth value of their variables. Such propositions are called tautology.
youdao