自足算子或自足連結詞是在一特定類的算子中只靠自身就能生成所有這些算子的算子。在邏輯中,它是足夠生成所有布林值函數的一個邏輯算子,,這裡的 是一個任意集合而 是一個通用的 2-元素集合,典型為 ,特別是生成所有的有限布林函數,。
參見
這是一篇與邏輯學相關的小作品。您可以透過編輯或修訂擴充其內容。 |
Wikiwand in your browser!
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.