Introduction to Logic
Satisfiability
A
sentence
is
satisfiable
if and only if it is
satisfied
by
some
truth assignment
.