Đáp án nào dưới đây là khái niệm mệnh đề?

Phương pháp chứng minh đi trực tiếp là phương pháp suy luận từ giả thiết đến kết luận bằng cách sử dụng các quy tắc suy diễn, định lý, nguyên lý hoặc các kết quả đã biết. Các phương pháp khác không mô tả đúng cách chứng minh này:

• Chứng minh gián tiếp thường liên quan đến việc chứng minh phản chứng hoặc sử dụng các phương pháp khác để đi đến kết luận.


• Chứng minh tầm thường thường đề cập đến các trường hợp đặc biệt mà kết luận hiển nhiên đúng từ giả thiết.


• Chứng minh theo giả thiết không phải là một phương pháp chứng minh được định nghĩa rõ ràng.

Gọi A là mệnh đề "Quang là người khôn khéo", B là mệnh đề "Quang gặp may mắn". Khi đó, ta có các mệnh đề:

1. A

2. ¬B

3. B ∧ ¬A

4. A → ¬B (tương đương ¬A ∨ ¬B)

5. A ↔ B (tương đương (A → B) ∧ (B → A))

6. (A ∨ B) ∧ ¬(A ∧ B) (tương đương A XOR B)

Xét các trường hợp:

• Nếu A đúng, B đúng: Mệnh đề 1 đúng, mệnh đề 5 đúng, mệnh đề 6 sai.


• Nếu A đúng, B sai: Mệnh đề 1 đúng, mệnh đề 2 đúng, mệnh đề 4 đúng, mệnh đề 6 đúng.


• Nếu A sai, B đúng: Mệnh đề 3 đúng, mệnh đề 4 đúng, mệnh đề 6 đúng.


• Nếu A sai, B sai: Mệnh đề 2 đúng, mệnh đề 4 đúng.

Ta thấy:

• Mệnh đề 1 và 2 không thể đồng thời đúng.


• Mệnh đề 1 và 3 không thể đồng thời đúng.


• Mệnh đề 1 và 5 không thể đồng thời đúng.


• Mệnh đề 2 và 3 không thể đồng thời đúng.


• Mệnh đề 5 và 6 không thể đồng thời đúng.

Trường hợp 1: A đúng, B sai. Khi đó, mệnh đề 1, 2, 4, 6 đồng thời đúng (4 mệnh đề).

Trường hợp 2: A sai, B đúng. Khi đó, mệnh đề 3, 4, 6 đồng thời đúng (3 mệnh đề).

Trường hợp 3: A sai, B sai. Khi đó, mệnh đề 2, 4 đồng thời đúng (2 mệnh đề).

Vậy có tối đa 4 mệnh đề đồng thời đúng.

Đoạn chương trình có m vòng lặp for lồng nhau. Vòng lặp trong cùng (For im :=1 to n_m do) sẽ được thực hiện n₁ * n₂ * ... * n_m lần. Mỗi lần vòng lặp trong cùng được thực hiện, k sẽ tăng lên 1. Ban đầu k = 1, sau khi vòng lặp kết thúc, k sẽ tăng thêm n₁ * n₂ * ... * n_m. Vậy giá trị cuối cùng của k là 1 + n₁ * n₂ * ... * n_m.