 The formulas \(\phi\) such that \(\varnothing \vdash_{\bCPL } \phi\) are the tautologies. Note that using the language \(L_c\), the negation of a formula \(\phi\) is defined as \(\phi \rightarrow \bot\). For more information, see the entry on  classical logic.  