Assertion: probability | /r/HasProperty | at least \(q\
Facets:
Source sentences:
text: A simple propositional probability logic adds to propositional logic formulas of the form \(P(\varphi)\ge q\), where \(\varphi\) is a propositional formula and \(q\) is a number; such a formula asserts that the probability of \(\varphi\) is at least \(q\).
text: The reading of such a formula is that the probability of \(\phi\) is at least \(q\).