Definition:Compound Statement

From ProofWiki
Jump to: navigation, search


A compound statement is a statement which results from the application of one or more logical connectives to a collection of simple statements.


A substatement of a compound statement is one of the statements that comprise it.

Ill-Formed Compound Statement

The substatements in a compound statement, which are joined by a connective, may be compound statements themselves.

It is clearly necessary that the interpretation of such a compound statement is unambiguous.

A compound statement is said to be ill-formed if it is ambiguous as to how its substatements are grouped by the action of the connectives.

For example, in natural language:

I would like some juice or water with ice.

can mean either:

I would like some juice, or water with ice.


I would like some juice with ice, or water with ice.

Also defined as

Some sources define a compound statement, in the context of symbolic logic, as a statement form other than:

logical not

Such is the approach of 1946: Alfred Tarski: Introduction to Logic and to the Methodology of Deductive Sciences, who separately categorises the truth tables of those five statement forms as fundamental.

Hence any statement form which is not one of those fundamental five is (implicitly) defined as being compound.

Also see