存现句是现代汉语中比较有特色的句子。本文主要运用形式语义学中谓词逻辑法对存现句进行逻辑语义分析，这样既可以全面地掌握它的结构形式，把具有复杂性语义特征的谓词结构部分形式化，又便于计算机的识读和对外汉语教学。本文分为四部分来论述存现句的形式语义分析。第一部分主要介绍本文的理论基础、研究方法、研究意义以及存现句的研究现状。第二部分主要通过前人的研究成果，确定本文所研究的存现句的范围、标准以及分类。第三部分主要结合现有的文献资料和典型实例，整理并归纳出存现句中前段（NP1）、中段（VP）、后段（NP2）的结构形式，并在此基础上，又针对存现句中句首是时间词语或表处所的介词短语的句法结构形式进行分类说明。第四部分是论文的核心部分。我们尝试运用形式语义学中的谓词逻辑法，对存现句内部的语义特征、逻辑语义关系以及谓词部分的逻辑语义特征进行详细地描写、分析和解释。本文撇开前人的研究方法和研究视角，结合语言学相关知识，尝试从形式语义学角度对存现句进行多角度的探析，重点讨论谓词部分的逻辑语义关系。