Prove that for every prefix of a well-formed propositional logic formula the number of left brackets is greater or equal to the number of right brackets.
Chứng minh rằng mọi tiền tố của một công thức tốt được hình thành propositional logic cácsố lượng trái dấu ngoặc là lớn hơn hoặc bằng số các khung bên phải.
Chứng minh rằng với mỗi tiền tố của một công thức logic mệnh đề cũng như hình thành các số khung bên trái là lớn hơn hoặc bằng số lượng các dấu ngoặc đúng.