Definition:Simple Statement
Jump to navigation
Jump to search
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.
Also known as
Some sources refer to a simple statement as an atomic statement or atomic sentence.
This is because simple statements are atomic in propositional logic.
Examples
Napoleon
- Napoleon is dead
is a simple statement.
Its subject is Napoleon and its predicate is is dead.
John Owes James
- John owes James two pounds
is a simple statement.
Its subject is John and its predicate is owes James two pounds.
Shape of Eggs
- All eggs which are not square are round
is a simple statement.
Its subject is All eggs which are not square and its predicate is are round.
Sources
- 1960: Paul R. Halmos: Naive Set Theory ... (previous) ... (next): $\S 2$: The Axiom of Specification
- 1973: Irving M. Copi: Symbolic Logic (4th ed.) ... (previous) ... (next): $2$ Arguments Containing Compound Statements: $2.1$: Simple and Compound Statements
- 1980: D.J. O'Connor and Betty Powell: Elementary Logic ... (previous) ... (next): $\S \text{I}: 2$: Logical Constants $(1)$
- 1988: Alan G. Hamilton: Logic for Mathematicians (2nd ed.) ... (previous) ... (next): $\S 1$: Informal statement calculus: $\S 1.1$: Statements and connectives
- 2000: Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems ... (previous) ... (next): $\S 1.1$
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2$