Writing formal propositions
Task number: 2782
First write the following propositions using quantifiers. Then negate them, and finally write the negated propositions informally, like the original propositions.
All natural numbers are even.
Every prime number is odd.
Some natural number is divisible by all primes.
Between \(n\) and \(2n\) we can always find some prime number.