Encyclopedia > 491 BC

  Article Content

491 BC

All Wikipedia text is available under the terms of the GNU Free Documentation License

  Search Encyclopedia

Search over one million articles, find something about almost anything!
  Featured Article
Predicate logic

... correct or not. The well-formed formulas contain variables such as x, y, ... which are place holders for objects of the domain under consideration object constant ...