Existential quantifier distribution over imply
103112
Does the existential quantifier distribute over an implication?
140194
Using natural deduction to prove that $p \implies q \vdash \lnot p \lor q$
46423
Distributivity of quantifiers over logical connectives
6535
Proof of for-all / there-exists "negation"?
59820
ZF Extensionality axiom
81295
Transforming arbitrary distributions to distributions on $[0,1]$
70500
Implies ($\Rightarrow$) vs. Entails ($\models$) vs. Provable ($\vdash$)
88281
Mixing and Distributing Qualifiers ($\forall x$, $\exists x$)
108292
Precedence between implication and bi-implication
31299
Using the Fitch system, how do I prove $((p \implies q) \implies p)\implies p$?
61303
"Infer" vs. "imply" — can "infer" imply "imply"?
58631
Continuity and the Axiom of Choice
157490
Statements equivalent to the Axiom of Choice
101741
Selection of logical connectives {¬,∨,∧,⇒,⇔} in set theory?
65379
Deriving $\neg R$ from $\{R↔(R∨(P∧¬P)), R↔¬P, ¬P→(P↔(Q→Q)), P→Q\}$
13732
$||f||_p\to ||f||_\infty$ under general assumptions
57839
Real analysis: density and continuity