恆真式- 维基百科,自由的百科全书恆真式(tautology)又称为套套邏輯、恆真句、恆真式或重言式等。 恆真式是指在任何解釋下皆... 离散数学:上海科学技术文献出版社,1982 ...
確定! 回上一頁