Definition:Simple Statement
From ProofWiki
Definition
A simple statement is a statement which has one subject and one predicate.
For example, the statement:
- London is the capital of England
is a simple statement.
London is the subject and is the capital of England is the predicate.
Atoms in Propositional Logic
Simple statements are considered as atomic in propositional logic.
Thus, in that context, simple statements are frequently referred to as atoms.
Hence some sources refer to a simple statement as an atomic statement or atomic sentence.
Sources
- Paul R. Halmos: Naive Set Theory (1960)... (previous)... (next): $\S 2$: The Axiom of Specification
- Alan G. Hamilton: Logic for Mathematicians (1978): $\S 1.1$
- D.J. O'Connor and Betty Powell: Elementary Logic (1980): $\S 1.2$
- Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems (2000): $\S 1.1$
