Jump to navigation Jump to search

General

Display information for equation id:math.227509.6 on revision:227509

* Page found: Uniqueness quantification (eq math.227509.6)

(force rerendering)

Cannot find the equation data in the database. Fetching from revision text.

Occurrences on the following pages:

Hash: 14f6a3821d108d5e53faf8c51b13b3b8

TeX (original user input):

\exists x\, P(x) \wedge \forall y\, \forall z\,((P(y) \wedge P(z)) \to y = z).

TeX (checked):

\exists x\,P(x)\wedge \forall y\,\forall z\,((P(y)\wedge P(z))\to y=z).

LaTeXML (experimental; uses MathML) rendering

MathML (6.198 KB / 1.103 KB) :

x P ( x ) y z ( ( P ( y ) P ( z ) ) y = z ) . fragments x P fragments ( x ) for-all y for-all z fragments ( fragments ( P fragments ( y ) P fragments ( z ) ) y z ) . {\displaystyle\exists x\,P(x)\wedge\forall y\,\forall z\,((P(y)\wedge P(z))\to y% =z).}
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle\exists x\,P(x)\wedge\forall y\,\forall z\,((P(y)\wedge P(z))\to&#10;y%&#10;=z).}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1b">
      <mo id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml"></mo>
      <mpadded width="+1.7pt" id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">
        <mi id="p1.1.m1.1.2a" xref="p1.1.m1.1.2.cmml">x</mi>
      </mpadded>
      <mi id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">P</mi>
      <mrow id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">
        <mo stretchy="false" id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">(</mo>
        <mi id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">x</mi>
        <mo stretchy="false" id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">)</mo>
      </mrow>
      <mo id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml"></mo>
      <mo id="p1.1.m1.1.9" xref="p1.1.m1.1.9.cmml"></mo>
      <mpadded width="+1.7pt" id="p1.1.m1.1.10" xref="p1.1.m1.1.10.cmml">
        <mi id="p1.1.m1.1.10a" xref="p1.1.m1.1.10.cmml">y</mi>
      </mpadded>
      <mo id="p1.1.m1.1.12" xref="p1.1.m1.1.12.cmml"></mo>
      <mpadded width="+1.7pt" id="p1.1.m1.1.13" xref="p1.1.m1.1.13.cmml">
        <mi id="p1.1.m1.1.13a" xref="p1.1.m1.1.13.cmml">z</mi>
      </mpadded>
      <mrow id="p1.1.m1.1.34" xref="p1.1.m1.1.34.cmml">
        <mo stretchy="false" id="p1.1.m1.1.15" xref="p1.1.m1.1.15.cmml">(</mo>
        <mrow id="p1.1.m1.1.33" xref="p1.1.m1.1.33.cmml">
          <mo stretchy="false" id="p1.1.m1.1.16" xref="p1.1.m1.1.16.cmml">(</mo>
          <mi id="p1.1.m1.1.17" xref="p1.1.m1.1.17.cmml">P</mi>
          <mrow id="p1.1.m1.1.11" xref="p1.1.m1.1.11.cmml">
            <mo stretchy="false" id="p1.1.m1.1.18" xref="p1.1.m1.1.18.cmml">(</mo>
            <mi id="p1.1.m1.1.19" xref="p1.1.m1.1.19.cmml">y</mi>
            <mo stretchy="false" id="p1.1.m1.1.20" xref="p1.1.m1.1.20.cmml">)</mo>
          </mrow>
          <mo id="p1.1.m1.1.21" xref="p1.1.m1.1.21.cmml"></mo>
          <mi id="p1.1.m1.1.22" xref="p1.1.m1.1.22.cmml">P</mi>
          <mrow id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml">
            <mo stretchy="false" id="p1.1.m1.1.23" xref="p1.1.m1.1.23.cmml">(</mo>
            <mi id="p1.1.m1.1.24" xref="p1.1.m1.1.24.cmml">z</mi>
            <mo stretchy="false" id="p1.1.m1.1.25" xref="p1.1.m1.1.25.cmml">)</mo>
          </mrow>
          <mo stretchy="false" id="p1.1.m1.1.26" xref="p1.1.m1.1.26.cmml">)</mo>
        </mrow>
        <mo id="p1.1.m1.1.27" xref="p1.1.m1.1.27.cmml"></mo>
        <mi id="p1.1.m1.1.28" xref="p1.1.m1.1.28.cmml">y</mi>
        <mo id="p1.1.m1.1.29" xref="p1.1.m1.1.29.cmml">=</mo>
        <mi id="p1.1.m1.1.30" xref="p1.1.m1.1.30.cmml">z</mi>
        <mo stretchy="false" id="p1.1.m1.1.31" xref="p1.1.m1.1.31.cmml">)</mo>
      </mrow>
      <mo id="p1.1.m1.1.32" xref="p1.1.m1.1.32.cmml">.</mo>
    </mrow>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1c">
      <cerror id="p1.1.m1.1d">
        <csymbol cd="ambiguous" id="p1.1.m1.1e">fragments</csymbol>
        <exists id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1"/>
        <csymbol cd="unknown" id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">x</csymbol>
        <csymbol cd="unknown" id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">P</csymbol>
        <cerror id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3">
          <csymbol cd="ambiguous" id="p1.1.m1.1.3a.cmml" xref="p1.1.m1.1.3">fragments</csymbol>
          <ci id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5">(</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6">x</csymbol>
          <ci id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7">)</ci>
        </cerror>
        <and id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8"/>
        <csymbol cd="latexml" id="p1.1.m1.1.9.cmml" xref="p1.1.m1.1.9">for-all</csymbol>
        <csymbol cd="unknown" id="p1.1.m1.1.10.cmml" xref="p1.1.m1.1.10">y</csymbol>
        <csymbol cd="latexml" id="p1.1.m1.1.12.cmml" xref="p1.1.m1.1.12">for-all</csymbol>
        <csymbol cd="unknown" id="p1.1.m1.1.13.cmml" xref="p1.1.m1.1.13">z</csymbol>
        <cerror id="p1.1.m1.1.34.cmml" xref="p1.1.m1.1.34">
          <csymbol cd="ambiguous" id="p1.1.m1.1.34a.cmml" xref="p1.1.m1.1.34">fragments</csymbol>
          <ci id="p1.1.m1.1.15.cmml" xref="p1.1.m1.1.15">(</ci>
          <cerror id="p1.1.m1.1.33.cmml" xref="p1.1.m1.1.33">
            <csymbol cd="ambiguous" id="p1.1.m1.1.33a.cmml" xref="p1.1.m1.1.33">fragments</csymbol>
            <ci id="p1.1.m1.1.16.cmml" xref="p1.1.m1.1.16">(</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.17.cmml" xref="p1.1.m1.1.17">P</csymbol>
            <cerror id="p1.1.m1.1.11.cmml" xref="p1.1.m1.1.11">
              <csymbol cd="ambiguous" id="p1.1.m1.1.11a.cmml" xref="p1.1.m1.1.11">fragments</csymbol>
              <ci id="p1.1.m1.1.18.cmml" xref="p1.1.m1.1.18">(</ci>
              <csymbol cd="unknown" id="p1.1.m1.1.19.cmml" xref="p1.1.m1.1.19">y</csymbol>
              <ci id="p1.1.m1.1.20.cmml" xref="p1.1.m1.1.20">)</ci>
            </cerror>
            <and id="p1.1.m1.1.21.cmml" xref="p1.1.m1.1.21"/>
            <csymbol cd="unknown" id="p1.1.m1.1.22.cmml" xref="p1.1.m1.1.22">P</csymbol>
            <cerror id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14">
              <csymbol cd="ambiguous" id="p1.1.m1.1.14a.cmml" xref="p1.1.m1.1.14">fragments</csymbol>
              <ci id="p1.1.m1.1.23.cmml" xref="p1.1.m1.1.23">(</ci>
              <csymbol cd="unknown" id="p1.1.m1.1.24.cmml" xref="p1.1.m1.1.24">z</csymbol>
              <ci id="p1.1.m1.1.25.cmml" xref="p1.1.m1.1.25">)</ci>
            </cerror>
            <ci id="p1.1.m1.1.26.cmml" xref="p1.1.m1.1.26">)</ci>
          </cerror>
          <ci id="p1.1.m1.1.27.cmml" xref="p1.1.m1.1.27"></ci>
          <csymbol cd="unknown" id="p1.1.m1.1.28.cmml" xref="p1.1.m1.1.28">y</csymbol>
          <eq id="p1.1.m1.1.29.cmml" xref="p1.1.m1.1.29"/>
          <csymbol cd="unknown" id="p1.1.m1.1.30.cmml" xref="p1.1.m1.1.30">z</csymbol>
          <ci id="p1.1.m1.1.31.cmml" xref="p1.1.m1.1.31">)</ci>
        </cerror>
        <ci id="p1.1.m1.1.32.cmml" xref="p1.1.m1.1.32">.</ci>
      </cerror>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1f">{\displaystyle\exists x\,P(x)\wedge\forall y\,\forall z\,((P(y)\wedge P(z))\to
y%
=z).}</annotation>
  </semantics>
</math>

SVG (9.334 KB / 3.113 KB) :

there-exists x upper P left-parenthesis x right-parenthesis logical-and for-all y for-all z left-parenthesis left-parenthesis upper P left-parenthesis y right-parenthesis logical-and upper P left-parenthesis z right-parenthesis right-parenthesis right-arrow y equals z right-parenthesis period

MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools) rendering

MathML (0 B / 8 B) :

SVG image empty. Force Re-Rendering

SVG (0 B / 8 B) :


PNG (0 B / 8 B) :


Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Translation to Mathematica

In Mathematica:

Similar pages

Calculated based on the variables occurring on the entire Uniqueness quantification page

Identifiers

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results