Rules of Inference and its Types (Discrete structure)