湊合定義

湊合定義(definition by conditions)定義函式的一種方式.設Pt,Pz,... }P,為m個互不可兼(即不能同時為真)的、元謂詞,gt , gz } ... } g}+i為m十1個已知函式,則如下定義函式f的方法稱為湊合定義:
湊合定義
可見湊合定義(藉助於加法、乘法及N函式)可以化歸為疊置.

相關詞條

熱門詞條

聯絡我們