Revision as of 19:57, 2 September 2019 edit 185.53.197.61 (talk) →Predicate logic: singulars ← Previous edit		Revision as of 00:02, 4 September 2019 edit undo 185.53.197.61 (talk) →Predicate logic: ___domain 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) (from a [[___domain of discourse]] D ) a, b, .. having the form Pa, aRb. ==See also==

Propositional variable: Difference between revisions