Definition talk:Predicate Symbol
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)