Eigenschaften und Verifikationsmethoden der bedingten Wahrscheinlichkeit