Chứng minh:

A, khái niệm:  chứng minh là thao tác logic dùng để lập luận tính chân thực của phán đoán nào đó nhờ các fan đoán chân thực khác có mối liên hệ hữu cơ với phán đoán ấy.

B, Đặc trưng:

Chứng minh gồm 3 fan liên quan chặt chẽ với nhau : luận đề, luận cứ, luận chứng

a, Luận đề : là phán đoán mà tính chân thực của nó cần phải chứng minh. Nó là thành fan chủ yếu của chứng minh và trả lời câu hỏi: chứng minh là gì?

b, luận cứ: là các luận điểm lí luận khoa học hay thực tế chân thực dùng để chứng minh luận đề. Luận cứ có chức năng là tiền đề logic của chứng minh và trả lời câu hỏi : dùng cái ji để cm?  Luận cứ có thể là các luận điểm tin cậy về các sự kiện, có thể là định nghĩa , tiền đề, các luận điểm khoa học đã đc cm.

 + luận điểm về các dự kiện tin cậy.

+Định nghĩa khái niệm là cơ sở để cm

+ các tiên đề và định đề

+ các định lí và định luận khoa học đã đc cm

Tuy nhiên cần lưu ý rằng:

-          Đối với các dữ kiện thực tế cũng cần đc fan tích kĩ càng, phải đc fan ánh đầy đủ, chính xác.

-          Đối với các định nghĩa khái niệm, các định lý , định luận khoa học, nói chung là các luận điểm khoa học chỉ đc sd các luận điểm con mang tính giá trị khoa học. Các luận điểm chỉ còn giá trị lịch sử ko thể sd đc. Ngay cả các luận điểm còn giá trị khoa học cũng cần lưu ý tới các đk, các lĩnh vực do các luận điểm đó phản ánh.

c, Luận chứng: là pp liên kết các tiền đề khẳng định chân thực của luận đề. Nó trả lời câu hỏi : chứng minh như thế nào?.

C, Các pp chứng minh:

a, chứng minh trực tiếp:là chứng minh trong đó tính chân thực của luận đề đc trực tiếp rút ra từ các luận cứ.

b, chứng minh gián tiếp: là cm trong đó tính chân thực của luận đề đc rút ra trên cơ sở lập luận tính giả dối của phản luận đề.

 Cm gián tiếp đc sd khi ko có các luận cứ để chứng minh trực tiếp. Căn cứ vào kết cấu của phản luận cm gián tiếp đc chia ra:

-          Chứng minh fan chứng: đc thực hiện bằng cách xác lập tính giả dối của phản luận đề. Pp này đc sd trong toán học.

-          Chứng minh phân liệt (pp loại trừ) là cm gián tiếp trong đó lập luận về tính chân thực của luận đề đc thực hiện bằng cách xác lập tính giả dối của tất cả các thành fan của fan đoán fan liệt, trừ 1 thành phần là luận đề.

Pp cm trực tiếp và gián tiếp tuy là những pp độc lập nhưng có thể sd chúng đồng thời.Trong quá trình lập luận, việc sd kết hợp chúng thực hiện khi ko chỉ lập luận 1 cách khẳng định luận đề, mà còn chỉ ra tính ko bền vững của phản luận đề. Sự kết hợp này làm cho giá trị của chứng minh càng cao, tức là làm cho lập luận càng đáng tin cậy và có sức thuyết fuc cao.

D, cách thực hiện

- luận cứ phải chân thực và có quan hệ trực tiếp vs luận đề

- luận cứ phải rõ ràng, ko đc vòng quanh luẩn quẩn

- luận cứ phải là lí do đầy đủ của luận đề, thể hiện các mối liên hệ logic giữa luận cứ và luận đề

- trong chứng minh phải tôn trọng các quy tắc suy luận