You must have JavaScript enabled to use the comments.
15-08-2020

test de mathjax

Cette page pour tester MathJax dans les commentaires

titre

\(\require{fitch}\)

\begin{nd} \hypo {1} {\forall y \neg P(y)} \open \hypo {2} {\exists x P(x)} \open[u] \hypo {3} {P(u)$} \have {4} {\forall y \neg P(y)} \r{1} \have {5} {\neg P(u)} \Ae{4} \have {6} {\bot} \ne{3,5} \close \have {6a}{\bot} \Ee{2,3-6} \close \have {7} {\neg \exists x P(x)} \ni{2-6a} \end{nd}

\(\begin{equation} \begin{split} \frac{1}{\sqrt{(x-A)^2+(y-B)^2+(z-C)^2}}&=\\ \frac{1}{D}\sum_{n=0}^\infty\left(\frac{\rho}{D}\right)^n&P_n\left(\frac{Ax+By+Cz}{D\rho}\right), \end{split} \end{equation}\)

Tags: truc