Mệnh đề phủ định
Cho mệnh đề $P$. Mệnh đề “Không phải $P$” được gọi là mệnh đề phủ định của $P$ và ký hiệu là $\overline P $. Mệnh đề $P$ và mệnh đề phủ định $\overline P$ là hai câu khẳng định trái ngược nhau. Nếu $P$ đúng thì $\overline P $ sai, nếu $P$ sai thì $\overline P $ đúng.
|