12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Wednesday June 26, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Functional Logic : Inquiry and Analogy (view source)
Revision as of 11:28, 19 November 2009
, 11:28, 19 November 2009Table 10 → {| align="center" border="1" cellpadding="4" cellspacing="0" style="background:white; color:black; font-weight:bold; text-align:center; width:90%"
Table 10 lists the sixteen higher order propositions about propositions on one boolean variable, organized in the following fashion: Columns 1 and 2 form a truth table for the four <math>f : \mathbb{B} \to \mathbb{B},</math> turned on its side from the way that one is most likely accustomed to see truth tables, with the row leaders in Column 1 displaying the names of the functions <math>f_i,\!</math> for <math>i\!</math> = 1 to 4, while the entries in Column 2 give the values of each function for the argument values that are listed in the corresponding column head. Column 3 displays one of the more usual expressions for the proposition in question. The last sixteen columns are topped by a collection of conventional names for the higher order propositions, also known as the ''measures'' <math>m_j,\!</math> for <math>j\!</math> = 0 to 15, where the entries in the body of the Table record the values that each <math>m_j\!</math> assigns to each <math>f_i.\!</math>
Table 10 lists the sixteen higher order propositions about propositions on one boolean variable, organized in the following fashion: Columns 1 and 2 form a truth table for the four <math>f : \mathbb{B} \to \mathbb{B},</math> turned on its side from the way that one is most likely accustomed to see truth tables, with the row leaders in Column 1 displaying the names of the functions <math>f_i,\!</math> for <math>i\!</math> = 1 to 4, while the entries in Column 2 give the values of each function for the argument values that are listed in the corresponding column head. Column 3 displays one of the more usual expressions for the proposition in question. The last sixteen columns are topped by a collection of conventional names for the higher order propositions, also known as the ''measures'' <math>m_j,\!</math> for <math>j\!</math> = 0 to 15, where the entries in the body of the Table record the values that each <math>m_j\!</math> assigns to each <math>f_i.\!</math>
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:white; color:black; font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:white; color:black; font-weight:bold; text-align:center; width:90%"
|+ '''Table 10. Higher Order Propositions (''n'' = 1)'''
|+ '''Table 10. Higher Order Propositions (''n'' = 1)'''
|- style="background:ghostwhite"
|- style="background:ghostwhite"
