# 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$