second-order logic
原始詞典資料1 筆記錄
這個字我們還沒有寫成教學內容。以下是外部詞典記錄的用法，原文照列，方便你先看懂它的意思。
second-order logicnoun
- 1
A formal system which extends first-order logic by allowing quantification over relations between members of the universe.
資料來源：英文維基詞典 English Wiktionary（CC BY-SA 4.0）。 原文照列，未經改寫。