en well formed formula

An English term in ConceptNet 5.8

Source: English Wiktionary
View this term in the API
  • Documentation
  • FAQ
  • Chat
  • Blog
  • Documentation
  • FAQ
  • Chat
  • Blog

Related terms

  • en complete (a) ➜
  • en formation rule (n) ➜
  • en free variable (n) ➜
  • en gödel number (n) ➜
  • en inference rule (n) ➜
  • en lambda term (n) ➜
  • en maximal (n) ➜
  • en prime formula (n) ➜
  • en valuation function (n) ➜
  • en well formed (a) ➜
  • en correct ➜
  • en syntactically ➜
  • en valid ➜

Word forms

  • en well formed formulae (n) ➜
  • en well formed formulas (n) ➜

Types of well formed formula

  • en axiom ➜
  • en axiom (n) ➜

well formed formula is part of…

  • en formal language (n) ➜
  • en formal language ➜

Parts of well formed formula

  • en symbol ➜

Context of this term

  • en logic ➜

Links to other resources

  • en.wiktionary.org well-formed formula
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.