 This logic is the \(\{\wedge , \vee , \bot , \top \}\)-fragment of Classical Propositional Logic. Hence its language is the set \(\{\wedge , \vee , \top , \bot \}\) and its consequence relation is given by