你即將離開本站

並前往https://www.math.pku.edu.cn/teachers/linzq/teaching/ml/slides/ml-1_1.pdf

hei数理逻辑- fs讲义，第6 版，2021 年

用符号语言（symbolic language，或形式(formal) 语言）是基本的数学. 推理形式 ... 自指（self-reference）： “这个句子是用中文写的”. 悖论通常是自指语句.

確定！ 回上一頁

查詢 「tautology數學中文」的人也找了：

  1. tautology語言學
    2.
  2. 套套邏輯舉例
    3.
  3. 套套邏輯循環論證
    4.
  4. tautology中文
    5.
  5. Tautology
    6.
  6. 恆真意思
    7.
  7. tautology離散
    8.
  8. 套套邏輯ptt
    9.