A logical statement that includes: Quantifier Predicate Concepts Predicate Formula Structure Predicate Formula Valuation Predicate Formula Interpretation Properties First Order Predicate Formula Satisfiablility Predicate Formula Implication Predicate Formula Equivalence