An Etymological Dictionary of Astronomy and Astrophysics

English-French-Persian

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



closed wff
  wff بسته  
wff basté
Fr.: FBF fermée  

In → predicate logic, a → wff with no → free occurrences of any → variable. Also called a → sentence.

See also:closed; → wff.