Abstract: | Summary Three chapters contain the results independent of each other. In the first chapter I present a set of axioms for the propositional calculus which are shorter than the ones known so far, in the second one I give a method of defining all ternary connectives, in the third one, I prove that the probability of propositional functions is preserved under reversible substitutions. This paper appeard orginally under the title “Trois contributions an calcul des propositions bivalent” inStudia Societatis Scientiarum Torunensis, Toruń, Polonia, Sectio A, vol. I (1948), pp. 3–15. |