一階邏輯也叫一階謂詞演算，允許量化陳述的公式，是使用于數學、哲學、語言學及計算機科學中的一種形式系統 。一階邏輯是區別于高階邏輯的數理邏輯 ， 它不允許量化性質 。性質是一個物體的特性；所以一個紅色物體被表述為有紅色的特性 。
【什么是一階邏輯】一階邏輯和其他高階邏輯不同之處在于，高階邏輯的斷言可以有斷言或函數當做引數，且允許斷言量詞或函數量詞的（同時或不同時）存在 。在一階邏輯中，斷言通常和集合相關連 。在有意義的高階邏輯中，斷言則會被解釋為集合的集合 。
推薦閱讀
- 嬰兒屁股一大片紫色是什么
- 貓膀胱炎是什么引起的
- 安慶是哪里的哪個省的
- 寶寶吃奶量減少怎么辦
- 庫房管理方法
- 夢見樹上有兩只老虎
- 寶寶大便糊狀正常嗎
- 葡萄如何保鮮儲存
- 寶寶長牙煩躁期有多久
- 菜籽油為什么要先燒熱