Bài giảng Logic học đại cương: Chương 6 cung cấp cho người học những kiến thức như: Định nghĩa về phép chứng minh, phép bác bỏ. Cấu tạo của phép chứng minh và cấu tạo của phép bác bỏ. Các phương pháp chứng minh và các phương pháp bác bỏ. Các quy tắc cho luận đề, luận cứ, luận chứng của phép chứng minh và bác bỏ. | Nội dung chính Định nghĩa về phép chứng minh phép bác bỏ. Cấu tạo của phép chứng minh và cấu tạo của phép bác bỏ. Các phương pháp chứng minh và các phương pháp bác bỏ. Các quy tắc cho luận đề luận cứ luận chứng của phép chứng minh và bác bỏ. 18 5 Mục đích Giúp sinh viên - Hiểu và trình bày được thế nào là phép chứng minh thế nào là phép bác bỏ. - Phân tích được cấu trúc của một phép chứng minh gồm những thành phần nào - Trình bày được nội dung của phương pháp chứng minh trực tiếp và phương pháp chứng minh gián tiếp. - Trình bày chính xác nội dung của các phép bác bỏ và nắm được phép bác bỏ nào là hiệu quả nhất. - Trình bày được các quy tắc dùng trong chứng minh và bác bỏ. Phát hiện lỗi chứng minh bác bỏ trong một số trường hợp của bản thân và bạn bè. - Vận dụng kiến thức lý thuyết để làm bài tập cuối chương và các bài tập khác. 18 6 . Định nghĩa Chứng minh là thao tác logic dùng để lập luận tính chân thực của một 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ệ logic với luận điểm và lý thuyết ấy. 18 7 - Luận đề là phán đoán hay luận điểm mà tính chân thực của nó cần phải chứng minh. Luận đề đặt ra nhiệm vụ cụ thể cho chứng minh trả lời câu hỏi chứng minh cái gì - Luận cứ là một hay những phán đoán nguyên lý mệnh đề đã được thừa nhận về tính chân thực và làm căn cứ để chứng minh luận đề luận cứ trả lời câu hỏi dựa vào đâu để chứng minh hoặc chứng minh bằng cái gì 18 8 Luận cứ Các dữ kiện thực tế là các tri thức có được bằng quan sát miêu tả hiện thực đây là các sự thật hiển nhiên nên có giá trị chứng minh rất lớn. Các tiên đề định đề là những phán đoán thông qua hoạt động thực tiễn của con người tích luỹ qua sự lặp lại nhiều lần đã khái quát lên và được thừa nhận chân thực không đòi hỏi chứng minh Các định nghĩa khái niệm khoa học định luật. là các luận cứ vững chắc trong chứng minh. 18 9 - Luận chứng lập luận là mối liên hệ logic giữa luận cứ và luận đề nó bao gồm một chuỗi liên tiếp các phép
