ĐỊNH LÍ VÀ CHỨNG MINH ĐỊNH LÍ. TRONG TOÁN HỌC ĐỊNH LÝ LÀ MỘT MỆNH...

1. Định lí và chứng minh định lí. Trong toán học định lý là một mệnh đề đúng . Nhiều định lý được phát biểu dưới dạng ", x X P x Q x ", P x Q x, là các mệnh đề chứa biến Có hai cách để chứng minh định lí dưới dạng trên Cách 1: Chứng minh trực tiếp gồm các bước sau: - Lấy x Xbất kỳ mà P x đúng - Chứng minh Q x đúng(bằng suy luận và kiến thức toán học đã biết) Cách 2: Chứng minh bằng phản định lí gồm các bước sau: - Giả sử tồn tại x

₀

X sao cho P x

₀

đúng và Q x

₀

sai - Dùng suy luận và các kiến thức toán học để đi đến mâu thuẫn.