A formula is logically valid (or simply valid) if it is true in every interpretation.
Ένας τύπος είναι λογικά έγκυρος (ή απλά ισχύει) εάν είναι αληθής για κάθε ερμηνεία.