It is read as follows: “consequence

It is read as follows: “consequence can be concluded if the antecedent expression is true or can be made to be true by some instantiation of its variables.”
For example,

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

Nó đọc như sau: "hậu quả có thể được kết luận nếu biểu thức antecedent là đúng hoặc có thể được thực hiện là đúng bởi một số instantiation biến của nó."Ví dụ,

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

Nó được đọc như sau: ". Hậu quả có thể kết luận nếu biểu thức tiền thân là đúng hoặc có thể được thực hiện cho được sự thật của một số instantiation của các biến của nó"
Ví dụ,