 Note that this is a generalization of the standard deduction theorem (the direction from left to right in the above expression) and Modus Ponens (equivalent to the implication from right to left) that several logics have for a connective \(\rightarrow\). In those cases \(\Sigma(p, q) = \{p \rightarrow q\}\).