An inference rule is complete if, g

An inference rule is complete if, given a set S of predicate calculus expressions, the rule can infer every expression that logically follows from S.

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

Quy tắc suy luận là hoàn thành nếu cho một bộ S predicate tính toán biểu thức, các quy tắc có thể suy ra mỗi biểu hiện một cách hợp lý sau từ S.

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

Một quy tắc suy luận là hoàn chỉnh nếu, cho một tập S của các biểu thức tính toán vị ngữ, các quy tắc có thể suy ra rằng mọi biểu hiện một cách hợp lý sau từ S.