Why is $p\Rightarrow q$ equivalent to $\neg p\lor q$ and how to prove it
41044
Equivalence of $a \rightarrow b$ and $\lnot a \vee b$
109778
Proving $(x-c)|(p(x)-p(c))$
60617
How compute $\lim_{p\rightarrow 0} \|f\|_p$ in a probability space?
129824
For what $a \in \Bbb R$ does $\neg(3a>21\implies a \leq 5)$ hold?
66535
How to prove $P(A\cap B)\geqslant P(A)+P(B)-1$?
139537
Show that $x\subseteq y \Leftrightarrow \mathcal{P}(x)\subseteq\mathcal{P}(y)$.
31846
Does $\neg(x > y)$ imply that $y \geq x$?
136427
Given $∃y.∀x.p(x,y)$, use the Fitch system to prove $∀x.∃y.p(x,y)$
62755
The simplest way of proving that $|\mathcal{P}(\mathbb{N})| = |\mathbb{R}| = c$
6119
If both $P$ and $Q$ are true , how can I tell that $P$ implies $Q$?
95111
Elementary proof for $\sqrt{p_{n+1}} \notin \mathbb{Q}(\sqrt{p_1}, \sqrt{p_2}, \ldots, \sqrt{p_n})$ where $p_i$ are different prime numbers.
93707
Formal proof for $q \land \neg q \vdash r \land \neg r$
29031
How does "If $P$ then $Q$" have the same meaning as "$Q$ only if $P$ "?
106401
Prove: $p-mq | f(m)$ where $m$ is any integer
37924
Equivalence of norms proof
84251
Show that $\Gamma \cup \{\neg \phi\}$ is satisfiable if and only if $\Gamma\not \models \phi$
77759
How do i prove that $(p \vee q) \wedge (\neg p \vee r) \rightarrow (q \vee r)$ is a tautology without using the truth table?