The rule (F, F⇒G)/G, where ⇒ means "implies, " which is the sole rule of inference in propositional calculus. This rule states that if each of F and F⇒G is either an axiom or a theorem formally deduced from axioms by application of inference rules, then G is also a formal theorem.
We guarantee you’ll find the right tutor, or we’ll cover the first hour of your lesson.