Proper Subformula (First-Order Logic)

first-order-logic

Definition

Proper Subformula (First-Order Logic)

A formula $\psi$ is a proper subformula of $\phi$ if $\psi \in \mathrm{subformulas}(\phi )$ and $\psi \ne \phi$.