子公式

现代逻辑术语。若A是形式系统S中的一个公式，公式B是公式A的组成部分或B就是A，就称公式B是公式A的一个子公式。在具体的形式系统中，严格的子公式定义一般采用递归的方式，例如，在以■和∨为初始符号的经典命题逻辑系统中，“子公式”概念可以用如下的方式定义：若公式A、B满足以下三个条件之一，就称B是A的一个子公式，（1 ） B就是A,（2）A是■C，且B是C的子公式，（3） A是C∨D，且B是C的子公式或B是D的子公式。按此定义，公式■（p∨■q） ∨r的子公式有七个，它们是：p,q,r,■q,p∨■q,■（p∨■q）和■（p∨■q） ∨r。