e="font-family: arial;">truth-order</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) = &#8804;<sub
 style="font-weight: bold; font-style: italic;">L</sub> &#8838; <span
 style="font-family: arial;">closed-theory</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) &times; <span
 style="font-family: arial;">closed-theory</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>)<br>
      </td>
    </tr>
    <tr>
      <td style="vertical-align: top;"><span