Để chứng minh một quy tắc suy luận đúng ta thường sử dụng các phương pháp:

Để chứng minh một quy tắc suy luận đúng ta thường sử dụng các phương pháp:
A. Định nghĩa, biến đổi tương đương logic
B. Lập bảng giá trị chân lý và kết luận theo định nghĩa
C. Biến đổi tương đương logic
D. Chứng minh trực tiếp