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}\)