2023.07.23 [Disc-Math] C.9 Estimating Probability by Simulation and Logic Disc-Math Logic Probability Simulation