RULES of INFERENCE - DISCRETE MATHEMATICS