If a formula does not contain free variables, and so is a sentence, then the initial variable assignment does not affect its truth value.
Εάν ο τύπος δεν περιέχει ελεύθερες μεταβλητές, και άρα είναι μία πρόταση, τότε η αρχική εκχώρηση της μεταβλητής δεν επηρεάζει την αξία αληθείας της.