 "Universal instantiation" concludes that, if the propositional function is known to be universally true, then it must be true for any arbitrary element of the universe of discourse.Symbolically, this is represented as

where "c" is a completely arbitrary element of the universe of discourse.