Ayer's analysis of negation