Aussagenlogische Formel gesucht für die P[ψ] + ε ≥ P[φ] Und P[φ→ψ] < 1−ε gilt

Question

Aufgabe:

Suche aussagenlogische Formeln und ein ε > 0, die folgende Eigenschaft erfüllen

P[ψ] + ε ≥ P[φ] Und P[φ→ψ] < 1−ε

Jemand eine Idee, welche dies erfüllt?