Mệnh đề là gì? Tính đúng sai của mệnh đề?
Mệnh đề logic (hay mệnh đề) là một khẳng định đúng hoặc sai. Mệnh đề toán học là những mệnh đề liên quan đến toán học.
Xem chi tiếtMệnh đề chứa biến là gì?
Một khẳng định nhưng không là mệnh đề, nhưng nếu cho một giá trị cụ thể thì câu đó cho ta một mệnh đề. Những câu như vậy được gọi là mệnh đề chứa biến.
Xem chi tiếtMệnh để phủ định. Cách phủ định một mệnh đề
Mệnh đề “Không phải P” được gọi là mệnh đề phủ định của mệnh đề (P). Kí hiệu là (overline P ).
Xem chi tiếtMệnh đề kéo theo
Mệnh đề “Nếu P thì Q” được gọi là mệnh đề kéo theo. Kí hiệu là (P Rightarrow Q).
Xem chi tiếtMệnh đề đảo. Mệnh đề tương đương
Mệnh đề (Q Rightarrow P)được gọi là mệnh đề đảo của mệnh đề (P Rightarrow Q). Nếu cả hai mệnh đề (P Rightarrow Q) và (Q Rightarrow P) đều đúng thì ta nói P và Q là hai mệnh đề tương đương. Kí hiệu là (P Leftrightarrow Q).
Xem chi tiếtMệnh đề chứa kí hiệu Với mọi, Tồn tại
+ Kí hiệu (forall ) đọc là “với mọi” + Kí hiệu (exists ) đọc là “tồn tại”
Xem chi tiết