Changes

In contexts of application the intended sense can be discerned by the number of arguments that actually appear in the argument list.  Often, the first and last arguments appear as indices, the one in the middle being treated as the main argument while the other two arguments serve to modify the sense of the operation in question.  Thus, we have the following forms:

In contexts of application the intended sense can be discerned by the number of arguments that actually appear in the argument list.  Often, the first and last arguments appear as indices, the one in the middle being treated as the main argument while the other two arguments serve to modify the sense of the operation in question.  Thus, we have the following forms:

: Υ_''p''^''r'' ''q'' =  Υ(''p'', ''q'', ''r'')

: <math>\Upsilon_p^r q  =  \Upsilon (p, q, r)\!</math>

: &Upsilon;_''p''^''r'' : ('''B'''^''k'' &rarr; '''B''') &rarr; '''B'''

: <math>\Upsilon_p^r : (\mathbb{B}^k \to \mathbb{B}) \to \mathbb{B}</math>

The intention of this operator is that we evaluate the proposition ''q'' on each model of the proposition ''p'' and combine the results according to the method indicated by the connective parameter ''r''.  In principle, the index ''r'' might specify any connective on as many as 2^''k'' arguments, but usually we have in mind a much simpler form of combination, most often either collective products or collective sums.  By convention, each of the accessory indices ''p'', ''r'' is assigned a default value that is understood to be in force when the corresponding argument place is left blank, specifically, the constant proposition '''1''' : '''B'''^''k'' &rarr; '''B''' for the lower index ''p'', and the continued conjunction or continued product operation &Pi; for the upper index ''r''.  Taking the upper default value gives license to the following readings:

The intention of this operator is that we evaluate the proposition <math>q\!</math> on each model of the proposition <math>p\!</math> and combine the results according to the method indicated by the connective parameter <math>r.\!</math> In principle, the index <math>r\!</math> might specify any connective on as many as <math>2^k\!</math> arguments, but usually we have in mind a much simpler form of combination, most often either collective products or collective sums.  By convention, each of the accessory indices <math>p, r\!</math> is assigned a default value that is understood to be in force when the corresponding argument place is left blank, specifically, the constant proposition <math>1 : \mathbb{B}^k \to \mathbb{B}</math> for the lower index <math>p,\!</math> and the continued conjunction or continued product operation <math>\textstyle\prod</math> for the upper index <math>r.\!</math> Taking the upper default value gives license to the following readings:

{|

{|