- atomic formula/sentence
- Technically, an atomic formula is one with no logical constants . An atomic sentence is an atomic formula with no free variables . Intuitively, it is the kind of sentence on the basis of which one might start to construct logical complexity: a sentence consisting of a name and a monadic predicate (Bill snores) or a number of names and a relational predicate (Bill loves Mary).

*Philosophy dictionary.
Academic.
2011.*

### Look at other dictionaries:

**Atomic formula**— In mathematical logic, an atomic formula (also known simply as an atom) is a formula with no deeper propositional structure, that is, a formula that contains no logical connectives or equivalently a formula that has no strict subformulas. Atoms… … Wikipedia**atomic**— formula/sentence … Philosophy dictionary**Atomic sentence**— In logic, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition, statement or truthbearer) and which cannot be broken down into other simpler sentences. For example The dog… … Wikipedia**Sentence (mathematical logic)**— This article is a technical mathematical article in the area of predicate logic. For the ordinary English language meaning see Sentence, for a less technical introductory article see Statement (logic). In mathematical logic, a sentence of a… … Wikipedia**First-order logic**— is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia**Propositional calculus**— In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia**Interpretation (logic)**— An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia**Dependence logic**— is a logical formalism, created by Jouko Väänänen[1], which adds dependence atoms to the language of first order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is… … Wikipedia**Outline of logic**— The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia**Second-order logic**— In logic and mathematics second order logic is an extension of first order logic, which itself is an extension of propositional logic.[1] Second order logic is in turn extended by higher order logic and type theory. First order logic uses only… … Wikipedia