Section Progress:

5.2 Arity

In a sentence like PvQ, we said that P and Q are the inputs, and the complex sentence PvQ is the output.

Arity: the number of inputs a connective takes.

The number of inputs a connective has is called its arity.

If a connective takes one input, it is called unary. If it takes two inputs, it is called binary.

"Arity" is just a funny word made from the suffix of these words to stand for the general concept.

Unary: a connective with 1 input.
Binary: a connective with two inputs.

You can have connectives with three or more inputs too, which we will discuss in a later chapter.

Conjunction and disjunction connect two sentences together to make a complex sentence, so they are binary.

Negation is unary, but remember that we still call it a connective!

A connective's arity is fixed: ~ is always unary; & and v are always binary.

5.2 Arity