Changes

Talk:Logical graph (view source)

Revision as of 22:00, 11 December 2008

353 bytes added , 22:00, 11 December 2008

→‎Functional Quantifiers: bold definienda, tabular formating

Line 429: Line 429:

==Functional Quantifiers==

−

The ''umpire measure'' of type <math>\Upsilon : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}</math> takes a single proposition of type <math>\mathbb{B}^2 \to \mathbb{B}</math> as argument, giving the constant proposition <math>1 : \mathbb{B}^2 \to \mathbb{B}</math> a value of 1 and everything else a value of 0. Expressed in symbolic form:

+

The '''umpire measure''' of type <math>\Upsilon : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}</math> takes a single proposition of type <math>\mathbb{B}^2 \to \mathbb{B}</math> as argument, giving the constant proposition <math>1 : \mathbb{B}^2 \to \mathbb{B}</math> a value of 1 and everything else a value of 0. Expressed in symbolic form:

{| align="center" cellpadding="8"

Line 435: Line 435:

|}

−

The ''umpire operator'' of type <math>\Upsilon : (\mathbb{B}^2 \to \mathbb{B})^2 \to \mathbb{B}</math> takes two propositions of type <math>\mathbb{B}^2 \to \mathbb{B}</math> as arguments, giving pairs in which the first implies the second a value of 1 and everything else a value of 0. Expressed in symbolic form:

+

The '''umpire operator''' of type <math>\Upsilon : (\mathbb{B}^2 \to \mathbb{B})^2 \to \mathbb{B}</math> takes two propositions of type <math>\mathbb{B}^2 \to \mathbb{B}</math> as arguments, giving pairs in which the first implies the second a value of 1 and everything else a value of 0. Expressed in symbolic form:

{| align="center" cellpadding="8"

Line 443: Line 443:

===Tables===

−

~~The auxiliary notations~~:

+

Define two families of measures:

−

: <math>\alpha_i ~~f =~~ \~~Upsilon~~ \~~langle f_i, f~~ \~~rangle =~~ \~~Upsilon~~ \~~langle f_i~~ \~~Rightarrow f~~ \~~rangle~~</math>

+

{| align="center" cellpadding="8"

+

| <math>\alpha_i, \beta_i : (\mathbb{B}^2 \to \mathbb{B}) \to \mathbb{B}, i = 1 \ldots 15,</math>

+

|}

−

: ~~<math>\beta_i f = \Upsilon \langle f, f_i \rangle = \Upsilon \langle f \Rightarrow f_i \rangle</math>~~

+

by means of the following formulas:

−

~~define two series of measures:~~

+

{| align="center" cellpadding="8"

+

| <math>\alpha_i f = \Upsilon \langle f_i, f \rangle = \Upsilon \langle f_i \Rightarrow f \rangle,</math>

+

|-

+

| <math>\beta_i f = \Upsilon \langle f, f_i \rangle = \Upsilon \langle f \Rightarrow f_i \rangle.</math>

+

|}

−

: <math>\alpha_i, \~~beta_i~~ : (\mathbb{B}^2 \to \mathbb{B}~~) \to \mathbb{B},~~</math>

+

The values of the sixteen <math>\alpha_i\!</math> on each of the sixteen boolean functions <math>f : \mathbb{B}^2 \to \mathbb{B}</math> are shown in Table 1.

−

~~incidentally providing compact names for the column headings of the next two Tables~~.

{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

Line 542: Line 546:

| 1 || 1 || 1 || 1 || 1 || 1 || 1 || 1

|}<br>

+

The values of the sixteen <math>\beta_i\!</math> on each of the sixteen boolean functions <math>f : \mathbb{B}^2 \to \mathbb{B}</math> are shown in Table 2.

{| align="center" border="1" cellpadding="1" cellspacing="0" style="font-weight:bold; text-align:center; width:96%"

Jon Awbrey

12,136

edits