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.