义就不需要任何证实。例如“我父亲的弟弟是我的叔叔”。哲学家将这样的陈述叫做"分析式"，更确切地讲，就是宾语的概念包含在主语里。如上面的例子，叔叔(宾语)的概念包含在我父亲的弟弟(主语)中。数学陈述通常是分析式的。为了将分析性概念扩展到关系命题以适应数理逻辑的要求，规定如一命题的分析性仅来自其形式（即逻辑词项的意义），则此命题为句法分析命题。如：所有的单身汉是单身汉。如一命题的分析性不仅来自其形式，也来自非逻辑词项的意义，则该命题是语义分析命题。如：所有的单身汉都是未婚的。语义分析命题可以透过定义替代转变