What is the order of operations for $p \implies q \implies r$
13064
In what order are chained implications evaluated? (i.e. $a \implies b \implies c$)
92492
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$
156910
Necessary and sufficient condition for $R/IJ \cong R/I \times R/J$
61103
Prove that $\mathbb{|Q| = |Q\times Q|}$
131946
Order of an Element Under a Homomorphism
35972
Well ordering principle for rationals
87955
How to prove that $P \rightarrow Q$ is equivalent with $\neg P \lor Q $?
121361
Showing that $\lnot Q \lor (\lnot Q \land R) = \lnot Q$ without a truth table
17178
Order of $\phi(g)$ divides the order of $g$
93707
Formal proof for $q \land \neg q \vdash r \land \neg r$
56234
Isomorphism $f$ preserves the order of an element?
130998
Is $\exists x \in A ~:~ P(x)$ the same as $\exists x ~:~ x \in A \implies P(x)$
102879
$\operatorname{Ext}$ and injectives, respectively projectives
134384
What does $\rightarrow$ mean in $p \rightarrow q$
29655
$L^p$ and $L^q$ space inclusion
38083
Order of conjugate of an element given the order of its conjugate
21250
Prove $x \equiv a \pmod{p}$ and $x \equiv a \pmod{q}$ then $x \equiv a\pmod{pq}$