对Dijkstra量词研究的补充

在Dijkstra的研究工作的基础上，对量词作进一步的探讨，主要以存在量词的几个基本性质作为假定，并由此推出有关存在量词和全称量词的其他一系列的性质。可视为Dijkstra的补充，从而使人们对量词的性质有更深的认识。

A Note to Dijkstra's Study on the Quantification

The study of quantification is of much importance in predicate calculus. In Dijkstra presents a reasonably self-contained theory of predicatecalculus. Based on his study, this paper presents a further discussion on quantification. It gives some primitive properties of existential quantification as postulates, from which we deduce a series of other properties of existential quantification and universal quantification. By starting with existential quantification, we try another approach to the study of quantification and get the same result. This paper may be regarded as a note to Dijkstra's. Accordingly it may help people have a further understanding of quantification.