Introduction to Logic

Satisfiability

A sentence is satisfiable if and only if it is satisfied by some truth assignment.