Логика и отрицание: как правильно строить высказывания