1.Previous
3.Next

of , then is too.
# is a formula of .
# is a formula of .
# is a formula of .
# is a formula of .

Here and range over logical atoms. For reasons to be explained below, the connectives ?, ?, 1, and ? are called multiplicatives, the connectives &, ?, ?, and 0 are called additives, and the connectives ! and ? are called exponentials. We can further employ the following terminology:

Binary connectives ?, ?, & and ? are associative

1.Previous
3.Next