# New post in Proof-verification

July 23rd, 2022

## Disprove That: All birds can fly

August 18th, 2022

## Show that $f(x)=3x^{2}-2x+1$ is continuous at 2

August 16th, 2022

## Singular value decomposition proof

December 15th, 2022

July 30th, 2022

## Verify the identiy, (cos(x+h) - sin x)/h = cos x * ((cos h - 1)/h)- sin x * (sin h /h)

October 10th, 2020

## Show that $(1+x)^n$ = .... Hence deduce that .... = $2^n$

August 21st, 2020

## Voltage Current and Voltage Charge Relationship for a Capacitor

August 28th, 2020

August 1st, 2022

August 1st, 2022

## proving that if $x^2 + x + 1$ is even, then $x$ is odd by induction

November 22nd, 2020

August 1st, 2022

August 1st, 2022

April 10th, 2020

August 1st, 2022

## Prove that if f g and 2 are bounded, then f is also bounded

October 5th, 2020

March 22nd, 2020

## Prove that each of the following sets, with the indicated operation, is an abelian group

February 1st, 2020

## Show that there is an identity element with respect to the operation $+$ and every subset $A$ of $D$ has an inverse with respect to $+$

February 2nd, 2020

## Prove Nth derivative expression by induction

November 2nd, 2020

## Using proof by contradiction to show that $x<y \implies \sqrt x < \sqrt y$

October 24th, 2020

August 1st, 2022

## Proof Verification: Comparison Property for Integrals

February 20th, 2020

## What is the logic proof that ¬ (∃x)(Fx) => (∀x)(Fx → Gx)

September 13th, 2020

## How is $f(x)=\tan(x)$ bijective for $(-\frac{\pi}{2}, \frac{\pi}{2})$ and not for an unrestricted domain?

November 16th, 2020

August 1st, 2022

August 1st, 2022

March 4th, 2020

May 20th, 2020

August 1st, 2022