Predicate Formula Implication

Definition

For First Order Predicate Formula $F_1,F_2$ $F_1⟹F_2$ means every Predicate Formula Interpretation that Satisfies $F_1$ also satisfies $F_2$