Changes

The blank connectives are written as concatenations of ''k'' expressions and interpreted as ''k''-ary conjunctions.  Thus,

The blank connectives are written as concatenations of ''k'' expressions and interpreted as ''k''-ary conjunctions.  Thus,

: ''e''₁ ''e''₂ ''e''₃ means "''e''₁ and ''e''₂ and ''e''₃".

:{| cellpadding="4"

| ''e''₁ ''e''₂ ''e''₃

| means

| ''e''₁ and ''e''₂ and ''e''₃.

The bound connectives are written as lists of ''k'' expressions (''e''₁, …, ''e''_''k''), where the parentheses and commas are considered to be parts of the connective notation.  In text presentations the parentheses will be superscripted, as ⁽''e''₁, …, ''e''_''k''⁾, to avoid confusion with other uses.  The bound connective is interpreted to mean that just one of the ''k'' listed expressions is false.  That is, ⁽''e''₁, …, ''e''_''k''⁾ is true if and only if exactly one of the expressions ''e''₁, …, ''e''_''k'' is false.  In particular, for ''k'' = 1 and 2, we have:

The bound connectives are written as lists of ''k'' expressions (''e''₁, …, ''e''_''k''), where the parentheses and commas are considered to be parts of the connective notation.  In text presentations the parentheses will be superscripted, as ⁽''e''₁, …, ''e''_''k''⁾, to avoid confusion with other uses.  The bound connective is interpreted to mean that just one of the ''k'' listed expressions is false.  That is, ⁽''e''₁, …, ''e''_''k''⁾ is true if and only if exactly one of the expressions ''e''₁, …, ''e''_''k'' is false.  In particular, for ''k'' = 1 and 2, we have: