Changes

Line 624: Line 624:  
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''<sub>1</sub> ''e''<sub>2</sub> ''e''<sub>3</sub> means "''e''<sub>1</sub> and ''e''<sub>2</sub> and ''e''<sub>3</sub>".
+
:{| cellpadding="4"
 +
| ''e''<sub>1</sub> ''e''<sub>2</sub> ''e''<sub>3</sub>
 +
| means
 +
| ''e''<sub>1</sub> and ''e''<sub>2</sub> and ''e''<sub>3</sub>.
 +
|}
    
The bound connectives are written as lists of ''k'' expressions (''e''<sub>1</sub>,&nbsp;…,&nbsp;''e''<sub>''k''</sub>), where the parentheses and commas are considered to be parts of the connective notation.  In text presentations the parentheses will be superscripted, as <sup>(</sup>''e''<sub>1</sub>,&nbsp;…,&nbsp;''e''<sub>''k''</sub><sup>)</sup>, 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, <sup>(</sup>''e''<sub>1</sub>,&nbsp;…,&nbsp;''e''<sub>''k''</sub><sup>)</sup> is true if and only if exactly one of the expressions ''e''<sub>1</sub>,&nbsp;…,&nbsp;''e''<sub>''k''</sub> is false.  In particular, for ''k''&nbsp;=&nbsp;1&nbsp;and&nbsp;2, we have:
 
The bound connectives are written as lists of ''k'' expressions (''e''<sub>1</sub>,&nbsp;…,&nbsp;''e''<sub>''k''</sub>), where the parentheses and commas are considered to be parts of the connective notation.  In text presentations the parentheses will be superscripted, as <sup>(</sup>''e''<sub>1</sub>,&nbsp;…,&nbsp;''e''<sub>''k''</sub><sup>)</sup>, 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, <sup>(</sup>''e''<sub>1</sub>,&nbsp;…,&nbsp;''e''<sub>''k''</sub><sup>)</sup> is true if and only if exactly one of the expressions ''e''<sub>1</sub>,&nbsp;…,&nbsp;''e''<sub>''k''</sub> is false.  In particular, for ''k''&nbsp;=&nbsp;1&nbsp;and&nbsp;2, we have:
12,080

edits