wff
Appearance
English
[edit]Alternative forms
[edit]Pronunciation
[edit]Noun
[edit]wff (plural wffs)
- Acronym of well-formed formula.
- 1964, On the Occurrence 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 […]
- 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 […]
- 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 […]
References
[edit]- ^ Paul A. Gregory, Formal Logic, Broadview Press, 2017, p. 46.
Categories:
- English 1-syllable words
- English terms with IPA pronunciation
- Rhymes:English/ɪf
- Rhymes:English/ɪf/1 syllable
- Rhymes:English/ʊf
- Rhymes:English/ʊf/1 syllable
- Rhymes:English/ʌf
- Rhymes:English/ʌf/1 syllable
- English lemmas
- English nouns
- English countable nouns
- English words without vowels
- English acronyms
- English terms with quotations