universal generalization

References

universal generalization

logic

Written by

The Information Architects of Encyclopaedia Britannica

Learn about this topic in these articles:

formal logic
Axiomatization of LPC
The axiom schemata call for some explanation and comment. By an LPC substitution-instance of a wff of PC is meant any result of uniformly replacing every propositional variable in that wff by a wff of LPC. Thus, one LPC substitution-instance of (p ⊃…
Read More
The axiom schemata call for some explanation and comment. By an LPC substitution-instance of a wff of PC is meant any result of uniformly replacing every propositional variable in that wff by a wff of LPC. Thus, one LPC substitution-instance of (p ⊃…
Read More