12,080
edits
Changes
→Formula Display 13
o-----------------------------------------------------------o
o-----------------------------------------------------------o
</pre>
</pre>
<br><font face="courier new">
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|
{| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| ‹''x'', ''y''›
| =
| ''F''‹''u'', ''v''›
| =
| ‹((''u'')(''v'')), ((''u'', ''v''))›
|}
|}
</font><br>
===Table 60. Propositional Transformation===
===Table 60. Propositional Transformation===