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

Мат. logical truth