弱完備性

弱完備性,數學術語。

基本介紹

  • 中文名:弱完備性
  • 類型:數學術語
英文,定義,

英文

Weak completeness

定義

如果Φ是一個有限的公式集合,並且Φ╠ α(Φ滿足α),那么Φ→α(Φ演繹導出α),特別是Φ為空的時候也成立.

相關詞條

熱門詞條

聯絡我們