Assertion: conditional probability | /r/HasProperty | \psi)\ge q\
Facets:
Source sentences:
text: Using a probability logic with linear combinations, we can abbreviate the conditional probability \(P(\phi\mid \psi)\ge q\) by \(P(\phi \wedge \psi) - qP(\psi)\ge 0\).