高級邏輯芯片
高級邏輯芯片
相關(guān)文章 : 1篇
瀏覽 : 13次
高階邏輯亦稱“廣義謂詞邏輯”、“高階謂詞邏輯”。一階邏輯的推廣系統(tǒng),謂詞邏輯的重要組成部分。謂詞邏輯有一階邏輯和高階邏輯之分。在一階邏輯中,量詞只能用于個體變元,取消這一限制條件,允許量詞也可用于命題變元和謂詞變元,由此構(gòu)造起來的謂詞邏輯就是高階邏輯。公理化的高階邏輯系統(tǒng)或高階邏輯的自然推理系統(tǒng)又稱為廣義謂詞演算或高階謂詞演算
推薦產(chǎn)品
列表欄目