first-order predicate calculus
afmârik-e farâsani-ye râye-ye naxost
Fr.: cacul des prédicats du premier ordre
Same as → first-order logic.
1) farâsan; 2) farâsandan
1a) Grammar: The part of a → sentence or
→ clause stating something about
the → subject and usually consisting of a
→ verb. For example, in
the sentence "The man opened the door," the subject is "the man" and the
predicate is "opened the door."
M.E., from M.Fr. predicat, from L. praedicatus "declared, proclaimed," p.p. of praedicare, from prae "beforehand," → pre-, + dicare "proclame," from stem of dicere "to speak, to say," from PIE root *deik- "to point out, to show," cognate with Pers. dis, → form, and andišidan, → think.
Farâsan from farâ- "before; toward, along; above, upon, over," → pro-, + san Proto-Ir. *sanh- "to declare, explain," related to soxan, → speech and pâsox, → response, sahân, → sentence.
guyik-e farâsani, ~ farâsanhâ
Fr.: logique des prédicats
The generic term for systems of → formal logic like → first-order logic and → second-order logic. Predicate logic contains → variables which can be quantified (→ quantify, → quantification).
Fr.: symbole de prédicat
In a → formal language, a letter used to describe a → predicate or → relation. Also called → relation symbol.