宪法第九条 矿藏、水流、森林、山岭、草原、荒地、滩涂等自然资源，都属于国家所有，即全民所有；由法律规定属于集体所有的森林和山岭、草原、荒地、滩涂除外。
国家保障自然资源的合理利用，保护珍贵的动物和植物。禁止任何组织或者个人用任何手段侵占或者破坏自然资源。
第十条 城市的土地属于国家所有。
农村和城市郊区的土地，除由法律规定属于国家所有的以外，属于集体所有；宅基地和自留地、自留山，也属于集体所有。
蕴含的逻辑含义是什么，三段论的谓词逻辑证明是要证
命题逻辑本质上是利用对三个集合（大前提 小前提 结论）之间的关系的说明进行论证，而苏格拉底是一个个体，而不是一个集合，因而不能用命题逻辑证明，只能用谓词逻辑证明-----谓词逻辑把个体与集合联系了起来。
p:是人都要死的
q：苏格拉底是人
r：苏格拉底要死
(p,q,r均已不可再分解)
命题逻辑：p,q->r（这显然是不能够证明的）
命题逻辑不能够阐述命题之间的关联
这时只能引入谓词
p(x):x是要死的
q(x):x是人
已知对任意x if q(x),then p(x)
and q(Socrates) is ture,then p(Socrates)