True or false: If $T\vDash (p\lor q)$, then either $T\vDash p$ or $T\vDash q$.
63952
Disproving: If $(\Gamma\vdash(\phi\,\lor\psi))$, either $(\Gamma\vdash\phi)$ or $(\Gamma\vdash\psi)$ is true
87955
How to prove that $P \rightarrow Q$ is equivalent with $\neg P \lor Q $?
72920
$x \perp y$ if and only if $\Vert x + \alpha y \Vert \ge \Vert x \Vert$ for all scalars $\alpha$
95379
Prove that $V = V_1 \oplus V_2$ in the following
112707
Must $Q^\mathsf{T}Q = I$ if $(Qx)^\mathsf{T}(Qx) = x^\mathsf{T}x$
34768
Proving $(p \oplus q) \oplus r=p \oplus (q \oplus r)$
9282
Prove using natural deduction $((P \land Q) \rightarrow R) \vdash (P \rightarrow R) \lor (Q\rightarrow R)$
130998
Is $\exists x \in A ~:~ P(x)$ the same as $\exists x ~:~ x \in A \implies P(x)$
20581
How to show that $\Gamma\vdash (\varphi\to\neg\varphi)\to\varphi$?
106670
Existence of vector space complement and axiom of choice
103380
Is $\operatorname{height} \mathfrak{p} + \dim A / \mathfrak{p} = \dim A$ true?
83475
Prove Or Disprove: tr(AB)=tr(A)*tr(B)
140194
Using natural deduction to prove that $p \implies q \vdash \lnot p \lor q$
578
In classical logic, why is $(p\Rightarrow q)$ True if both $p$ and $q$ are False?
150885
$v \otimes v' = v' \otimes v$ implies $v = av'$
87494
$\operatorname{rank}(T^3) + \operatorname{rank}(T) \geq 2\operatorname{rank}(T^2)$ for finite-dimensional $V$
91935
If $x \equiv a \pmod {p_1}$ and $x\equiv a \pmod{p_2}$, then is it true that $x\equiv a \pmod{p_1p_2} ?$