Atomic and Open Formulas
An atomic formula is a formula that contains no logical connectives nor quantifiers, or equivalently a formula that has no strict subformulas. The precise form of atomic formulas depends on the formal system under consideration; for propositional logic, for example, the atomic formulas are the propositional variables. For predicate logic, the atoms are predicate symbols together with their arguments, each argument being a term.
According to some terminology, an open formula is formed by combining atomic formulas using only logical connectives, to the exclusion of quantifiers. This has not to be confused with a formula which is not closed.
Read more about this topic: Well-formed Formula
Famous quotes containing the words atomic, open and/or formulas:
“The pace of science forces the pace of technique. Theoretical physics forces atomic energy on us; the successful production of the fission bomb forces upon us the manufacture of the hydrogen bomb. We do not choose our problems, we do not choose our products; we are pushed, we are forced—by what? By a system which has no purpose and goal transcending it, and which makes man its appendix.”
—Erich Fromm (1900–1980)
“The poorest children in a community now find the beneficent kindergarten open to them from the age of two-and-a-half to six years. Too young heretofore to be eligible to any public school, they have acquired in their babyhood the vicious tendencies of their own depraved neighborhoods; and to their environment at that tender age had been due the loss of decency and self-respect that no after example of education has been able to restore to them.”
—Virginia Thrall Smith (1836–1903)
“You treat world history as a mathematician does mathematics, in which nothing but laws and formulas exist, no reality, no good and evil, no time, no yesterday, no tomorrow, nothing but an eternal, shallow, mathematical present.”
—Hermann Hesse (1877–1962)