Changes

By way of initial orientation, Table 1 lists equivalent expressions for the sixteen functions of concrete type ''X'' × ''Y'' → '''B''' and abstract type '''B''' × '''B''' → '''B''' in a number of different languages for zeroth order logic.

By way of initial orientation, Table 1 lists equivalent expressions for the sixteen functions of concrete type ''X'' × ''Y'' → '''B''' and abstract type '''B''' × '''B''' → '''B''' in a number of different languages for zeroth order logic.

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

 

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

|+ '''Table 1.  Propositional Forms on Two Variables'''

|+ '''Table 1.  Propositional Forms on Two Variables'''

|- style="background:paleturquoise"

|- style="background:#e6e6ff"

! style="width:15%" | L₁

! style="width:15%" | L₁

! style="width:15%" | L₂

! style="width:15%" | L₂

! style="width:15%" | L₅

! style="width:15%" | L₅

! style="width:15%" | L₆

! style="width:15%" | L₆

|- style="background:paleturquoise"

|- style="background:#e6e6ff"

|  

|  

| align="right" | x :

| align="right" | x :

|  

|  

|  

|  

|- style="background:paleturquoise"

|- style="background:#e6e6ff"

|  

|  

| align="right" | y :

| align="right" | y :

| f₁₅ || f₁₁₁₁ || 1 1 1 1 || (( )) || true || 1

| f₁₅ || f₁₁₁₁ || 1 1 1 1 || (( )) || true || 1

|}

|}

<br>

<br>

==See also==

==See also==

===Logical operators===

===Logical operators===

* [http://zh.wikipedia.org/wiki/%E9%9B%B6%E9%98%B6%E9%80%BB%E8%BE%91 &#20013;&#25991; : &#38646;&#38454;&#36923;&#36753;]

* [http://zh.wikipedia.org/wiki/%E9%9B%B6%E9%98%B6%E9%80%BB%E8%BE%91 &#20013;&#25991; : &#38646;&#38454;&#36923;&#36753;]

[[Category:Computer Science]]

[[Category:Computer Science]]

[[Category:Normative Sciences]]

[[Category:Normative Sciences]]