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 see