Universal generalization is a rule of inference that states if a statement is true for an arbitrary individual, then it is true for all individuals in the domain of discourse. In other words, if we have a proposition $P(c)$ that is true for any $c$ in the domain
Show more…