一階邏輯也叫一階謂詞演算，允許量化陳述的公式 ， 是使用于數(shù)學(xué)、哲學(xué)、語言學(xué)及計(jì)算機(jī)科學(xué)中的一種形式系統(tǒng) 。一階邏輯是區(qū)別于高階邏輯的數(shù)理邏輯，它不允許量化性質(zhì) 。性質(zhì)是一個(gè)物體的特性；所以一個(gè)紅色物體被表述為有紅色的特性 。
【什么是一階邏輯】一階邏輯和其他高階邏輯不同之處在于 ， 高階邏輯的斷言可以有斷言或函數(shù)當(dāng)做引數(shù)，且允許斷言量詞或函數(shù)量詞的（同時(shí)或不同時(shí)）存在 。在一階邏輯中，斷言通常和集合相關(guān)連 。在有意義的高階邏輯中，斷言則會(huì)被解釋為集合的集合 。
推薦閱讀
- 千層肚是什么
- 什么是運(yùn)行棧
- 倒敘和插敘的區(qū)別 什么叫倒敘什么叫插敘
- 半臥位是什么姿勢(shì)
- 手機(jī)為什么存不了聯(lián)系人號(hào)碼
- auto是什么意思車上的車上的auto是什么意思
- 什么是揚(yáng)程
- 二建報(bào)考條件 二建報(bào)考條件是什么
- 什么是照顧專業(yè)內(nèi)部調(diào)劑
- 結(jié)婚三十年是什么婚 結(jié)婚三十年代表什么