What do logicians call this? A null positive? Is that allowed? E.g. obviously it's correct that "no Linux systems on Jupiter do not have working audio", but is

What do logicians call this? A null positive? Is that allowed? E.g. obviously it's correct that "no Linux systems on Jupiter do not have working audio", but is "all X do/have Y" a valid syntax for zero X?