Jump to navigation Jump to search

General

Display information for equation id:math.247552.36 on revision:247552

* Page found: Tautology (logic) (eq math.247552.36)

(force rerendering)

Occurrences on the following pages:

Hash: 8553a4b8cd5e4fc21b3f1395ece4b11e

TeX (original user input): 

(((\exists x Rx) \land \lnot (\exists x Sx)) \to \forall x Tx) \Leftrightarrow ((\exists x Rx) \to ((\lnot \exists x Sx) \to \forall x Tx)).

TeX (checked): 

(((\exists xRx)\land \lnot (\exists xSx))\to \forall xTx)\Leftrightarrow ((\exists xRx)\to ((\lnot \exists xSx)\to \forall xTx)).

LaTeXML (experimental; uses MathML) rendering

MathML (9.611 KB / 1.42 KB) :

( ( ( ∃ x R x ) ∧ ¬ ( ∃ x S x ) ) → ∀ x T x ) ⇔ ( ( ∃ x R x ) → ( ( ¬ ∃ x S x ) → ∀ x T x ) ) . fragments fragments ( fragments ( fragments ( x R x ) fragments ( x S x ) ) → for-all x T x ) ⇔ fragments ( fragments ( x R x ) → fragments ( fragments ( x S x ) → for-all x T x ) ) . {\displaystyle(((\exists xRx)\land\lnot(\exists xSx))\to\forall xTx)% \Leftrightarrow((\exists xRx)\to((\lnot\exists xSx)\to\forall xTx)).} 
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle(((\exists xRx)\land\lnot(\exists xSx))\to\forall xTx)%&#10;\Leftrightarrow((\exists xRx)\to((\lnot\exists xSx)\to\forall xTx)).}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1b">
      <mrow id="p1.1.m1.1.52" xref="p1.1.m1.1.52.cmml">
        <mo stretchy="false" id="p1.1.m1.1.1" xref="p1.1.m1.1.1.cmml">(</mo>
        <mrow id="p1.1.m1.1.51" xref="p1.1.m1.1.51.cmml">
          <mo stretchy="false" id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">(</mo>
          <mrow id="p1.1.m1.1.49" xref="p1.1.m1.1.49.cmml">
            <mo stretchy="false" id="p1.1.m1.1.3" xref="p1.1.m1.1.3.cmml">(</mo>
            <mo id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">∃</mo>
            <mi id="p1.1.m1.1.5" xref="p1.1.m1.1.5.cmml">x</mi>
            <mi id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml">R</mi>
            <mi id="p1.1.m1.1.7" xref="p1.1.m1.1.7.cmml">x</mi>
            <mo stretchy="false" id="p1.1.m1.1.8" xref="p1.1.m1.1.8.cmml">)</mo>
          </mrow>
          <mo id="p1.1.m1.1.9" xref="p1.1.m1.1.9.cmml">∧</mo>
          <mi mathvariant="normal" id="p1.1.m1.1.10" xref="p1.1.m1.1.10.cmml">¬</mi>
          <mrow id="p1.1.m1.1.50" xref="p1.1.m1.1.50.cmml">
            <mo stretchy="false" id="p1.1.m1.1.11" xref="p1.1.m1.1.11.cmml">(</mo>
            <mo id="p1.1.m1.1.12" xref="p1.1.m1.1.12.cmml">∃</mo>
            <mi id="p1.1.m1.1.13" xref="p1.1.m1.1.13.cmml">x</mi>
            <mi id="p1.1.m1.1.14" xref="p1.1.m1.1.14.cmml">S</mi>
            <mi id="p1.1.m1.1.15" xref="p1.1.m1.1.15.cmml">x</mi>
            <mo stretchy="false" id="p1.1.m1.1.16" xref="p1.1.m1.1.16.cmml">)</mo>
          </mrow>
          <mo stretchy="false" id="p1.1.m1.1.17" xref="p1.1.m1.1.17.cmml">)</mo>
        </mrow>
        <mo id="p1.1.m1.1.18" xref="p1.1.m1.1.18.cmml">→</mo>
        <mo id="p1.1.m1.1.19" xref="p1.1.m1.1.19.cmml">∀</mo>
        <mi id="p1.1.m1.1.20" xref="p1.1.m1.1.20.cmml">x</mi>
        <mi id="p1.1.m1.1.21" xref="p1.1.m1.1.21.cmml">T</mi>
        <mi id="p1.1.m1.1.22" xref="p1.1.m1.1.22.cmml">x</mi>
        <mo stretchy="false" id="p1.1.m1.1.23" xref="p1.1.m1.1.23.cmml">)</mo>
      </mrow>
      <mo id="p1.1.m1.1.24" xref="p1.1.m1.1.24.cmml">⇔</mo>
      <mrow id="p1.1.m1.1.56" xref="p1.1.m1.1.56.cmml">
        <mo stretchy="false" id="p1.1.m1.1.25" xref="p1.1.m1.1.25.cmml">(</mo>
        <mrow id="p1.1.m1.1.53" xref="p1.1.m1.1.53.cmml">
          <mo stretchy="false" id="p1.1.m1.1.26" xref="p1.1.m1.1.26.cmml">(</mo>
          <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">x</mi>
          <mi id="p1.1.m1.1.29" xref="p1.1.m1.1.29.cmml">R</mi>
          <mi id="p1.1.m1.1.30" xref="p1.1.m1.1.30.cmml">x</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 id="p1.1.m1.1.55" xref="p1.1.m1.1.55.cmml">
          <mo stretchy="false" id="p1.1.m1.1.33" xref="p1.1.m1.1.33.cmml">(</mo>
          <mrow id="p1.1.m1.1.54" xref="p1.1.m1.1.54.cmml">
            <mo stretchy="false" id="p1.1.m1.1.34" xref="p1.1.m1.1.34.cmml">(</mo>
            <mi mathvariant="normal" id="p1.1.m1.1.35" xref="p1.1.m1.1.35.cmml">¬</mi>
            <mo id="p1.1.m1.1.36" xref="p1.1.m1.1.36.cmml">∃</mo>
            <mi id="p1.1.m1.1.37" xref="p1.1.m1.1.37.cmml">x</mi>
            <mi id="p1.1.m1.1.38" xref="p1.1.m1.1.38.cmml">S</mi>
            <mi id="p1.1.m1.1.39" xref="p1.1.m1.1.39.cmml">x</mi>
            <mo stretchy="false" id="p1.1.m1.1.40" xref="p1.1.m1.1.40.cmml">)</mo>
          </mrow>
          <mo id="p1.1.m1.1.41" xref="p1.1.m1.1.41.cmml">→</mo>
          <mo id="p1.1.m1.1.42" xref="p1.1.m1.1.42.cmml">∀</mo>
          <mi id="p1.1.m1.1.43" xref="p1.1.m1.1.43.cmml">x</mi>
          <mi id="p1.1.m1.1.44" xref="p1.1.m1.1.44.cmml">T</mi>
          <mi id="p1.1.m1.1.45" xref="p1.1.m1.1.45.cmml">x</mi>
          <mo stretchy="false" id="p1.1.m1.1.46" xref="p1.1.m1.1.46.cmml">)</mo>
        </mrow>
        <mo stretchy="false" id="p1.1.m1.1.47" xref="p1.1.m1.1.47.cmml">)</mo>
      </mrow>
      <mo id="p1.1.m1.1.48" xref="p1.1.m1.1.48.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>
        <cerror id="p1.1.m1.1.52.cmml" xref="p1.1.m1.1.52">
          <csymbol cd="ambiguous" id="p1.1.m1.1.52a.cmml" xref="p1.1.m1.1.52">fragments</csymbol>
          <ci id="p1.1.m1.1.1.cmml" xref="p1.1.m1.1.1">(</ci>
          <cerror id="p1.1.m1.1.51.cmml" xref="p1.1.m1.1.51">
            <csymbol cd="ambiguous" id="p1.1.m1.1.51a.cmml" xref="p1.1.m1.1.51">fragments</csymbol>
            <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">(</ci>
            <cerror id="p1.1.m1.1.49.cmml" xref="p1.1.m1.1.49">
              <csymbol cd="ambiguous" id="p1.1.m1.1.49a.cmml" xref="p1.1.m1.1.49">fragments</csymbol>
              <ci id="p1.1.m1.1.3.cmml" xref="p1.1.m1.1.3">(</ci>
              <exists id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4"/>
              <csymbol cd="unknown" id="p1.1.m1.1.5.cmml" xref="p1.1.m1.1.5">x</csymbol>
              <csymbol cd="unknown" id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6">R</csymbol>
              <csymbol cd="unknown" id="p1.1.m1.1.7.cmml" xref="p1.1.m1.1.7">x</csymbol>
              <ci id="p1.1.m1.1.8.cmml" xref="p1.1.m1.1.8">)</ci>
            </cerror>
            <and id="p1.1.m1.1.9.cmml" xref="p1.1.m1.1.9"/>
            <not id="p1.1.m1.1.10.cmml" xref="p1.1.m1.1.10"/>
            <cerror id="p1.1.m1.1.50.cmml" xref="p1.1.m1.1.50">
              <csymbol cd="ambiguous" id="p1.1.m1.1.50a.cmml" xref="p1.1.m1.1.50">fragments</csymbol>
              <ci id="p1.1.m1.1.11.cmml" xref="p1.1.m1.1.11">(</ci>
              <exists id="p1.1.m1.1.12.cmml" xref="p1.1.m1.1.12"/>
              <csymbol cd="unknown" id="p1.1.m1.1.13.cmml" xref="p1.1.m1.1.13">x</csymbol>
              <csymbol cd="unknown" id="p1.1.m1.1.14.cmml" xref="p1.1.m1.1.14">S</csymbol>
              <csymbol cd="unknown" id="p1.1.m1.1.15.cmml" xref="p1.1.m1.1.15">x</csymbol>
              <ci id="p1.1.m1.1.16.cmml" xref="p1.1.m1.1.16">)</ci>
            </cerror>
            <ci id="p1.1.m1.1.17.cmml" xref="p1.1.m1.1.17">)</ci>
          </cerror>
          <ci id="p1.1.m1.1.18.cmml" xref="p1.1.m1.1.18">→</ci>
          <csymbol cd="latexml" id="p1.1.m1.1.19.cmml" xref="p1.1.m1.1.19">for-all</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.20.cmml" xref="p1.1.m1.1.20">x</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.21.cmml" xref="p1.1.m1.1.21">T</csymbol>
          <csymbol cd="unknown" id="p1.1.m1.1.22.cmml" xref="p1.1.m1.1.22">x</csymbol>
          <ci id="p1.1.m1.1.23.cmml" xref="p1.1.m1.1.23">)</ci>
        </cerror>
        <ci id="p1.1.m1.1.24.cmml" xref="p1.1.m1.1.24">⇔</ci>
        <cerror id="p1.1.m1.1.56.cmml" xref="p1.1.m1.1.56">
          <csymbol cd="ambiguous" id="p1.1.m1.1.56a.cmml" xref="p1.1.m1.1.56">fragments</csymbol>
          <ci id="p1.1.m1.1.25.cmml" xref="p1.1.m1.1.25">(</ci>
          <cerror id="p1.1.m1.1.53.cmml" xref="p1.1.m1.1.53">
            <csymbol cd="ambiguous" id="p1.1.m1.1.53a.cmml" xref="p1.1.m1.1.53">fragments</csymbol>
            <ci id="p1.1.m1.1.26.cmml" xref="p1.1.m1.1.26">(</ci>
            <exists id="p1.1.m1.1.27.cmml" xref="p1.1.m1.1.27"/>
            <csymbol cd="unknown" id="p1.1.m1.1.28.cmml" xref="p1.1.m1.1.28">x</csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.29.cmml" xref="p1.1.m1.1.29">R</csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.30.cmml" xref="p1.1.m1.1.30">x</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 id="p1.1.m1.1.55.cmml" xref="p1.1.m1.1.55">
            <csymbol cd="ambiguous" id="p1.1.m1.1.55a.cmml" xref="p1.1.m1.1.55">fragments</csymbol>
            <ci id="p1.1.m1.1.33.cmml" xref="p1.1.m1.1.33">(</ci>
            <cerror id="p1.1.m1.1.54.cmml" xref="p1.1.m1.1.54">
              <csymbol cd="ambiguous" id="p1.1.m1.1.54a.cmml" xref="p1.1.m1.1.54">fragments</csymbol>
              <ci id="p1.1.m1.1.34.cmml" xref="p1.1.m1.1.34">(</ci>
              <not id="p1.1.m1.1.35.cmml" xref="p1.1.m1.1.35"/>
              <exists id="p1.1.m1.1.36.cmml" xref="p1.1.m1.1.36"/>
              <csymbol cd="unknown" id="p1.1.m1.1.37.cmml" xref="p1.1.m1.1.37">x</csymbol>
              <csymbol cd="unknown" id="p1.1.m1.1.38.cmml" xref="p1.1.m1.1.38">S</csymbol>
              <csymbol cd="unknown" id="p1.1.m1.1.39.cmml" xref="p1.1.m1.1.39">x</csymbol>
              <ci id="p1.1.m1.1.40.cmml" xref="p1.1.m1.1.40">)</ci>
            </cerror>
            <ci id="p1.1.m1.1.41.cmml" xref="p1.1.m1.1.41">→</ci>
            <csymbol cd="latexml" id="p1.1.m1.1.42.cmml" xref="p1.1.m1.1.42">for-all</csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.43.cmml" xref="p1.1.m1.1.43">x</csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.44.cmml" xref="p1.1.m1.1.44">T</csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.45.cmml" xref="p1.1.m1.1.45">x</csymbol>
            <ci id="p1.1.m1.1.46.cmml" xref="p1.1.m1.1.46">)</ci>
          </cerror>
          <ci id="p1.1.m1.1.47.cmml" xref="p1.1.m1.1.47">)</ci>
        </cerror>
        <ci id="p1.1.m1.1.48.cmml" xref="p1.1.m1.1.48">.</ci>
      </cerror>
    </annotation-xml>
    <annotation encoding="application/x-tex" id="p1.1.m1.1f">{\displaystyle(((\exists xRx)\land\lnot(\exists xSx))\to\forall xTx)%
\Leftrightarrow((\exists xRx)\to((\lnot\exists xSx)\to\forall xTx)).}</annotation>
  </semantics>
</math>

SVG (12.847 KB / 3.844 KB) :

left-parenthesis left-parenthesis left-parenthesis there-exists x upper R x right-parenthesis logical-and normal not-sign left-parenthesis there-exists x upper S x right-parenthesis right-parenthesis right-arrow for-all x upper T x right-parenthesis left right double arrow left-parenthesis left-parenthesis there-exists x upper R x right-parenthesis right-arrow left-parenthesis left-parenthesis normal not-sign there-exists x upper S x right-parenthesis right-arrow for-all x upper T x right-parenthesis right-parenthesis period

SVG (MathML can be enabled via browser plugin) rendering

MathML (2.188 KB / 465 B) :

( ( ( ∃ x R x ) ∧ ¬ ( ∃ x S x ) ) → ∀ x T x ) ⇔ ( ( ∃ x R x ) → ( ( ¬ ∃ x S x ) → ∀ x T x ) ) . {\displaystyle (((\exists xRx)\land \lnot (\exists xSx))\to \forall xTx)\Leftrightarrow ((\exists xRx)\to ((\lnot \exists xSx)\to \forall xTx)).} 
<math xmlns="http://www.w3.org/1998/Math/MathML" display="block" alttext="{\displaystyle (((\exists xRx)\land \lnot (\exists xSx))\to \forall xTx)\Leftrightarrow ((\exists xRx)\to ((\lnot \exists xSx)\to \forall xTx)).}">
  <semantics>
    <mrow class="MJX-TeXAtom-ORD">
      <mstyle displaystyle="true" scriptlevel="0">
        <mo stretchy="false">(</mo>
        <mo stretchy="false">(</mo>
        <mo stretchy="false">(</mo>
        <mi mathvariant="normal">&#x2203;<!-- ∃ --></mi>
        <mi>x</mi>
        <mi>R</mi>
        <mi>x</mi>
        <mo stretchy="false">)</mo>
        <mo>&#x2227;<!-- ∧ --></mo>
        <mi mathvariant="normal">&#x00AC;<!-- ¬ --></mi>
        <mo stretchy="false">(</mo>
        <mi mathvariant="normal">&#x2203;<!-- ∃ --></mi>
        <mi>x</mi>
        <mi>S</mi>
        <mi>x</mi>
        <mo stretchy="false">)</mo>
        <mo stretchy="false">)</mo>
        <mo stretchy="false">&#x2192;<!-- → --></mo>
        <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi>
        <mi>x</mi>
        <mi>T</mi>
        <mi>x</mi>
        <mo stretchy="false">)</mo>
        <mo stretchy="false">&#x21D4;<!-- ⇔ --></mo>
        <mo stretchy="false">(</mo>
        <mo stretchy="false">(</mo>
        <mi mathvariant="normal">&#x2203;<!-- ∃ --></mi>
        <mi>x</mi>
        <mi>R</mi>
        <mi>x</mi>
        <mo stretchy="false">)</mo>
        <mo stretchy="false">&#x2192;<!-- → --></mo>
        <mo stretchy="false">(</mo>
        <mo stretchy="false">(</mo>
        <mi mathvariant="normal">&#x00AC;<!-- ¬ --></mi>
        <mi mathvariant="normal">&#x2203;<!-- ∃ --></mi>
        <mi>x</mi>
        <mi>S</mi>
        <mi>x</mi>
        <mo stretchy="false">)</mo>
        <mo stretchy="false">&#x2192;<!-- → --></mo>
        <mi mathvariant="normal">&#x2200;<!-- ∀ --></mi>
        <mi>x</mi>
        <mi>T</mi>
        <mi>x</mi>
        <mo stretchy="false">)</mo>
        <mo stretchy="false">)</mo>
        <mo>.</mo>
      </mstyle>
    </mrow>
    <annotation encoding="application/x-tex">{\displaystyle (((\exists xRx)\land \lnot (\exists xSx))\to \forall xTx)\Leftrightarrow ((\exists xRx)\to ((\lnot \exists xSx)\to \forall xTx)).}</annotation>
  </semantics>
</math>

SVG (9.098 KB / 3.454 KB) :

{\displaystyle (((\exists xRx)\land \lnot (\exists xSx))\to \forall xTx)\Leftrightarrow ((\exists xRx)\to ((\lnot \exists xSx)\to \forall xTx)).}

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 Tautology (logic) page

Identifiers

MathML observations

0results

0results

no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results

Retrieved from "https://en.formulasearchengine.com/wiki/Special:FormulaInfo"