query: Show equivalent form of $\backsim\left(\forall x {\in} S,P(x) \vee Q(x)\right)$
positive_passages.docid: 158016
positive_passages.text: Help understanding predicate logic question/proof
negative_passages.docid: 78754
negative_passages.text: Showing that $E[X|X<x]$ is smaller or equal than $E[X]$ for all x
negative_passages.docid: 114524
negative_passages.text: Proof Verification: the orthogonal complement of the column space is the left nullspace
negative_passages.docid: 139064
negative_passages.text: Show by using logical connectives laws that $(P\to Q) \land (Q \to R) $ is equivalent to $(P \to R) \land [(P \iff Q) \lor (R \iff Q)]$
negative_passages.docid: 154945
negative_passages.text: $|px^2+qx+r|\le1$ for all $x$ in $[-1; 1]$, show that $|rx^2+qx+p|\le2$ for all $x$ in $[-1; 1]$
negative_passages.docid: 72506
negative_passages.text: An example s.t. $E(E(X|\mathcal F_1)|\mathcal F_2)\neq E(E(X|\mathcal F_2)|\mathcal F_1)$
negative_passages.docid: 23946
negative_passages.text: Prove the definitions of $e$ to be equivalent
negative_passages.docid: 131881
negative_passages.text: Show that the roots of P' lie in the same half plane as the roots of P
negative_passages.docid: 93707
negative_passages.text: Formal proof for $q \land \neg q \vdash r \land \neg r$
negative_passages.docid: 130854
negative_passages.text: Constructing example showing $\mathbb{E}(X^{-1})=(\mathbb{E}(X))^{-1}$
negative_passages.docid: 92492
negative_passages.text: Natural Deduction: $(p \lor q)\to r\vdash p \to r$ and $p\to\neg q\leftrightarrow(r\lor s),\neg s\vdash (p\land \neg q)\to r$
negative_passages.docid: 93806
negative_passages.text: $\|f\|_{L^{p}}=\sup\left\{\int_{{\bf R}^{n}}|f(x)g(x)|~dx:\|g\|_{L^{q}}\le1\right\}$
negative_passages.docid: 87955
negative_passages.text: How to prove that $P \rightarrow Q$ is equivalent with $\neg P \lor Q $?
negative_passages.docid: 61162
negative_passages.text: Show that $\left(\int_0^1 f(x)\,dx\right)^2\leq2\int_0^1x\, f(x)^2\,dx $
negative_passages.docid: 53244
negative_passages.text: Prove that $p \in \mathbb{R}[x]$ can be represented as a sum of squares of polynomials from $\mathbb{R}[x]$
negative_passages.docid: 21004
negative_passages.text: Formula similar to $EX=\sum\limits_{i=1}^{\infty}P\left(X\geq i\right)$ to compute $E(X^n)$?
negative_passages.docid: 20581
negative_passages.text: How to show that $\Gamma\vdash (\varphi\to\neg\varphi)\to\varphi$?