тавтологически истинное высказывание

Tautologically true proposition