Prove or find a counterexample
5371
If a function has a finite limit at infinity, does that imply its derivative goes to zero?
31299
Using the Fitch system, how do I prove $((p \implies q) \implies p)\implies p$?
90970
How to prove the line exist?
76347
Shorter proof for some equvalences
148790
Basic question about proofs with the goal $\exists x P(x)$
42150
Prove that $\forall x \neg P(x) \iff \neg \exists x P(x)$
100095
Proving replacement theorem?
48761
How can know if a proof technique can actually prove something? Specifically, induction
25874
Showing that a certain map is not flat by explicit counterexample
113925
Normal Subgroup Counterexample
3979
Limit comparison test proof
74278
give a counterexample of monoid
144316
counterexample to Abel's theorem
100399
A doubt with a part of a certain proof.
17928
How to prove the following expression does not depend on x?
151356
Need Hints Prove "$((\neg \alpha \to \alpha) \to \alpha) $" Using Axiom 1,2,3 and MP and deduction theorem
35188
Counterexample: $G \times K \cong H \times K \implies G \cong H$