标签: 连续随机逻辑