Valid Inference

See: Valid Logic Argument , Valid Deductive Argument, Inference Rule.

---

---

References

2013

• (Wikipedia,2016) ⇒ https://www.wikiwand.com/en/Universal_generalization 2016-06-30
  • In predicate logic, generalization (also universal generalization or universal introduction, GEN) is a valid inference rule. It states that if [math]\displaystyle{ \vdash P(x) }[/math] has been derived, then [math]\displaystyle{ \vdash \forall x \, P(x) }[/math] can be derived.
• http://www.logic-classroom.info/glossary.htm
  • valid inference An inference is valid whenever the form of the conclusion is true every time the forms of the premises are.

---