子公式

数理逻辑名词。一公式A的子公式归纳地定义如下：①A是原子公式，A是A的一子公式。②A是B，B的子公式和B是A的子公式。③A是B∧C，B的子公式、C的子公式以及B∧C是A的子公式。④A是B∨C，B的子公式、C的子公式以及B∨C是A的子公式。⑤A是B→C，B的子公式、C的子公式以及B→C是A的子公式。⑥A是xB，B的子公式和xB是A的子公式。⑦A是xB，B的子公式和xB是A的子公式。⑧一公式只有满足①～⑦才是子公式。如果B是A的子公式且B≠A，则称B为A的真子公式。一公式的子公式还可以如下定义：如果X是公式，而Y，Z是使得YXZ仍是公式的表达式，则称X为YXZ的子公式。如果Y或Z不空，则称X为YXZ的真子公式。