Assertion: logic's semantic | /r/CapableOf | replace valuation
Facets:
Source sentences:
text: Probabilistic semantics thus replaces the valuations \(v:\mathcal{L}\to\{0,1\}\) of classical propositional logic with probability functions \(P:\mathcal{L}\to \mathbb{R}\), which take values in the real unit interval \(\).