Jump to navigation Jump to search

General

Display information for equation id:math.2459.72 on revision:2459

* Page found: Die Hauptsätze der Thermodynamik (eq math.2459.72)

(force rerendering)

Occurrences on the following pages:

Hash: fb9a17f6c0f8ee77a54fc8fac01db1c4

TeX (original user input): 

\begin{align}
& \neg 6\Rightarrow \neg 5,\neg 7 \\
& \neg 7\Rightarrow \neg 5,\neg 6 \\
\end{align}

TeX (checked): 

{\begin{aligned}&\neg 6\Rightarrow \neg 5,\neg 7\\&\neg 7\Rightarrow \neg 5,\neg 6\\\end{aligned}}

LaTeXML (experimental; uses MathML) rendering

MathML (7.427 KB / 1.089 KB) :

¬ ⁢ 6 ⇒ ¬ ⁢ 5 , ¬ ⁢ 7 ¬ ⁢ 7 ⇒ ¬ ⁢ 5 , ¬ ⁢ 6 missing-subexpression ⇒ 6 5 7 missing-subexpression ⇒ 7 5 6 {\displaystyle{\displaystyle\begin{aligned} &\displaystyle\neg 6\Rightarrow% \neg 5,\neg 7\\ &\displaystyle\neg 7\Rightarrow\neg 5,\neg 6\\ \end{aligned}}} 
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle{\displaystyle\begin{aligned} &amp;\displaystyle\neg 6\Rightarrow%&#10;\neg 5,\neg 7\\&#10;&amp;\displaystyle\neg 7\Rightarrow\neg 5,\neg 6\\&#10;\end{aligned}}}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mtable columnspacing="0pt" rowspacing="0pt" id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">
      <mtr id="p1.1.m1.1.1a" xref="p1.1.m1.1.1.cmml">
        <mtd id="p1.1.m1.1.1b" xref="p1.1.m1.1.1.cmml"/>
        <mtd columnalign="left" id="p1.1.m1.1.1c" xref="p1.1.m1.1.1.cmml">
          <mrow id="p1.1.m1.1.1.1.2.1" xref="p1.1.m1.1.1.1.2.1.cmml">
            <mrow id="p1.1.m1.1.1.1.2.1.9" xref="p1.1.m1.1.1.1.2.1.9.cmml">
              <mi mathvariant="normal" id="p1.1.m1.1.1.1.2.1.1" xref="p1.1.m1.1.1.1.2.1.1.cmml">¬</mi>
              <mo id="p1.1.m1.1.1.1.2.1.9.1" xref="p1.1.m1.1.1.1.2.1.9.1.cmml">⁢</mo>
              <mn id="p1.1.m1.1.1.1.2.1.2" xref="p1.1.m1.1.1.1.2.1.2.cmml">6</mn>
            </mrow>
            <mo id="p1.1.m1.1.1.1.2.1.3" xref="p1.1.m1.1.1.1.2.1.3.cmml">⇒</mo>
            <mrow id="p1.1.m1.1.1.1.2.1.10" xref="p1.1.m1.1.1.1.2.1.10.1.cmml">
              <mrow id="p1.1.m1.1.1.1.2.1.10.2" xref="p1.1.m1.1.1.1.2.1.10.2.cmml">
                <mi mathvariant="normal" id="p1.1.m1.1.1.1.2.1.4" xref="p1.1.m1.1.1.1.2.1.4.cmml">¬</mi>
                <mo id="p1.1.m1.1.1.1.2.1.10.2.1" xref="p1.1.m1.1.1.1.2.1.10.2.1.cmml">⁢</mo>
                <mn id="p1.1.m1.1.1.1.2.1.5" xref="p1.1.m1.1.1.1.2.1.5.cmml">5</mn>
              </mrow>
              <mo id="p1.1.m1.1.1.1.2.1.6" xref="p1.1.m1.1.1.1.2.1.10.1.cmml">,</mo>
              <mrow id="p1.1.m1.1.1.1.2.1.10.3" xref="p1.1.m1.1.1.1.2.1.10.3.cmml">
                <mi mathvariant="normal" id="p1.1.m1.1.1.1.2.1.7" xref="p1.1.m1.1.1.1.2.1.7.cmml">¬</mi>
                <mo id="p1.1.m1.1.1.1.2.1.10.3.1" xref="p1.1.m1.1.1.1.2.1.10.3.1.cmml">⁢</mo>
                <mn id="p1.1.m1.1.1.1.2.1.8" xref="p1.1.m1.1.1.1.2.1.8.cmml">7</mn>
              </mrow>
            </mrow>
          </mrow>
        </mtd>
      </mtr>
      <mtr id="p1.1.m1.1.1d" xref="p1.1.m1.1.1.cmml">
        <mtd id="p1.1.m1.1.1e" xref="p1.1.m1.1.1.cmml"/>
        <mtd columnalign="left" id="p1.1.m1.1.1f" xref="p1.1.m1.1.1.cmml">
          <mrow id="p1.1.m1.1.1.2.2.1" xref="p1.1.m1.1.1.2.2.1.cmml">
            <mrow id="p1.1.m1.1.1.2.2.1.9" xref="p1.1.m1.1.1.2.2.1.9.cmml">
              <mi mathvariant="normal" id="p1.1.m1.1.1.2.2.1.1" xref="p1.1.m1.1.1.2.2.1.1.cmml">¬</mi>
              <mo id="p1.1.m1.1.1.2.2.1.9.1" xref="p1.1.m1.1.1.2.2.1.9.1.cmml">⁢</mo>
              <mn id="p1.1.m1.1.1.2.2.1.2" xref="p1.1.m1.1.1.2.2.1.2.cmml">7</mn>
            </mrow>
            <mo id="p1.1.m1.1.1.2.2.1.3" xref="p1.1.m1.1.1.2.2.1.3.cmml">⇒</mo>
            <mrow id="p1.1.m1.1.1.2.2.1.10" xref="p1.1.m1.1.1.2.2.1.10.1.cmml">
              <mrow id="p1.1.m1.1.1.2.2.1.10.2" xref="p1.1.m1.1.1.2.2.1.10.2.cmml">
                <mi mathvariant="normal" id="p1.1.m1.1.1.2.2.1.4" xref="p1.1.m1.1.1.2.2.1.4.cmml">¬</mi>
                <mo id="p1.1.m1.1.1.2.2.1.10.2.1" xref="p1.1.m1.1.1.2.2.1.10.2.1.cmml">⁢</mo>
                <mn id="p1.1.m1.1.1.2.2.1.5" xref="p1.1.m1.1.1.2.2.1.5.cmml">5</mn>
              </mrow>
              <mo id="p1.1.m1.1.1.2.2.1.6" xref="p1.1.m1.1.1.2.2.1.10.1.cmml">,</mo>
              <mrow id="p1.1.m1.1.1.2.2.1.10.3" xref="p1.1.m1.1.1.2.2.1.10.3.cmml">
                <mi mathvariant="normal" id="p1.1.m1.1.1.2.2.1.7" xref="p1.1.m1.1.1.2.2.1.7.cmml">¬</mi>
                <mo id="p1.1.m1.1.1.2.2.1.10.3.1" xref="p1.1.m1.1.1.2.2.1.10.3.1.cmml">⁢</mo>
                <mn id="p1.1.m1.1.1.2.2.1.8" xref="p1.1.m1.1.1.2.2.1.8.cmml">6</mn>
              </mrow>
            </mrow>
          </mrow>
        </mtd>
      </mtr>
    </mtable>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1b">
      <matrix id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">
        <matrixrow id="p1.1.m1.1.1a.cmml" xref="p1.1.m1.1.1">
          <cerror id="p1.1.m1.1.1b.cmml" xref="p1.1.m1.1.1">
            <csymbol cd="ambiguous" id="p1.1.m1.1.1c.cmml" xref="p1.1.m1.1.1">missing-subexpression</csymbol>
          </cerror>
          <apply id="p1.1.m1.1.1.1.2.1.cmml" xref="p1.1.m1.1.1.1.2.1">
            <ci id="p1.1.m1.1.1.1.2.1.3.cmml" xref="p1.1.m1.1.1.1.2.1.3">⇒</ci>
            <apply id="p1.1.m1.1.1.1.2.1.9.cmml" xref="p1.1.m1.1.1.1.2.1.9">
              <times id="p1.1.m1.1.1.1.2.1.9.1.cmml" xref="p1.1.m1.1.1.1.2.1.9.1"/>
              <not id="p1.1.m1.1.1.1.2.1.1.cmml" xref="p1.1.m1.1.1.1.2.1.1"/>
              <cn type="integer" id="p1.1.m1.1.1.1.2.1.2.cmml" xref="p1.1.m1.1.1.1.2.1.2">6</cn>
            </apply>
            <list id="p1.1.m1.1.1.1.2.1.10.1.cmml" xref="p1.1.m1.1.1.1.2.1.10">
              <apply id="p1.1.m1.1.1.1.2.1.10.2.cmml" xref="p1.1.m1.1.1.1.2.1.10.2">
                <times id="p1.1.m1.1.1.1.2.1.10.2.1.cmml" xref="p1.1.m1.1.1.1.2.1.10.2.1"/>
                <not id="p1.1.m1.1.1.1.2.1.4.cmml" xref="p1.1.m1.1.1.1.2.1.4"/>
                <cn type="integer" id="p1.1.m1.1.1.1.2.1.5.cmml" xref="p1.1.m1.1.1.1.2.1.5">5</cn>
              </apply>
              <apply id="p1.1.m1.1.1.1.2.1.10.3.cmml" xref="p1.1.m1.1.1.1.2.1.10.3">
                <times id="p1.1.m1.1.1.1.2.1.10.3.1.cmml" xref="p1.1.m1.1.1.1.2.1.10.3.1"/>
                <not id="p1.1.m1.1.1.1.2.1.7.cmml" xref="p1.1.m1.1.1.1.2.1.7"/>
                <cn type="integer" id="p1.1.m1.1.1.1.2.1.8.cmml" xref="p1.1.m1.1.1.1.2.1.8">7</cn>
              </apply>
            </list>
          </apply>
        </matrixrow>
        <matrixrow id="p1.1.m1.1.1d.cmml" xref="p1.1.m1.1.1">
          <cerror id="p1.1.m1.1.1e.cmml" xref="p1.1.m1.1.1">
            <csymbol cd="ambiguous" id="p1.1.m1.1.1f.cmml" xref="p1.1.m1.1.1">missing-subexpression</csymbol>
          </cerror>
          <apply id="p1.1.m1.1.1.2.2.1.cmml" xref="p1.1.m1.1.1.2.2.1">
            <ci id="p1.1.m1.1.1.2.2.1.3.cmml" xref="p1.1.m1.1.1.2.2.1.3">⇒</ci>
            <apply id="p1.1.m1.1.1.2.2.1.9.cmml" xref="p1.1.m1.1.1.2.2.1.9">
              <times id="p1.1.m1.1.1.2.2.1.9.1.cmml" xref="p1.1.m1.1.1.2.2.1.9.1"/>
              <not id="p1.1.m1.1.1.2.2.1.1.cmml" xref="p1.1.m1.1.1.2.2.1.1"/>
              <cn type="integer" id="p1.1.m1.1.1.2.2.1.2.cmml" xref="p1.1.m1.1.1.2.2.1.2">7</cn>
            </apply>
            <list id="p1.1.m1.1.1.2.2.1.10.1.cmml" xref="p1.1.m1.1.1.2.2.1.10">
              <apply id="p1.1.m1.1.1.2.2.1.10.2.cmml" xref="p1.1.m1.1.1.2.2.1.10.2">
                <times id="p1.1.m1.1.1.2.2.1.10.2.1.cmml" xref="p1.1.m1.1.1.2.2.1.10.2.1"/>
                <not id="p1.1.m1.1.1.2.2.1.4.cmml" xref="p1.1.m1.1.1.2.2.1.4"/>
                <cn type="integer" id="p1.1.m1.1.1.2.2.1.5.cmml" xref="p1.1.m1.1.1.2.2.1.5">5</cn>
              </apply>
              <apply id="p1.1.m1.1.1.2.2.1.10.3.cmml" xref="p1.1.m1.1.1.2.2.1.10.3">
                <times id="p1.1.m1.1.1.2.2.1.10.3.1.cmml" xref="p1.1.m1.1.1.2.2.1.10.3.1"/>
                <not id="p1.1.m1.1.1.2.2.1.7.cmml" xref="p1.1.m1.1.1.2.2.1.7"/>
                <cn type="integer" id="p1.1.m1.1.1.2.2.1.8.cmml" xref="p1.1.m1.1.1.2.2.1.8">6</cn>
              </apply>
            </list>
          </apply>
        </matrixrow>
      </matrix>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1c">{\displaystyle{\displaystyle\begin{aligned} &amp;\displaystyle\neg 6\Rightarrow%
\neg 5,\neg 7\\
&amp;\displaystyle\neg 7\Rightarrow\neg 5,\neg 6\\
\end{aligned}}}</annotation>
  </semantics>
</math>

SVG image empty. Force Re-Rendering

SVG (0 B / 8 B) :


MathML (experimental; no images) rendering

MathML (832 B / 283 B) :

¬6⇒¬5,¬7¬7⇒¬5,¬6
<math class="mwe-math-element" xmlns="http://www.w3.org/1998/Math/MathML"><mrow data-mjx-texclass="ORD"><mstyle displaystyle="true" scriptlevel="0"><mrow data-mjx-texclass="ORD"><mtable columnalign="right left right left right left right left right left right left" columnspacing="0em 2em 0em 2em 0em 2em 0em 2em 0em 2em 0em" displaystyle="true" rowspacing="3pt"><mtr><mtd></mtd><mtd><mi mathvariant="normal">&#x00AC;</mi><mn>6</mn><mo>&#x21D2;</mo><mi mathvariant="normal">&#x00AC;</mi><mn>5</mn><mo>,</mo><mi mathvariant="normal">&#x00AC;</mi><mn>7</mn></mtd></mtr><mtr><mtd></mtd><mtd><mi mathvariant="normal">&#x00AC;</mi><mn>7</mn><mo>&#x21D2;</mo><mi mathvariant="normal">&#x00AC;</mi><mn>5</mn><mo>,</mo><mi mathvariant="normal">&#x00AC;</mi><mn>6</mn></mtd></mtr><mtr><mtd></mtd></mtr></mtable></mrow></mstyle></mrow></math>

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 Die Hauptsätze der Thermodynamik page

Identifiers

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results

Retrieved from "http://physikerwelt.de:8080/w/index.php?title=Special:FormulaInfo"