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