Inductive-Deductive Reasoning Step 1 - Predicate Formulated as a Set of Clauses
1 Eliminate "→" and " < − > <->" in the predicate formula<−> "Less symbols
2. Move the negation symbol - to the position close to the predicate
3. Variable standardization
4. Eliminate existential quantifiers
a. Existential quantifiers do not appear in the scope of universal quantifiers.
b. Existential quantifiers appear in one or more Within the scope of the full quantifier.
5. Be transformed into the toe-beam form.
The toe-beam = (prefix) {matrix}
(prefix): the full quantifier string.
{matrix}: the predicate formula without the content word.