小明日记_4 数学逻辑