12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday April 12, 2025
Jump to navigationJump to searchtable colors → table body (#f8f8ff = ghostwhite) table head (#e6e6ff = blue gray)
Line 3:
Line 3:
+{{aficionados}}<sharethis />
[[zh:零阶逻辑]]+
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%"
+<br>
+{| 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<sub>1</sub>
! style="width:15%" | L<sub>1</sub>
! style="width:15%" | L<sub>2</sub>
! style="width:15%" | L<sub>2</sub>
Line 12:
Line 14:
! style="width:15%" | L<sub>5</sub>
! style="width:15%" | L<sub>5</sub>
! style="width:15%" | L<sub>6</sub>
! style="width:15%" | L<sub>6</sub>
−|- style="background:paleturquoise"
+|- style="background:#e6e6ff"
|
|
| align="right" | x :
| align="right" | x :
Line 19:
Line 21:
|
|
|
|
−|- style="background:paleturquoise"
+|- style="background:#e6e6ff"
|
|
| align="right" | y :
| align="right" | y :
Line 59:
Line 61:
| f<sub>15</sub> || f<sub>1111</sub> || 1 1 1 1 || (( )) || true || 1
| f<sub>15</sub> || f<sub>1111</sub> || 1 1 1 1 || (( )) || true || 1
|}
|}
+
<br>
<br>
Line 85:
Line 88:
==See also==
==See also==
+
===Logical operators===
===Logical operators===
Line 129:
Line 133:
* [http://zh.wikipedia.org/wiki/%E9%9B%B6%E9%98%B6%E9%80%BB%E8%BE%91 中文 : 零阶逻辑]
* [http://zh.wikipedia.org/wiki/%E9%9B%B6%E9%98%B6%E9%80%BB%E8%BE%91 中文 : 零阶逻辑]
−[[Category:Computer Science]]
[[Category:Computer Science]]
Line 140:
Line 142:
[[Category:Normative Sciences]]
[[Category:Normative Sciences]]
−<sharethis />
