An Etymological Dictionary of Astronomy and Astrophysics
English-French-Persian

فرهنگ ریشه شناختی اخترشناسی-اخترفیزیک

M. Heydari-Malayeri    -    Paris Observatory

   Homepage   
   


A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Number of Results: 4 Search : predicate
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.

first; → order; → predicate; → calculus.

predicate
  ۱) فراسن؛ ۲) فراسندن   
1) farâsan; 2) farâsandan

Fr.: prédicat   

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."
1b) Logic: Something which is affirmed or denied concerning the subject in a → proposition.

1c) Math.: A → function whose values are statements about n-tuples of objects forming the values of its → arguments. For n =1 a predicate is called a "property" , for n> 1 a → relation; propositions may be regarded as zero-place predicates (encyclopediaofmath.org).
2a) To state, affirm, or assert (something) about the subject of a proposition.
2b) To make (a term, expression, etc.) the predicate of a proposition.

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.

predicate logic
  گوییک ِ فراسنی، ~ فراسنها   
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).

predicate; → logic.

predicate symbol
  نماد ِ فراسن   
nemâd-e farâsan

Fr.: symbole de prédicat   

In a → formal language, a letter used to describe a → predicate or → relation. Also called → relation symbol.

predicate; → symbol.