1. formal logic
   形式逻辑
   
2. fuzzy logic
   模糊逻辑
   
3. logic diagram
   逻辑框图，逻辑图
   
4. logic element
   逻辑单元，逻辑元件
   
5. logic gate
   逻辑门
   
6. logic operation
   逻辑运算
   
7. logic programming
   逻辑程序设计
   
8. modal logic
   模态逻辑，模态逻辑学
   
9. propositional logic
   命题逻辑
   
10. symbolic logic
    符号逻辑，符号逻辑学
    
11. mathematical logic
    数理逻辑
    

1. There is no logic in what she says.
   她讲的话没有道理。
2. At this point your logic is at fault.
   在这一点上你的推理是错误的。
3. There's a certain logic to the motion of rush-hour traffic.
   交通高峰期的运动之间有一种内在联系
4. Aristotle's logic.
   亚里士多德的逻辑
5. Your friend doesn't seem to be controlled by logic.
   你那位朋友好像没有逻辑性。

　5个名词解释