pan></td></tr>
<tr class="middle"><td align="right">implication</td><td>&nbsp;&nbsp;&nbsp;</td><td align="right">&phi;&nbsp;&rArr;&nbsp;&psi; or &rArr;(&phi;&nbsp;&psi;)</td><td>&nbsp;&nbsp;&nbsp;</td><td><span style="font-family: courier new,courier,monospace;">(implies&nbsp;P&nbsp;Q)</span>&nbsp;or&nbsp;<span style="font-family: courier new,courier,monospace;">(=>&nbsp;P&nbsp;Q)</span></td></tr>
<tr class="middle"><td align="right">equivalence</td><td>&nbsp;&nbsp;&nbsp;</td><td align="right">&phi;&nbsp;&h