KHẲNG ĐỊNH HẬU KIỆN: ĐỊNH NGHĨA VÀ VÍ DỤ