A sentence is satisfiable if there is some interpretation under which it is true.
Μία πρόταση είναι ικανοποιησιμη εάν υπάρχει κάποια ερμηνεία, κάτω από την οποία είναι αληθής.