一階邏輯

Noun

 * 1)  first-order logic