Negace kvantifikovaných výroků