(A|B) als logische Aussage

[Pippen]

Ich habe folgende "Einsicht": P(A|B) <=> P(B -> A & B). Leider ernte ich nur "Häh's" und Unverständnis, wenn ich damit ankomme. Wie würdet ihr (A|B) logisch definieren oder warum macht das niemand?