Terms for subject Technology containing logic order

English	Chinese
first-order predicate logic	一阶谓词逻辑
high order logic	高阶逻辑
logic device order	逻辑设备命令
logic device order	逻辑设备指令
logic order	逻辑指令
second-order logic	二阶逻辑