query: How do I show that $\vdash (\lnot \alpha \to \alpha) \to \alpha$?
positive_passages.docid: 20581
positive_passages.text: How to show that $\Gamma\vdash (\varphi\to\neg\varphi)\to\varphi$?
negative_passages.docid: 151493
negative_passages.text: Using $\epsilon$-$\delta$ to show a property of a function
negative_passages.docid: 146339
negative_passages.text: Proof of -(-v)=v in a vector space
negative_passages.docid: 30770
negative_passages.text: Prove that $C\left(\bigcup_{\alpha\in I} A_\alpha\right)=\bigcap_{\alpha\in I}C\left(A_\alpha\right)$
negative_passages.docid: 103380
negative_passages.text: Is $\operatorname{height} \mathfrak{p} + \dim A / \mathfrak{p} = \dim A$ true?
negative_passages.docid: 157213
negative_passages.text: Application of Luca's theorem
negative_passages.docid: 132595
negative_passages.text: $\sup_{0 \leq M \leq I_{\mathcal{H}_1}} \frac{\operatorname{Tr}[\rho M]}{\operatorname{Tr}[\sigma M]}$ satisfies Data Processing Inequality
negative_passages.docid: 13899
negative_passages.text: Proof that $-v = (-1)*v$
negative_passages.docid: 133528
negative_passages.text: $\lvert K(\alpha_1,\dots,\alpha_n) : K \rvert$ is a divisor of $n!$
negative_passages.docid: 63952
negative_passages.text: Disproving: If $(\Gamma\vdash(\phi\,\lor\psi))$, either $(\Gamma\vdash\phi)$ or $(\Gamma\vdash\psi)$ is true
negative_passages.docid: 130253
negative_passages.text: Differentiating $\mbox{tr} (ABA^TC)$ w.r.t. $A$
negative_passages.docid: 141643
negative_passages.text: Showing $\rho (x,y)=\frac{d(x,y)}{1+d(x,y)}$ is a metric
negative_passages.docid: 33278
negative_passages.text: $\delta$ differential notation
negative_passages.docid: 105108
negative_passages.text: How to show this sequence is a delta sequence?
negative_passages.docid: 93875
negative_passages.text: "Show" that the direction cosines of a vector satisfies...
negative_passages.docid: 150882
negative_passages.text: If $\Gamma \cup \{ \neg \varphi \}$ is inconsistent, then $\Gamma \vdash \varphi$
negative_passages.docid: 11912
negative_passages.text: Is it true that $\displaystyle \left( \lim_{n \to \infty} x_n \right)^\alpha = \lim_{n \to \infty} x_n^\alpha $