First-order dynamic logic
[计] 一阶动态逻辑
🧩 词语组成解析
first
[fɝst]
n. 第一，最初;头等;一号，;[乐]高音部;
adv. 最早，最初;首次;宁愿;优先;
adj. 第一流的;最初的，最早的;基本的，概要的;高音的;
num. 第一;
order
['ɔ:də]
n. 命令;秩序;规则，制度;次序;
vt. 命令;订购;整理;
vi. 下订单;
dynamic
[daɪ'næmɪk]
adj. 动态的;动力的，动力学的;充满活力的，精力充沛的;不断变化的，充满变数的;
n. 动态;动力，推动变化的力量;动力学;活力;
dynam =power,表示“力量” + ic ...的 → 有活力的;动力的
logic
['lɔdʒik]
n. 逻辑，逻辑学;（做某事的）道理;推理方法;威力，压力，强制（力）;
adj. 逻辑的;
🗣️ 情景例句
We're on the fifth floor.
我们在五楼。
Where do you go to school?
你在哪里上学？
From 1830 onwards in the USA and from about 1870 in Canada, settlers began to move westwards and to take possession of the plains as their own.
美国自1830年起，加拿大从1870年左右起，殖民者开始向西迁移，并把平原据为己有。