Changes

In other words, the proposition <math>q\!</math> is a truth-function of the 3 logical variables <math>u\!</math>, <math>v\!</math>, <math>w\!</math>, and it may be evaluated according to the "truth table" scheme that is shown in Table 2.  In this representation the polymorphous set <math>Q\!</math> appears in the guise of what some people call the "pre-image" or the "fiber of truth" under the function <math>q\!</math>.  More precisely, the 3-tuples for which <math>q\!</math> evaluates to true are in an obvious correspondence with the shaded cells of the venn diagram.  No matter how we get down to the level of actual information, it's all pretty much the same stuff.

In other words, the proposition <math>q\!</math> is a truth-function of the 3 logical variables <math>u\!</math>, <math>v\!</math>, <math>w\!</math>, and it may be evaluated according to the "truth table" scheme that is shown in Table 2.  In this representation the polymorphous set <math>Q\!</math> appears in the guise of what some people call the "pre-image" or the "fiber of truth" under the function <math>q\!</math>.  More precisely, the 3-tuples for which <math>q\!</math> evaluates to true are in an obvious correspondence with the shaded cells of the venn diagram.  No matter how we get down to the level of actual information, it's all pretty much the same stuff.

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

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

|+ '''Table 2.  Polymorphous Function ''q'' '''

|+ Table 2.  Polymorphous Function ''q''

|- style="background:paleturquoise"

|- style="background:paleturquoise"

! style="width:15%" | ''u v w''

! style="width:20%" | ''u v w''

! style="width:15%" | ''u'' &and; ''v''

! style="width:20%" | ''u'' &and; ''v''

! style="width:15%" | ''u'' &and; ''w''

! style="width:20%" | ''u'' &and; ''w''

! style="width:15%" | ''v'' &and; ''w''

! style="width:20%" | ''v'' &and; ''w''

! style="width:15%" | ''q''

! style="width:20%" | ''q''

|-

|-

| 0 0 0 || 0 || 0 || 0 || 0

| 0 0 0 || 0 || 0 || 0 || 0

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

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

|}

|}

With the pictures of the venn diagram and the truth table before us, we have come to the verge of seeing how the word "model" is used in logic, namely, to distinguish whatever things satisfy a description.

With the pictures of the venn diagram and the truth table before us, we have come to the verge of seeing how the word "model" is used in logic, namely, to distinguish whatever things satisfy a description.