平面逻辑