wff

Vikisözlük sitesinden
Gezinti kısmına atla Arama kısmına atla

İngilizce[düzenle]

Farklı yazılışlar[düzenle]

Söyleniş[düzenle]

Kısaltma[düzenle]

wff

  1. (mantık) well-formed formula kavramının kısaltması (iyi yapılı formül (iyf))
    • 1964, On the Occurence of Non-deontic WFF's in Argument Forms Having Deontic WFF's as Conclusion
      which are of the form P(S) and hence we know that we can decide its truth value if we can decide the truth Value of all d-wff's of form P(S). But if it is of the form P(S) then it is equivalent to P(T) where T is the dans of S. But by the principle of…
      … P(S) şeklindedirler ve bu sebeple P(S) şeklindeki bütün d-iyf'lerin doğruluk Değerine karar verebilirsek, onun doğruluk değerine karar verebileceğimizi biliyoruz. Şâyet P(S) şeklindeyse, o zaman P(T)'ye eşdeğer olup burada T, S'nin dansını ifade eder. Ama ilkesine göre…
    • 2001, James L. Hein, Discrete Structures, Logic, and Computability, Jones & Bartlett Learning (→ISBN), page 350:
      A grammatically correct expression is called a well-formed formula, or wff for short, which can be pronounced "woof." To decide whether an expression is a wff, we need to precisely define the syntax (or grammar) rules for the formation of wffs
      Dil bilgisi açısından doğru bir ifade, iyi şekillendirilmiş formül veya kısaca iyf olarak adlandırılır ve "iyif" olarak telaffuz edilebilir. Bir ifadenin iyf olup olmadığına karar vermek için iyf'lerin teşekkülü için sentaks (veya gramer) kaidelerini kesin olarak tarif etmemiz icap eder…
    • 2002, Fernando C. N. Pereira, Stuart M. Shieber, Prolog and Natural-Language Analysis, Microtome Publishing (→ISBN), page 76:
      The set of well-formed formulas (wffs) is the smallest set satisfying the following conditions: • If p is an n-ary predicate symbol (an element of Pn) and t1 ,. .., tn are terms, p(t1 ,. ..,tn) is a wff. • If p is a wff and x is a variable, (∀x)p and (∃x)p are…
      İyi şekillendirilmiş formül kümesi (iyf'ler), aşağıdaki şartları sağlayan en küçük kümedir: • Eğer p, bir n-li yüklem sembolüyse (Pn'nin bir ögesi) ve t1, … , tn terimlerse, p(t1, …, tn) bir iyf'dir. • p bir iyf ise ve x bir değişkense, (∀x) p ve (∃x) p…

Kaynakça[düzenle]

  1. Paul A. Gregory, Formal Logic, Broadview Press, 2017, p. 46.