Formal Definition
What follows is a formal definition for first-order languages. Let a first-order language be given, with the set of constant symbols, the set of (individual) variables, the set of functional operators, and the set of predicate symbols.
Read more about this topic: Ground Expression
Famous quotes containing the words formal and/or definition:
“On every formal visit a child ought to be of the party, by way of provision for discourse.”
—Jane Austen (1775–1817)
“No man, not even a doctor, ever gives any other definition of what a nurse should be than this—”devoted and obedient.” This definition would do just as well for a porter. It might even do for a horse. It would not do for a policeman.”
—Florence Nightingale (1820–1910)