An inference rule is sound if every predicate calculus expression produced by the rule from a set S of predicate calculus expressions also logically follows from S.
Quy tắc suy luận là âm thanh nếu mỗi biểu hiện tính toán predicate sản xuất bởi các quy tắc từ bộ S của biểu thức tính toán vị ngữ cũng hợp lý sau từ S.