View source for Toán 10/Mệnh đề

==Mệnh đề==

=== Ví dụ ===

# Ta có thể khẳng định câu "Một cộng một bằng hai" đúng hoặc sai.
# Ta không thể khẳng định câu "Cái này giá bao nhiêu?" đúng hoặc sai.
# Ta có thể khẳng định câu "Wikiversity là một trang báo" đúng hoặc sai.
# Ta không thể khẳng định câu "Nhanh lên nào!" đúng hoặc sai.

''Những câu ta có thể khẳng định đúng hoặc sai là một mệnh đề.''

===Định nghĩa===
*Mỗi mệnh đề phải hoặc đúng hoặc sai.
*Một mệnh đề không thể vừa đúng vừa sai.
Mệnh đề thường được ký hiệu bằng một chữ cái in hoa.

Lưu ý: Có những câu ta không thể khẳng định đúng hoặc sai, nhưng nó luôn nhận giá trị đúng hoặc sai. Những câu đó vẫn là một mệnh đề. Ví dụ:

# Ta có thể không biết câu "Tổng thống Donald Trump sinh năm 1945" đúng hay sai, nhưng nó vẫn là mệnh đề.
# Ta có thể không biết câu "Hoa Kỳ từng là thuộc địa của đế quốc Anh" đúng hay sai, nhưng nó vẫn là mệnh đề. 

==Mệnh đề chứa biến==
===Ví dụ===

# Xét câu "X chia hết cho 3". Ta không thể xác định câu đó đúng hay sai, nhưng thay X bởi bất kỳ một số luôn cho ta một câu đúng hoặc sai. Như vậy câu trên là một mệnh đề.
# Xét câu "Y là số tự nhiên". Ta không thể xác định câu đó đúng hay sai, nhưng thay Y bởi bất kỳ một số luôn cho ta một câu đúng hoặc sai. Như vậy câu trên là một mệnh đề.

Hai câu trên là ví dụ của '''mệnh đề chứa biến'''.

=== Định nghĩa ===

* Mệnh đề chứa biến là câu có chứa biến số, mỗi giá trị của biến luôn cho ta câu đúng hoặc sai.

== Phủ định một mệnh đề ==

=== Ví dụ ===

# Xét mệnh đề "Một cộng một bằng hai", ta có thể phủ định mệnh đề đã cho rằng "Một cộng một không bằng hai".
# Xét mệnh đề "Cá heo không thuộc lớp Cá", ta có thể phủ định mệnh đề đã cho rằng "Cá heo thuộc lớp cá".

Một mệnh đề trong mỗi ví dụ đều phủ định mệnh đề còn lại. Để phủ định một mệnh đề, ta thường thêm hoặc bỏ từ '''không''', '''không phải''' trước vị ngữ của câu.

=== Kí hiệu ===
Mệnh đề phủ định của mệnh đề <math>A</math> được kí hiệu là <math>\bar{A} </math>. 

Ta có <math>A</math> đúng khi <math>\bar{A} </math> sai, <math>A</math> sai khi <math>\bar{A} </math> đúng.

== Mệnh đề kéo theo ==

=== Ví dụ ===

# Xét câu "Nếu tôi không có ý chí thì tôi sẽ thất bại", đây là một mệnh đề vì ta có thể khẳng định nó đúng hoặc sai. Khác với các các ví dụ trước, câu này có cấu trúc ''Nếu ... thì ...'' với hai vế câu đều là hai mệnh đề.
# Xét câu "Nếu tam giác <math>ABC</math> là tam giác đều thì nó có một góc bằng <math>45^\circ</math>", đây là một mệnh đề vì ta có thể khẳng định nó đúng hoặc sai. Giống ví dụ trên, câu này có cấu trúc ''Nếu .. thì ...'' với hai vế đều là hai mệnh đề.

Những mệnh đều có cấu trúc ''Nếu ... thì ...'' như trên, ta gọi nó là '''Mệnh đề kéo theo'''.

=== Định nghĩa ===

* Mệnh đề "''Nếu <math>A</math> thì <math>B </math>'' " được gọi một mệnh đề kéo theo.
* Kí hiệu là <math>A \Rightarrow B </math>, đọc là "Nếu A thì B", "A suy ra B" hoặc "A kéo theo B".

Khi xét tính đúng sai, ta chỉ dựa vào mệnh đề vế sau. <math>A \Rightarrow B </math> đúng khi ''<math>B </math>'' đúng, <math>A \Rightarrow B </math> sai khi ''<math>B </math>'' sai.

Lưu ý: Khi xét tính đúng sai của mệnh đề vế sau, tức là ta tính đúng sai của kết quả so với nguyên nhân.

=== Điều kiện cần và điều kiện đủ ===
Xét mệnh đề <math>A \Rightarrow B </math>, ta có:

* ''<math>A</math>'' là giả thiết của định lý, là '''điều kiện đủ''' để có ''<math>B </math>''.
* ''<math>B </math>'' là kết luận của định lý, là '''điều kiện cần''' để có ''<math>A</math>''.

Điều này có nghĩa ''<math>A</math>'' là đủ để có ''<math>B </math>'', ''<math>B </math>'' là cần nhưng chưa đủ để có ''<math>A</math>''.

Trong một số trường hợp, ''<math>A</math>'' là đủ để có ''<math>B </math>'' và ''<math>B </math>'' là đủ để có ''<math>A</math>'', khi đó ta nói:

# ''<math>A</math>'' là điều kiện cần và đủ để có ''<math>B </math>''
# ''<math>B</math>'' là điều kiện cần và đủ để có ''<math>A </math>''

Trong trường hợp như trên, ta kí hiệu là <math>A \Leftrightarrow B </math>, đọc là "A tương đương B", "A khi và chỉ khi B", hoặc như 2 cách trên.

==Tham khảo==
* Sách giáo khoa Đại số lớp 10, bài 1 - nhà xuất bản Giáo dục Việt Nam.
[[Category:VI]]
[[Category:Toán 10]]