Logical equivalences with quantifiers
“Not every student has a computer” =
= “There is a student who does not have a computer”
(universe of discourse --- students, P(x) means “x has a computer”)
“There is no white elephant” = “Every elephant is not white”
(universe of discourse --- elephants, P(x) means “x is white”.