taking two terms to make a compound statement .

The set of logical operators may be partitioned into disjoint subsets as follows:

:::

In this partition, is the set of operator symbols of arity .

In the more familiar propositional calculi, is typically partitioned as follows:

:::nullary operators:

:::unary operators:

:::binary operators:

Principle of compositionality

Instead of using truth tables,