http://dswarmsikhttkg7jgsoyfiqpj3ighupfrvuz5ri3lu5q2dlqyrpgk7ad.onion/notes/lsg.html
(classical two-valued semantics, for many-valued semantics, see here ) (Each formula is only assigned a single truth-value, an interpretation may be viewed as a function, whose domain is \(\mathcal{L}\), and range is its sets of semantic values \(\mathcal{V}=\{\mathsf{T, F}\}\)) ref Propositional connective semantics Semantic truth, validity, consequence 3.1.3.