логический тип