Bài tập 2, § 1

Cho $A$ là một số hạng hoặc một quan hệ trong một lý thuyết $\mathscr{T}$. Chứng minh rằng mọi dấu $\square$ trong $A$ (nếu có) đều được liên kết với đúng một dấu $\tau$ nằm về bên trái của nó. Chứng minh rằng mọi dấu $\tau$ trong $A$ (nếu có) hoặc hoàn toàn không được liên kết, hoặc được liên kết với những dấu $\square$ nào đó nằm về bên phải của nó. Cũng chứng minh rằng không có dấu nào khác được liên kết.