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 logic này được gọi là gì?
A. Chứng minh gián tiếp mệnh đề T.
B. Chứng minh phản chứng mệnh đề T.
C. Bác bỏ gián tiếp mệnh đề T.
D. Cả A, B, C đều sai.
Quảng cáo
1 câu trả lời 4
Quảng cáo
Bạn cần hỏi gì?
Câu hỏi hot cùng chủ đề
-
Đã trả lời bởi chuyên gia
105350 -
Đã trả lời bởi chuyên gia
94983 -
Đã trả lời bởi chuyên gia
73118
Gửi báo cáo thành công!

