• Định nghĩa: là thao tác logic dùng để lập luận tính chân thực của 1 luận điểm hay lý thuyết nào đó nhờ đã biết tính chân thực của những luận điểm hay lý thuyết khác mà nó có mối liên hệ hữu cơ với luận điểm hay lý thuyết ấy.

• Cấu trúc có 3 thành phần :

- luận đề là thành phần tương đương với kết luận của phép suy luận. luận đề là phán đoán mà tính chân thực của nó cần phải được chứng minh.

- Luận cứ là các luận điểm khoa học, các chứng cứ, sự kiện thực tế chân thực, các kết luận ,quy tắc,quy luật,nguyên lí, khoa học đã được chứng minh mà chúng có liên quan đến luận đề và được sử dụng trong quá trình chứng minh luận đề.Luận cứ là những cơ sở khách quan mà nhờ nó thông qua lập luận nào đó chứng tỏ được tính chân thực (hay giả dối)của mệnh đề.

- Lập luận của chứng minh là mối liên kết giữa luận cứ và luận đề thông qua đó cho phép khẳng định tính chân thực của luận đề.

* các quy tắc của chứng minh

+ đối với luận đề: 1.luận đề phải chân thực 2.luận đề phải rõ ràng chính xác 3.luận đề phải giữ nguyên trong suốt quá trình chứng minh

+ đối với luận cứ : 1.luận cứ phải là những phán đoán chân thực 2.luận cứ phải là những phán đoán chân thực được chứng minh độc lập với luận đề 3.luận cứ phải là lí do đầy đủ của luận đề

+ đối với luận chứng : 1.luận chứng phải tuân theo các quy tắc,quy luận logic 2.luận chứng phải đảm bảo tính hệ thống 3.luận chứng phải đảm bảo tính nhất quán - phi mâu thuẫn

• các hình thức của chứng minh

+ chứng minh trực tiếp : là CM trong đó tính chân thực của các luận cứ trực tiếp dẫn tới tính chân thực của luận đề

+ chứng minh gián tiếp : là CM trong đó tính chân thực của luận đề rút ra từ tính không chân thực của phản luận đề (chứng minh phản chứng và chứng minh loại trừ)