Predicate Formula Structure

A structure of Predicate Formula. Allows verifying if a Predicate Formula is true or not.

Definition

A predicate formula structure includes:

• Domain $D$
• Definition of Predicate
• Value of constants