Example ex4-056

Prev: ex4-055

Next: ex4-057

x x N p q p P q P pq 2x

<math>
<apply>
  <forall/>
  <bvar><ci>x</ci></bvar>
  <condition>
    <apply><in/>
          <ci>x</ci>
          <csymbol encoding="OpenMath"
            definitionURL="http://www.openmath.org/cd/setname1.ocd">
            N
          </csymbol>
        </apply>
  </condition>
  <apply><exists/>
     <bvar><ci>p</ci></bvar>
     <bvar><ci>q</ci></bvar>
     <condition>
       <apply><and/>
          <apply><in/><ci>p</ci>
            <csymbol encoding="OpenMath"
              definitionURL="http://www.openmath.org/cd/setname1.ocd">
             P
            </csymbol>
          </apply>
          <apply><in/><ci>q</ci>
            <csymbol encoding="OpenMath"
              definitionURL="http://www.openmath.org/cd/setname1.ocd">
              P
            </csymbol>
          </apply>
          <apply><eq/>
              <apply><plus/><ci>p</ci><ci>q</ci></apply>
              <apply><times/><cn>2</cn><ci>x</ci></apply>
          </apply>
        </apply>
      </condition>
  </apply>
</apply>
</math>