Abstract

Attempts are made to transform the basis of elementary probability theory into the logical calculus.We obtain the propositional calculus NP by a naive approach. As rules of transformation, NP has rules of the classical propositional logic (for events), rules of the ukasiewicz logic 0 (for probabilities) and axioms of probability theory, in the form of rules of inference. We prove equivalence of NP with a fragmentary probability theory, in which one may only add and subtract probabilities.