Noun
formal validity (countable and uncountable, plural formal validities) (logic) An argument's property of being valid due to being an instance of an argument form.