歸約冪語句

歸約冪語句(reduced power sentence)一種霍恩語句.指在歸約冪下保持的語句.筍為歸約冪語句,若且唯若只在獷等價於若干霍恩語句的析取.

相關詞條

熱門詞條

聯絡我們