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

Định nghĩa, biến đổi tương đương logic

Lập bảng giá trị chân lý và kết luận theo định nghĩa

Biến đổi tương đương logic

Chứng minh trực tiếp