Signs of the form “p ⌵ ~p” are senseless, but not the proposition “(p).p ⌵ ~p”. If I know that this rose is either red or not red, I know nothing. The same holds of all ab-functions.