On Carnap and Popper Probability Functions

Al. 0 < Pr(A, B). A2. Pr(A, A) = 1. A-requirements A3. If FA B and FC =D, then Pr(A, C) = Pr(B, D). A4. If not F-B. then Pr(, A, B) = 1 Pr(A, B). A5. Pr(A & B, C) = Pr(A, B & C) x Pr(B, C). Bi. = Al. B2. = A2. B3. If Pr(B, D) = Pr(C, D) for every wff D of PC, B-requirements then Pr(A, B) = Pr(A, C). B4. If Pr(C, B) # 1 for at least one wff C of PC, then Pr(-A, B) = 1 Pr(A, B). B5. = A5. B6. Pr(A & B, C) = Pr(B & A, C).