bn:00788747n
Noun Concept
AR
No term available
EN
In predicate logic, universal instantiation is a valid rule of inference from a truth about each member of a class of individuals to the truth about a particular individual of that class. Wikipedia
Relations
Sources