Các quy tắc chứng minh

Các quy tắc chứng minh

( Logic học đại cương – Nguyễn Tuấn Anh)

• Quy tắc đối với luận đề

• Luận đề chứng minh cần phải chân thực.
• Luận đề phải được phát biểu chặt chẽ, chính xác, rõ ràng.
• Phải giữ nguyên luận đề trong suốt quá trình chứng minh.
  • Quy tắc đối với luận cứ
• Các luận cứ cần phải chân thực.
• Tính chân thực của các luận cứ phải có cơ sở độc lập với luận đề.
• Các luận cứ không được mâu thuẫn nhau.
• Mỗi luận cứ là cần, còn tất cả chúng cùng nhau thì phải là đủ để luận chứng cho luận đề.
  • Quy tắc đối với luận chứng
• Luân đề cần phải được tất suy lôgíc từ các luân cứ.
• Không được chứng minh vòng quanh.