Missing definition: Satisfaction relation (v ⊨ Γ) in propositional logic section

[435qb]

OpenLogic/content/propositional-logic/syntax-and-semantics/semantic-notions.tex

Line 26 in 796aef8

!!{valuation}~$\pAssign{v}$ for which $\pSat{v}{\Gamma}$.

The notation $v ⊨ \Gamma$ is used above, but it does not seem to be defined earlier. I also found a similar issue #382 in first order logic.

[rzach]

It's defined here:

OpenLogic/content/propositional-logic/syntax-and-semantics/valuations-sat.tex

Line 182 in d1c117b

If $\Gamma$ is a set of !!{formula}s, $\pSat{v}{\Gamma}$ iff

(Definition 7.17 of the full PDF)