Example ex4-217

Prev: ex4-216

Next: ex4-218

P

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