Universal instantiation

Property	Value
rdf:type	Rule of inference owl:NamedIndividual
rdfs:label	Universal instantiation
owl:sameAs	dbr:Universal_instantiation
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(R%E2%80%93Z) http://en.wikipedia.org/wiki/Outline_of_logic http://en.wikipedia.org/wiki/Universal_generalization http://en.wikipedia.org/wiki/Category:Rules_of_inference http://en.wikipedia.org/wiki/List_of_rules_of_inference http://en.wikipedia.org/wiki/System_L
skos:prefLabel	Universal instantiation
skos:altLabel	Universal Elimination Universal Instantiation implies instantiate instantiation universal instantiation
is clgo:notableIdea of	Willard Van Orman Quine

About: clgr:Universal_instantiation