Trong một chứng minh toán học, xuất

Trong một chứng minh toán học, xuất phát từ một số khẳng định đúng p1, p2, …, pn gọi là tiền đề, ta áp dụng các luật logic để suy ra chân lý của một khẳng định q gọi là kết luận. Ta goi đó là qui tắc suy diễn.

Kết quả (Anh) 2:

In a mathematical proof, derived from several identified correctly p1, p2, ..., pn called the premise, we apply the laws of logic to deduce the truth of an assertion called a conclusion q. It is called the inference rules.