1. Việc phân chia này xuất hiện trong phân tích cơ sở về mệnh đề trong nghiên cứu của Leonard Bloomfield và Noam Chomsky.

This division is certainly present in the basic analysis of the clause that we find in the works of, for instance, Leonard Bloomfield and Noam Chomsky.

2. Điều này có thể gây nhầm lẫn khi các hàm sử dụng các biểu tượng giống như các hàm mệnh đề của logic bậc nhất.

This can be confusing as the functions use the same symbols as the propositional functions of first-order logic.

3. Các công thức hợp lý của toán học thuần túy được gợi ý bởi Bertrand Russell dưới dạng một cấu trúc định lượng của các mệnh đề xem chừng hợp lý hơn, cũng như phần lớn của toán học trở thành axiom hóa và do đó phải tuân theo các tiêu chuẩn đơn giản của chứng minh nghiêm ngặt.

The logical formulation of pure mathematics suggested by Bertrand Russell in terms of a quantifier structure of propositions seemed more and more plausible, as large parts of mathematics became axiomatised and thus subject to the simple criteria of rigorous proof.