Symbolic Logic Proof Rules