什麼是一階邏輯

一階邏輯也叫一階謂詞演算，允許量化陳述的公式，是使用於數學、哲學、語言學及計算機科學中的一種形式系統。一階邏輯是區別於高階邏輯的數理邏輯，它不允許量化性質。性質是一個物體的特性；所以一個紅色物體被表述為有紅色的特性。

一階邏輯和其他高階邏輯不同之處在於，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在。在一階邏輯中，斷言通常和集合相關連。在有意義的高階邏輯中，斷言則會被解釋為集合的集合。