NHẬP MÔN LOGIC HỌC PHẦN 8

Chương 12 CHỨNG MINH. I. ĐỊNH NGHĨA VÀ CẤU TRÚC. 1. Định nghĩa. Chứng minh một mệnh đề là chứng tỏ sự đúng đắn của mệnh đề đó bằng cách dựa vào các tri thức, sự kiện, chứng cứ đã biết. Trong các hệ thống logic hình thức hóa phép chứng minh được hiểu là một chuỗi các mệnh đề