Above the line are the two premises

Above the line are the two premises of the rule. Below the line goes the conclusion. (It might not yet be the final conclusion of our argument; we might have to apply more rules to get there.) To the right of the line, we write the name of the rule; ∧i isread ‘and-introduction’. Notice that we have introduced a∧ (in the conclusion) where there was none before (in the premises).

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

Trên đường có hai cơ sở của quy tắc. Dưới đây, đường đi kết luận. (Không chưa có kết luận ngoài của các đối số của chúng tôi; chúng tôi có thể phải áp dụng thêm các quy tắc để đạt được điều đó.) Ở bên phải của dòng, chúng tôi viết tên của quy tắc; ∧i isread 'và-giới thiệu'. Thông báo rằng chúng tôi đã giới thiệu a∧ (trong kết luận) nơi có là không trước (ở các cơ sở).

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

Phía trên dòng là hai cơ sở của quy tắc. Bên dưới dòng đi kết luận. (Nó có thể chưa là fi nal kết luận của chúng tôi, chúng tôi có thể phải áp dụng quy tắc hơn để đạt được điều đó.) Ở bên phải của đường, chúng tôi viết tên của các quy tắc; isread ∧i 'và giới thiệu. Chú ý rằng chúng tôi đã giới thiệu a∧ (trong kết luận), nơi đã có không có trước đây (trong mặt bằng).