Lý thuyết về: Định lí

Lý thuyết về: Định lí

Chứng minh định lí là dùng suy luận để khẳng định kết luận (được suy ra từ giả thiết) là đúng.

Kiến thức cơ bản:

1. Định lí

Một tính chất được khẳng định là đúng bằng suy luận được gọi là định lí.
Định lí thường phát biểu dưới dạng: " Nếu A thì B" với A là giả thiết, là điều kiện cho biết, B là kết luận, là điều được suy ra.

2. Chứng minh định lí

Chứng minh định lí là dùng suy luận để khẳng định kết luận (được suy ra từ giả thiết) là đúng.