發送短信: Logic with a probability semantics