логически истинный

Мат. logically true, logically valid