Extending and Automating Basic Probability Theory with Propositional Computability Logic