Cho mệnh đề T, ta xác định mệnh đề ~T trái ngược với mệnh đề T, và chứng minh mệnh đề ~T đúng. Thao tác lôgích này được gọi là gì?
Trả lời:
Đáp án đúng: C
Phương pháp chứng minh phản chứng là một phương pháp chứng minh trong đó ta giả sử điều ngược lại với điều cần chứng minh là đúng, sau đó sử dụng các suy luận logic để dẫn đến một mâu thuẫn. Từ mâu thuẫn này, ta kết luận rằng giả sử ban đầu là sai, và do đó điều cần chứng minh là đúng.
Trong trường hợp này, ta có mệnh đề T, ta xác định mệnh đề ~T (phủ định của T), và chứng minh ~T đúng. Nếu ~T đúng thì T sai, nhưng đây không phải là phản chứng. Phản chứng là chứng minh ~T dẫn đến mâu thuẫn, từ đó suy ra T đúng.
Tuy nhiên, câu hỏi lại viết "chứng minh mệnh đề ~T đúng". Vậy thì, nếu ta chứng minh được ~T đúng, thì ta đã bác bỏ mệnh đề T.
Nhưng vì đề bài nói là chứng minh ~T đúng, nên ta không bác bỏ mệnh đề T một cách gián tiếp, mà chứng minh trực tiếp ~T đúng. Do đó, không có đáp án nào đúng trong các đáp án A, B, C.
Đáp án đúng là D.
