The definition of truth in an interpretation that uses a variable assignment function cannot work with empty domains, because there are no variable assignment functions whose range is empty.
Ο ορισμός της αλήθειας σε μία ερμηνεία που χρησιμοποιεί μία μεταβλητή εντολή συνάρτησης δεν μπορεί να λειτουργήσει με κενά πεδία, επειδή δεν υπάρχουν μεταβλητές εντολές συνάρτησης των οποίων το εύρος είναι κενό.