AlexMennen comments on Logic in the language of probability

[AlexMennen]

But then if P(A)=0, P(B|A) + P(¬B|A) = 2, which seems undesirable.

[Stuart_Armstrong]

Since P(A|B) is properly undefined, any attempt to define it will have some negative features.