... động trong một chứng minh: 1. Các điều kiện vào (các tiền đề – prémisses) : Đó là các mệnh đề đã cho (giả thiết), các mệnh đề kết luận của các bước trước đó, mệnh đề đúng đã biết. 2. Các quy ... lí) Các tiền đề :- Giả thiết - Các mệnh đề đúng đã biết - Các mệnh đề « kết luận » của các bước thay thế trước. Các điều kiện vào Quy tắc thay thế(Đònh nghóa, Tiên đề, Đònh lí)Mệnh đề ... rõ các mệnh đề chuẩn này góp phần củng cố kiến thức đã học cho học sinh, vì họ thấy rõ trong việc giải quyết các vấn đề, các đònh nghóa và đònh lí đã học được áp dụng như thế nào, với những...