Условной вероятностью PA(B) = P(A|B) называют вероятность события B, вычисленную в предположении, что событие А уже произошло.

Утверждение верно. Условная вероятность события B при условии, что событие A уже произошло, обозначается как P(B|A). В данном случае, PA(B) = P(A|B) - это некорректная запись, правильное обозначение P(B|A). Но если понимать, что имеется ввиду вероятность события B при условии A, то утверждение верно.