first-order-logic Definition Satisfiable Sentence (First-Order Logic) A sentence is satisfiable if there exists a structure such that .