謂詞邏輯

研究謂詞命題和這類命題之間推理關(guān)系的科學。又稱一階邏輯,數(shù)理邏輯的分支學科。謂詞邏輯以數(shù)學命題、數(shù)學理論的形式化及謂詞推理為研究對象。在程序的正確性證明、數(shù)學定理的機器證明以及智能機的語言(prolog)等方面都有 ......    （本文共 714 字 ）     [閱讀本文] >>