The task of constructing the proof

The task of constructing the proof is to fill the gap between the premises
and the conclusion by applying a suitable sequence of proof rules

Kết quả (Việt) 1:

Các công việc xây dựng các bằng chứng là để lấp đầy khoảng cách giữa các cơ sởvà kết luận bằng cách áp dụng một chuỗi phù hợp các quy tắc bằng chứng

Kết quả (Việt) 2:

Các nhiệm vụ xây dựng bằng chứng là để lấp đầy khoảng cách giữa các tiền đề
và kết luận bằng cách áp dụng một chuỗi phù hợp các quy tắc bằng chứng