Definition talk:Predicate Symbol

From ProofWiki
Jump to navigation Jump to search

Some may wonder why I am separating these concepts out, but it is IMO important to separate the logic, its language and its models clearly, to provide clear and unambiguous references (particularly when dealing with multiple calculi and model theories for the same language). Thus Definition:Predicate, Definition:Predicate Symbol and Definition:Propositional Function needed to be separated. --Lord_Farin 09:13, 18 June 2012 (EDT)