Trong các câu sau, hãy chọn đáp án đúng:

Định lí là một tính chất được khẳng định là đúng bằng tính toán;

Chứng minh định lí là dùng tính toán để khẳng định kết luận;

Điều cho biết là kết luận, điều suy ra là giả thiết;

Giả thiết của định lý là điều cho biết, kết luận của định lí là điều suy ra.