wff

Merhaba, buraya wff kelimesinin anlamını aramaya geldiniz. DICTIOUS'da wff kelimesinin tüm sözlük anlamlarını bulmakla kalmayacak, aynı zamanda etimolojisini, özelliklerini ve wff kelimesinin tekil ve çoğul olarak nasıl söylendiğini de öğreneceksiniz. wff kelimesi hakkında bilmeniz gereken her şey burada. wff kelimesinin tanımı, konuşurken veya metinlerinizi yazarken daha kesin ve doğru olmanıza yardımcı olacaktır. XXX'in ve diğer kelimelerin tanımını bilmek, kelime dağarcığınızı zenginleştirir ve size daha fazla ve daha iyi dilsel kaynaklar sağlar.

İngilizce

Farklı yazılışlar

Söyleniş

Kısaltma

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

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