你即將離開本站

並前往https://www.wikiwand.com/zh-tw/%E6%81%86%E7%9C%9F%E5%BC%8F

恆真式

恆真式（tautology）又稱為套套邏輯、恆真句、恆真式或重言式等。 ... 離散數學：上海科學技術文獻出版社，1982年. 王禮萍, 張樹功. 重言式和矛盾式的代數化證明[J].

確定！ 回上一頁

查詢 「tautology離散」的人也找了：

  1. contrapositive中文
    2.
  2. contrapositive數學
    3.
  3. Disjunction 數學
    4.
  4. contradiction離散
    5.
  5. 離散數學邏輯
    6.
  6. tautology語言學
    7.
  7. Tautology
    8.
  8. Contrapositive
    9.