“rules of inference discrete math”