Chào các em học sinh!

Hôm nay chúng ta sẽ cùng nhau giải một bài toán về mệnh đề và các phép toán logic. Đây là một dạng bài rất hay giúp chúng ta rèn luyện tư duy chặt chẽ.

Đề bài: Tìm m để mệnh đề sau đúng: Tồn tại số thực x sao cho nếu x > m thì x > 100.

—

Phân tích bài toán:

Mệnh đề cần xét có dạng: “Tồn tại số thực x sao cho P(x)”, trong đó P(x) là mệnh đề “nếu x > m thì x > 100”.

1. Ký hiệu logic:

• “Tồn tại số thực x sao cho…” được ký hiệu là \( \exists x \in \mathbb{R} \).
• Mệnh đề “nếu x > m thì x > 100” là một mệnh đề kéo theo, có dạng \( A \implies B \), trong đó:
  • \( A \) là mệnh đề “x > m”.
  • \( B \) là mệnh đề “x > 100”.

Vậy, chúng ta cần tìm \( m \) để mệnh đề sau là đúng: \( \exists x \in \mathbb{R}, (x > m \implies x > 100) \).

2. Quy tắc giá trị chân lý của mệnh đề kéo theo \( A \implies B \):

Mệnh đề \( A \implies B \) chỉ sai khi \( A \) đúng và \( B \) sai. Trong các trường hợp còn lại, mệnh đề \( A \implies B \) luôn đúng. Cụ thể:

• Nếu \( A \) đúng, \( B \) đúng thì \( A \implies B \) đúng. (Ví dụ: “Nếu trời mưa thì đường ướt” – đúng)
• Nếu \( A \) sai, \( B \) đúng thì \( A \implies B \) đúng. (Ví dụ: “Nếu trời nắng thì đường ướt” – vẫn có thể đúng nếu có người tưới nước)
• Nếu \( A \) sai, \( B \) sai thì \( A \implies B \) đúng. (Ví dụ: “Nếu trời nắng thì đường không ướt” – đúng)
• Nếu \( A \) đúng, \( B \) sai thì \( A \implies B \) sai. (Ví dụ: “Nếu trời mưa thì đường không ướt” – sai)

3. Ý nghĩa của “Tồn tại số thực x”:

Mệnh đề “Tồn tại số thực x sao cho P(x)” được coi là đúng nếu chúng ta có thể tìm được ít nhất một giá trị của \( x \) (thuộc tập số thực) làm cho mệnh đề P(x) trở thành đúng. Chúng ta không cần tìm tất cả các giá trị của \( x \), chỉ cần một giá trị duy nhất là đủ.

—

Lời giải chi tiết:

Chúng ta cần tìm \( m \) sao cho tồn tại ít nhất một số thực \( x \) làm cho mệnh đề \((x > m \implies x > 100)\) đúng.

Để mệnh đề kéo theo \((x > m \implies x > 100)\) đúng, chúng ta có các trường hợp sau:

Trường hợp 1: Mệnh đề \(x > m\) sai.

Nếu \(x > m\) sai, điều này có nghĩa là \(x \le m\). Theo bảng giá trị chân lý của phép kéo theo, khi mệnh đề tiền đề (phần “nếu”) là sai, thì toàn bộ mệnh đề kéo theo sẽ là đúng, bất kể mệnh đề hệ quả (phần “thì”) đúng hay sai.

Bây giờ, chúng ta hãy thử tìm một giá trị \(x\) cụ thể để mệnh đề \(x > m\) sai.

Ta có thể chọn \(x = m\).

• Khi \(x = m\), mệnh đề “x > m” trở thành “m > m”, điều này là sai.
• Do đó, mệnh đề \((x > m \implies x > 100)\) trở thành \(( \text{sai} \implies m > 100 )\).

Theo quy tắc giá trị chân lý của mệnh đề kéo theo, khi phần tiền đề là sai, mệnh đề kéo theo luôn đúng.

Vậy, với bất kỳ giá trị \(m\) nào, chúng ta luôn có thể chọn \(x = m\). Khi đó, mệnh đề \((x > m \implies x > 100)\) sẽ đúng. Điều này có nghĩa là luôn tồn tại một số thực \(x\) (cụ thể là \(x=m\)) làm cho mệnh đề kéo theo đúng.

Do đó, mệnh đề “Tồn tại số thực x sao cho nếu x > m thì x > 100” luôn đúng với mọi giá trị thực của m.

—

Kiểm tra lại (không bắt buộc nhưng giúp hiểu sâu hơn):

Hãy xét xem mệnh đề \( (x > m \implies x > 100) \) có thể sai khi nào.

Nó sai khi và chỉ khi: \( (x > m) \) đúng VÀ \( (x > 100) \) sai.
Điều này có nghĩa là: \( x > m \) VÀ \( x \le 100 \).
Hay nói cách khác: \( m < x \le 100 \).

Nếu chúng ta tìm được một \(x\) như vậy, thì với \(x\) đó, mệnh đề kéo theo bị sai. Tuy nhiên, đề bài yêu cầu “Tồn tại x…” nghĩa là chỉ cần có MỘT \(x\) làm cho mệnh đề kéo theo đúng là đủ.

Như phân tích ở trên, chúng ta luôn tìm được \(x = m\) để mệnh đề kéo theo đúng (vì tiền đề \(x>m\) sai).

Kết luận:

Mệnh đề đã cho đúng với mọi số thực \(m\).

—

Hy vọng các em đã hiểu rõ bài toán này. Chúc các em học tốt!