定义设为一命题公式,对公式所有可能的赋值: (1)若的真值永为,则称公式为重言式(Tautology)或永真式。 (2)若的真值永为,则称公式为矛盾式(Contradictory)或永假 ...
確定! 回上一頁