Question

Inference methods in propositional logic

Answer 1

In logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises, analyzes their syntax, and returns a conclusion (or conclusions). ... Popular rules of inference in propositional logic include modus ponens, modus tollens, and contraposition