nt-style: italic; font-weight: bold;">L</span>)<br>
      <span style="font-family: arial;">truth-incidence</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) = <span
 style="font-family: arial;">satisfies</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) = |=<sub
 style="font-style: italic; font-weight: bold;">L</sub> &#8838; <span
 style="font-family: arial;">model</span>(<span
 style="font-style: italic; font-weight: bold;">L</span>) &times; <span
 style="font-fam