12,080
edits
Changes
→Table 65. Induced Transformation on Propositions
|- style="background:paleturquoise"
|- style="background:paleturquoise"
| ''X''<sup> •</sup>
| ''X''<sup> •</sup>
| colspan="3" | ← ''F'' = ‹''f'' , ''g''› ←
| colspan="3" |
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:80%"
| ←
| ''F'' = ‹''f'' , ''g''›
| ←
|}
| ''U''<sup> •</sup>
| ''U''<sup> •</sup>
|- style="background:paleturquoise"
|- style="background:paleturquoise"
| ''f''<sub>''i''</sub>‹''x'', ''y''›
| ''f''<sub>''i''</sub>‹''x'', ''y''›
|
|
|
{|
|
|
| ''f''<sub>''j''</sub>‹''u'', ''v''›
{|
| u =
|-
| v =
|}
|-
|
{|
| x =
|-
| y =
|}
|}
|
{|
|
{|
| 1 1 0 0
|-
| 1 0 1 0
|}
|-
|
{|
| 1 1 1 0
|-
| 1 0 0 1
|}
|}
|
{|
|
{|
| = u
|-
| = v
|}
|-
|
{|
| = f‹u, v›
|-
| = g‹u, v›
|}
|}
| ''f''<sub>''j''</sub>‹''u'', ''v''›
|-
|-
|
|