Logichard
0:00.0

How do you prove a universal statement forallxP(x)\\forall x P(x) is false?