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
2 câu trả lời 35
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
106578 -
Đã trả lời bởi chuyên gia
95982 -
Đã trả lời bởi chuyên gia
74349
Gửi báo cáo thành công!

