Enviar aquest missatge de text: Partial correctness for probabilistic demonic programs