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.
guyik-e farâsani, ~ farâsanhâ
Fr.: logique des prédicats
Fr.: symbole de prédicat