First Order Predicate Formula Satisfiablility

Satisfiability Definitions

Valid Definition

A First Order Predicate Formula $F$ is valid $⟺$ every Predicate Formula Interpretation Satisfies $F$

Satisfiable Definition

A First Order Predicate Formula $F$ is satisfiable $⟺$ some Predicate Formula Interpretation Satisfies $F$

Unsatisfiable Definition

A First Order Predicate Formula $F$ is unsatisfiable $⟺$ all Predicate Formula Interpretation that Falsifies $F$

Falsifiable Definition

A First Order Predicate Formula $F$ is falsifiable $⟺$ some Predicate Formula Interpretation that Falsifies $F$