命令論理

imperative logic