Definition:Parameter/Also defined as

From ProofWiki
Jump to navigation Jump to search

Parameter: Also defined as

In the context of predicate logic, a parameter is another term for proper name, or constant symbol.