Mệnh đề với kí hiệu tồn tại với mọi - Vận dụng