"合式公式的类型有几种"...合式公式的类型有几种

　"合式公式的类型有几种图形"...合式公式的类型有几种图形

　"合式公式的三种类型"...合式公式的三种类型

　"合式公式的概念"...合式公式的概念

　"合式公式的例子"...合式公式的例子

　"合式公式的层次"...合式公式的层次

　"合式公式的判断方法"...合式公式的判断方法

　"什么叫合式公式?合式公式有哪些等价关系?"...什么叫合式公式?合式公式有哪些等价关系?

　"合式公式wff"...合式公式wff

　"合式公式的定义"...合式公式的定义