first-order logic
原始詞典資料1 筆記錄
這個字我們還沒有寫成教學內容。以下是外部詞典記錄的用法，原文照列，方便你先看懂它的意思。
first-order logicnoun
- 1
human-scienceslogicmathematicsA formal deductive system extended from propositional logic with the possibility to quantify over individuals of the domain of discourse.
- At Cambridge in the mid-1990s, [Demis] Hassabis and [David] Silver encountered a culture still wedded to the midcentury assumptions. They were taught “first order logic,” a system of rigidly unambiguous statements that was used in deductive programming.
資料來源：英文維基詞典 English Wiktionary（CC BY-SA 4.0）。 原文照列，未經改寫。