Page "Atomic sentence" Paragraph 2

Logic has developed artificial languages, for example sentential calculus and predicate calculus partly with the purpose of revealing the underlying logic of natural languages statements, the surface grammar of which may conceal the underlying logical structure ; see Analytic philosophy.

In these artificial languages an Atomic Sentence is a string of symbols which can represent an elementary sentence in a natural language, and it can be defined as follows.