Rules of inferences are used to July 8, 2019 16 32 64 128 Rule of infinitive Inference rules for predicate logic Inference rules in discrete mathematics
