《编码-隐匿在计算机背后的语言》 —— 读书笔记（四）：逻辑