The quantifier-logical formula formula _ 2 is defined inductively on the free structure of formula _ 1 as follows , where formula _ 15 is an atomic formula :
The quantifier-free formula formula _ 2 is defined inductively on the logical structure of formula _ 1 as follows , where formula _ 15 is an atomic formula :