negation of a proposition - Spanish English Dictionary