In logic and analytic philosophy, an atomic sentence is a type of declarative sentence which is either true or false (may also be referred to as a proposition...

vary. Sentences without any logical connectives or quantifiers in them are known as atomic sentences; by analogy to atomic formula. Sentences are then...

In proof theory, polarity assignment for atomic formulas is an essential component of focusing. Atomic sentence Hodges, Wilfrid (1997). A Shorter Model...

constituents are atomic sentences. A contemporary semantic definition of truth would define truth for the atomic sentences as follows: An atomic sentence F(x1,....

depends on being by holding that the truth of molecular sentences depends on the truth of atomic sentences, whose truth in turn depends on being. All non-maximalist...

nonimplication Negation Sheffer stroke Atomic formula Open sentence Proposition Analytic proposition Axiom Atomic sentence Clause (logic) Contingent proposition...

Givant (1987) showed that the fragment of first-order logic that has no atomic sentence lying in the scope of more than three quantifiers has the same expressive...

or both. (disjunction) If sentences lack any logical connectives, they are called simple sentences, or atomic sentences; if they contain one or more...

every atomic sentence of the language L {\displaystyle L} , and let A t ( x ) {\displaystyle At(x)} be the number of distinct atomic sentences in x {\displaystyle...

a (usually infinite) conjunction containing every possible ground atomic sentence, either negated or unnegated; such a conjunction describes a possible...