Assertion: probability logic | /r/CapableOf | lack the compactness property
Facets:
Source sentences:
text: Propositional probability logics lack the compactness property, as every finite subset of \(\{P(p)>0\}\cup\{P(p)\leq a\,|\,a>0\}\) is satisfiable, but the entire set is not.