Solving General Tasks in Probability Theory by Using Mathematical Logic. SP 2015, 6, 27-49.