Definition:Compound Statement

From ProofWiki
Jump to: navigation, search

Definition

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


Substatement

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.

or:

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


Also see



Sources