Revision as of 14:36, 27 August 2019 edit 109.166.132.132 (talk) →In first order logic: predicate log ← Previous edit		Revision as of 01:47, 1 September 2019 edit undo 109.166.134.237 (talk) →Predicate logic: predicate letters with individuals Pa, aRb Next edit →
Line 13: ==Predicate logic== Propositional variables ~~are~~can ~~represented~~be asconsidered 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 a, b, .. having the form Pa, aRb. ==See also==

Propositional variable: Difference between revisions