Equivalence of $P\rightarrow Q$ and $\lnot P\lor Q$
41044
Equivalence of $a \rightarrow b$ and $\lnot a \vee b$
46613
What's the difference between $\equiv$ and $\leftrightarrow$ in a formal proof?
49162
Classify all groups with order $pq$, $p$ is not equal to $q$
151993
Ring homomorphisms $\mathbb Z[x]\rightarrow \mathbb Q$
32180
Why is "$A$ unless $B$" equivalent to $A \lor B$?
32929
Questions about proving $\lnot \lnot a = a$
93410
How to prove ~ (~P & ~Q) : P ∨ Q by natural deduction
70117
Show that $(p \to q) \lor (q \to p)$ is a tautology
82771
Proving that any polynomial $p:\mathbb{R}\rightarrow \mathbb{R}$ is not bounded, but its restriction to any bounded set is bounded
14688
Do sequences in $\ell^p$ belong to some $\ell^q$ for $q<p$?
41846
$(\mathbb{R}^n,\|\cdot\|_{p})$ is isometrically isomorphic to $(\mathbb{R}^n,\|\cdot\|_{q})$ iff $p=q,$
27086
proof for $\langle q| p \rangle = e^{ipq}$
86025
Nonabelian semidirect products of order $pq$?
67709
Stuck with proof for $\forall A\forall B(\mathcal{P}(A)\cup\mathcal{P}(B)=\mathcal{P}(A\cup B)\rightarrow A\subseteq B \vee B\subseteq A)$
149416
Show that $ \{\lnot,\leftrightarrow\} $ is not functional complete
6119
If both $P$ and $Q$ are true , how can I tell that $P$ implies $Q$?
43219
If $[K(\alpha):K]=p\neq q=[K(\beta):K]$ then $[K(\alpha+\beta):K]=pq$