Predicate Variable

76 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

In first-order logic, a predicate variable is a predicate letter which can stand for a relation (between terms) but which has not been specifically assigned any particular relation (or meaning). In first-order logic (FOL) they can be more properly called metalinguistic variables. In higher-order logic predicate variables correspond to propositional variables which can stand for well-formed formulas of the same logic, and such variables can be quantified by means of (at least) second-order quantifiers. In the metavariable sense, a predicate variable can be used to define an axiom schema. Predicate variables should be distinguished from predicate constants, which could be represented either with a different (exclusive) set of predicate letters, or by their own symbols which really do have their own specific meaning in their domain of discourse: e.g. =, in , le,

• Themen: Mathematik und Naturwissenschaften Mathematik
• ISBN: 9786132983381
• Sprache: Englisch
• Erscheinungsdatum: 12.09.2010
• Größe: 220 x 150 mm
• Verlag: Betascript Publishing
• Herausgegeben von: Mariam T. Tennoe, Lambert M. Surhone, Susan F. Henssonow