First-order predicate logic
[计] 一阶谓词逻辑
🧩 词语组成解析
first
[fɝst]
n. 第一，最初;头等;一号，;[乐]高音部;
adv. 最早，最初;首次;宁愿;优先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
predicate
['predikit]
vt. 断言，断定;宣布，宣讲;使基于;
vi. 断言，断定;
n. 谓语;述语;
adj. 谓语的;述语的;
logic
['lɔdʒik]
n. 逻辑，逻辑学;（做某事的）道理;推理方法;威力，压力，强制（力）;
adj. 逻辑的;
🗣️ 情景例句
Please have your customs declaration form ready.
请把您的申报表准备好。
She never mends her clothes; they all have holes in them.
她从来都不补缀衣服。因此，衣服上到处都是破洞。
Country people run wild when they go shopping in the city and stagger home loaded with as many of the exotic items as they can carry.
乡里人进城采购欣喜若狂，每次回家时都买足了外来商品，直到拿不动方才罢休，连走路都摇摇晃晃的。