Cho mệnh đề: "\(\forall n\in\mathbb{N}\) : \(n\) chia hết cho \(n\) " . Viết mệnh đề phủ định của mệnh đề đã cho.
" \(\exists n\in\mathbb{N}\) : \(n\) không chia hết cho \(n\) " " \(\forall n\in\mathbb{N}\) \(n\) không chia hết cho \(n\) " " \(\exists n\in\mathbb{N}\) : \(n\) chia hết cho \(n\) " "\(\forall n\in\mathbb{N}\) : \(n\) chia hết cho \(n\) " Hướng dẫn giải:Mệnh đề:
"\(\forall n\in\mathbb{N}\) : \(n\) chia hết cho \(n\) "
phát biểu thành lời là:
"Mọi số tự nhiên n ta đều có n chia hết cho n"
Phủ định của mệnh đề trên là:
"Không phải mọi số tự nhiên n ta đều có n chia hết cho n"
Hay tương đương với:
"Tồn tại một số tự nhiên n sao cho n không chia hết cho n"
Mệnh đề phủ định phát biểu bằng kí hiệu là:
" \(\exists n\in\mathbb{N}\) : \(n\) không chia hết cho \(n\) "