n. the branch of philosophy that analyzes inference
n. reasoned and reasonable judgment
n. the principles that guide reasoning within a given field or situation
n. the system of operations performed by a computer that underlies the machine's representation of logical operations
n. 逻辑, 逻辑学, 推理的方法, 推理, 逻辑性
[计] 逻辑