Assertion: logic's semantic | /r/HasProperty | formalized using model
Facets:
value: over a set \(\omega\
type: OTHER
Source sentences:
text: The semantics is formalized using models consisting a probability function \(\mathcal{P}\) over a set \(\Omega\), whose elements are each given a truth assignment to the atomic propositions of the propositional logic.