数学逻辑在彩票中的应用