Revision as of 01:47, 1 September 2019 edit 109.166.134.237 (talk) →Predicate logic: predicate letters with individuals Pa, aRb ← Previous edit		Revision as of 19:57, 2 September 2019 edit undo 185.53.197.61 (talk) →Predicate logic: singulars Next edit →
Line 13: ==Predicate logic== Propositional variables can be considered nullary [[Predicate (mathematical logic)\|predicates]] in [[first order logic]], because there are no object variables x, y.., attached to predicate letters Px, xRy,... The internal structure of propositional variables contains predicate letters P, Q,.. in association with individual constants ([[singular term]]s) a, b, .. having the form Pa, aRb. ==See also==

Propositional variable: Difference between revisions