logical truth

Мат. логическая истина