你即將離開本站

並前往https://zh.wikipedia.org/wiki/%E7%9B%B8%E7%BB%A7%E5%BC%8F

相继式- 维基百科，自由的百科全书

在证明论中，相继式（sequent）是对在规定演绎的演算的时候经常用到的可证明性的形式陈述。 ... 您现在使用的中文变体可能会影响一些词语繁简转换的效果。

確定！ 回上一頁

查詢 「sequent中文」的人也找了：

  1. subsequent中文
    2.
  2. sequence中文
    3.
  3. Subsequent
    4.
  4. 順序 中文
    5.
  5. Sequent subsequent
    6.
  6. Sequently
    7.
  7. Subsequent 用法
    8.
  8. 隨之 英文
    9.