Example exc-245

Prev: exc-244

Next: exc-246

P

<math>
<apply><eq/>
  <apply><and/>
    <false/>
    <ci type = "logical">P</ci>
  </apply>
  <false/>
</apply>
</math>