 This shows that \(f_{\wedge}, f_{\vee}, f_{\rightarrow}\) and \(f_{\sim}\) determine exactly the propositional connectives of classical logic. One can conveniently mark the elements \(\{\varnothing \}\) and \(\varnothing\) in the valuation system \(\mathbf{V}^{\varnothing}_{cl}\) by the classical labels \(T\) and \(F\). Note that within \(\mathbf{V}^{\varnothing}_{cl}\) it is fully justifiable to associate \(\varnothing\) with falsity, taking into account the virtual monism of truth characteristic for classical logic, which treats falsity not as an independent entity but merely as the absence of truth.