地图符号系统为布尔代数系的证明及其应用

根据布尔代数的定义和充要条件，结合地图符号示冽，论证了地图符号系统是布尔代数系；阐述了地图符号系统的多层结构原理；通过在地图符号系统中定义等价关系建立层次的方法，探讨了机助地图制图中通过多层次代数运算建构地图内容的理论价值和实践意义。

The Proof of Cartographic Symbol System Belonging to Bool ean Algebraic One and Its Application

This paper demonstrates that cartographic symbol system belongs to Boolean algebraic one according to Boolean algebraic definitions and sufficient conditions. The graded ptinciple of cartographic symbol system and its constituted methods are expressed by defining the relation of equal value in cartographic symbol system. The theoretical value and practical meaning of structure map contents by multi-level algebraic operation in computer-aided cartographic are researhed. Be-cause bolean algebra is a system sutiable for logic operation of computer, it provides wide prospects for the exploitation and application of the software of computer-aided cartography.