An Etymological Dictionary of Astronomy and Astrophysics

English-French-Persian

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

Homepage  Preliminaries  Abbreviations  Acknowledgments  References 
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
open wff
  wff باز  
wff bâz
Fr.: FBF ouverte  

In → predicate logic, a → well-formed formula with one or more → free occurrences of → variables.

See also: → open; → wff.