重言式(Tautology )又稱為永真式,它的漢語拼音為:[Chóng yán shì],是邏輯學的名詞,它的的數學符號是\models。定義給定一命題公式,若無論對分量作怎樣的指派, ...
確定! 回上一頁