logical validity

Мат. логическая общезначимость