Assertion: logic's theorem | /r/HasProperty | \(\gamma \vdash
Facets:
Source sentences:
text: By soundness (Theorem 18), \(\Gamma \vDash \theta\) and \(\Gamma \vDash