deductive validity

Мат. дедуктивная общезначимость