Symbolic Logic Derivation Rules